P4::Test::Z3SolverSatTests Class Reference

Inheritance diagram for P4::Test::Z3SolverSatTests:

Protected Member Functions
	Z3SolverSatTests (const char *condition, const char *equation)
void	SetUp () override

Protected Attributes
std::string	condition
std::string	equation
const IR::Expression *	expression = nullptr
const IR::AssignmentStatement *	variableValue = nullptr