P4Tools::P4Testgen::ConcolicMethodImpls Class Reference

Encapsulates a set of concolic method implementations. More...

Public Types
using	ImplList = std::list< std::tuple< cstring, std::vector< cstring >, MethodImpl > >

Public Member Functions
	ConcolicMethodImpls (const ImplList &implList)
void	add (const ImplList &implList)
bool	exec (cstring concolicMethodName, const IR::ConcolicVariable *var, const ExecutionState &state, const Model &evaluatedModel, ConcolicVariableMap *resolvedConcolicVariables) const

Detailed Description

Encapsulates a set of concolic method implementations.