 |
P4C
The P4 Compiler
|
|
|
P4C
The P4 Compiler
|
|
This is the complete list of members for P4Tools::P4Testgen::AbstractStepper, including all inherited members.
| AbstractStepper(ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| Branch typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| checkMemberInvariant(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| declareBaseType(ExecutionState &nextState, const IR::StateVariable ¶mPath, const IR::Type_Base *baseType) const | P4Tools::P4Testgen::AbstractStepper | protected |
| declareStructLike(ExecutionState &nextState, const IR::StateVariable &parentExpr, bool forceTaint=false) const | P4Tools::P4Testgen::AbstractStepper | protected |
| evaluateExpression(const IR::Expression *expr, std::optional< const IR::Expression * > cond) const | P4Tools::P4Testgen::AbstractStepper | protected |
| getClassName()=0 | P4Tools::P4Testgen::AbstractStepper | protectedpure virtual |
| getProgramInfo() const (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | protectedvirtual |
| logStep(const IR::Node *node) | P4Tools::P4Testgen::AbstractStepper | protected |
| preorder(const IR::Node *) override | P4Tools::P4Testgen::AbstractStepper | |
| programInfo | P4Tools::P4Testgen::AbstractStepper | protected |
| Result typedef (defined in P4Tools::P4Testgen::AbstractStepper) | P4Tools::P4Testgen::AbstractStepper | |
| result | P4Tools::P4Testgen::AbstractStepper | protected |
| setHeaderValidity(const IR::StateVariable &headerRef, bool validity, ExecutionState &state) | P4Tools::P4Testgen::AbstractStepper | protected |
| setTargetUninitialized(ExecutionState &nextState, const IR::StateVariable &ref, bool forceTaint) const | P4Tools::P4Testgen::AbstractStepper | protected |
| solver | P4Tools::P4Testgen::AbstractStepper | protected |
| state | P4Tools::P4Testgen::AbstractStepper | protected |
| step(const IR::Node *) | P4Tools::P4Testgen::AbstractStepper | |
| stepGetHeaderValidity(const IR::StateVariable &headerRef) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepSetHeaderValidity(const IR::StateVariable &headerRef, bool validity) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepStackPushPopFront(const IR::Expression *stackRef, const IR::Vector< IR::Argument > *args, bool isPush=true) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepSymbolicValue(const IR::Node *) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepToException(Continuation::Exception) | P4Tools::P4Testgen::AbstractStepper | protected |
| stepToListSubexpr(const IR::BaseListExpression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const IR::BaseListExpression *)> rebuildCmd) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| stepToStructSubexpr(const IR::StructExpression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const IR::StructExpression *)> rebuildCmd) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |
| stepToSubexpr(const IR::Expression *subexpr, SmallStepEvaluator::Result &result, const ExecutionState &state, std::function< const Continuation::Command(const Continuation::Parameter *)> rebuildCmd) | P4Tools::P4Testgen::AbstractStepper | protectedstatic |