P4C
The P4 Compiler
|
Additional Inherited Members | |
Protected Member Functions inherited from P4::P4Tools::Test::Z3SolverTests | |
Z3SolverTests (const char *condition, const char *equation) | |
void | SetUp () override |
Protected Attributes inherited from P4::P4Tools::Test::Z3SolverTests | |
std::string | condition |
std::string | equation |
const IR::Expression * | expression = nullptr |
const IR::AssignmentStatement * | variableValue = nullptr |