P4::P4Tools::P4Testgen::ConcolicMethodImpls Class Reference

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

#include <concolic.h>

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.