P4::P4Tools::Z3SolverAccessor Class Reference

Public Member Functions
	Z3SolverAccessor (Z3Solver &solver)
	Default constructor.
z3::expr_vector	getAssertions (std::optional< bool > assertionType=std::nullopt)
	Gets all assertions. Used by GTests only.
std::vector< size_t > &	getCheckpoints ()
	Gets checkpoints that have been made. Used by GTests only.
const z3::context &	getContext ()
	Get Z3 context. Used by GTests only.
safe_vector< const Constraint * >	getP4Assertions ()
	Gets all P4 assertions. Used by GTests only.