P4Tools::P4Testgen::ConcolicResolver Class Reference

Inheritance diagram for P4Tools::P4Testgen::ConcolicResolver:

Public Member Functions
	ConcolicResolver (const Model &evaluatedModel, const ExecutionState &state, const ConcolicMethodImpls &concolicMethodImpls)
	ConcolicResolver (const Model &evaluatedModel, const ExecutionState &state, const ConcolicMethodImpls &concolicMethodImpls, ConcolicVariableMap resolvedConcolicVariables)
const ConcolicVariableMap *	getResolvedConcolicVariables () const