| AbstractExecutionState(const AbstractExecutionState &)=default | P4::P4Tools::AbstractExecutionState | protected |
| AbstractExecutionState() | P4::P4Tools::AbstractExecutionState | protected |
| AbstractExecutionState(const IR::P4Program *program) | P4::P4Tools::AbstractExecutionState | explicit |
| AbstractExecutionState(AbstractExecutionState &&)=default (defined in P4::P4Tools::AbstractExecutionState) | P4::P4Tools::AbstractExecutionState | |
| add(const TraceEvent &event) | P4::P4Tools::P4Testgen::ExecutionState | |
| addTestObject(cstring category, cstring objectLabel, const TestObject *object) | P4::P4Tools::P4Testgen::ExecutionState | |
| appendToEmitBuffer(const IR::Expression *expr) | P4::P4Tools::P4Testgen::ExecutionState | |
| appendToInputPacket(const IR::Expression *expr) | P4::P4Tools::P4Testgen::ExecutionState | |
| appendToPacketBuffer(const IR::Expression *expr) | P4::P4Tools::P4Testgen::ExecutionState | |
| assignStructLike(const IR::StateVariable &left, const IR::Expression *right) | P4::P4Tools::AbstractExecutionState | |
| clone() const override | P4::P4Tools::P4Testgen::ExecutionState | virtual |
| convertToComplexExpression(const IR::StateVariable &parent) const | P4::P4Tools::AbstractExecutionState | protected |
| copyIn(const Target &target, const IR::Parameter *internalParam, cstring externalParamName) | P4::P4Tools::AbstractExecutionState | |
| copyOut(const IR::Parameter *internalParam, cstring externalParamName) | P4::P4Tools::AbstractExecutionState | |
| create(const IR::P4Program *program) | P4::P4Tools::P4Testgen::ExecutionState | static |
| declareVariable(const Target &target, const IR::Declaration_Variable &declVar) | P4::P4Tools::AbstractExecutionState | |
| deleteTestObject(cstring category, cstring objectLabel) | P4::P4Tools::P4Testgen::ExecutionState | |
| deleteTestObjectCategory(cstring category) | P4::P4Tools::P4Testgen::ExecutionState | |
| env | P4::P4Tools::AbstractExecutionState | protected |
| ExecutionState(ExecutionState &&)=delete | P4::P4Tools::P4Testgen::ExecutionState | |
| exists(const IR::StateVariable &var) const | P4::P4Tools::AbstractExecutionState | |
| findDecl(const IR::Path *path) const | P4::P4Tools::AbstractExecutionState | |
| findDecl(const IR::PathExpression *pathExpr) const | P4::P4Tools::AbstractExecutionState | |
| findTable(const IR::Member *member) const | P4::P4Tools::AbstractExecutionState | |
| flattenComplexExpression(const IR::Expression *inputExpression, std::vector< const IR::Expression * > &flatValids) | P4::P4Tools::AbstractExecutionState | protectedstatic |
| get(const IR::StateVariable &var) const override | P4::P4Tools::P4Testgen::ExecutionState | virtual |
| getBody() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getCurrentParserErrorLabel() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getEmitBuffer() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getFlatFields(const IR::StateVariable &parent, std::vector< IR::StateVariable > *validVector=nullptr) const | P4::P4Tools::AbstractExecutionState | |
| getInputPacket() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getInputPacketCursor() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getInputPacketSize() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getInputPacketSizeVar() | P4::P4Tools::P4Testgen::ExecutionState | static |
| getMaxPacketLength() | P4::P4Tools::P4Testgen::ExecutionState | static |
| getNamespaceContext() const | P4::P4Tools::AbstractExecutionState | |
| getNextCmd() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getP4Action(const IR::MethodCallExpression *actionExpr) const | P4::P4Tools::AbstractExecutionState | |
| getPacketBuffer() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getPacketBufferSize() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getPathConstraint() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getProperty(cstring propertyName) const | P4::P4Tools::P4Testgen::ExecutionState | inline |
| getReachabilityEngineState() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getSelectedBranches() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getStack() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getSymbolicEnv() const | P4::P4Tools::AbstractExecutionState | |
| getTestObject(cstring category, cstring objectLabel, bool checked) const | P4::P4Tools::P4Testgen::ExecutionState | |
| getTestObject(cstring category, cstring objectLabel) const | P4::P4Tools::P4Testgen::ExecutionState | inline |
| getTestObjectCategory(cstring category) const | P4::P4Tools::P4Testgen::ExecutionState | |
| getTrace() const | P4::P4Tools::P4Testgen::ExecutionState | |
| getVisited() const | P4::P4Tools::P4Testgen::ExecutionState | |
| handleException(Continuation::Exception e) | P4::P4Tools::P4Testgen::ExecutionState | |
| hasProperty(cstring propertyName) const | P4::P4Tools::P4Testgen::ExecutionState | |
| initializeBlockParams(const Target &target, const IR::Type_Declaration *typeDecl, const std::vector< cstring > *blockParams) | P4::P4Tools::AbstractExecutionState | |
| initializeStructLike(const Target &target, const IR::StateVariable &targetVar, bool forceTaint) | P4::P4Tools::AbstractExecutionState | |
| isTerminal() const | P4::P4Tools::P4Testgen::ExecutionState | |
| markVisited(const IR::Node *node) | P4::P4Tools::P4Testgen::ExecutionState | |
| namespaces | P4::P4Tools::AbstractExecutionState | protected |
| operator=(ExecutionState &&)=delete (defined in P4::P4Tools::P4Testgen::ExecutionState) | P4::P4Tools::P4Testgen::ExecutionState | |
| P4::P4Tools::AbstractExecutionState::operator=(const AbstractExecutionState &)=default | P4::P4Tools::AbstractExecutionState | protected |
| operator=(AbstractExecutionState &&)=delete (defined in P4::P4Tools::AbstractExecutionState) | P4::P4Tools::AbstractExecutionState | |
| peekPacketBuffer(int amount) | P4::P4Tools::P4Testgen::ExecutionState | |
| popBody() | P4::P4Tools::P4Testgen::ExecutionState | |
| popContinuation(std::optional< const IR::Node * > argument_opt=std::nullopt) | P4::P4Tools::P4Testgen::ExecutionState | |
| popNamespace() | P4::P4Tools::AbstractExecutionState | |
| prependToInputPacket(const IR::Expression *expr) | P4::P4Tools::P4Testgen::ExecutionState | |
| prependToPacketBuffer(const IR::Expression *expr) | P4::P4Tools::P4Testgen::ExecutionState | |
| printSymbolicEnv(std::ostream &out=std::cout) const | P4::P4Tools::AbstractExecutionState | |
| pushBranchDecision(uint64_t) | P4::P4Tools::P4Testgen::ExecutionState | |
| pushContinuation(const StackFrame &frame) | P4::P4Tools::P4Testgen::ExecutionState | |
| pushCurrentContinuation(StackFrame::ExceptionHandlers handlers) | P4::P4Tools::P4Testgen::ExecutionState | |
| pushCurrentContinuation(std::optional< const IR::Type * > parameterType_opt=std::nullopt, StackFrame::ExceptionHandlers={}) | P4::P4Tools::P4Testgen::ExecutionState | |
| pushNamespace(const IR::INamespace *ns) | P4::P4Tools::AbstractExecutionState | |
| pushPathConstraint(const IR::Expression *e) | P4::P4Tools::P4Testgen::ExecutionState | |
| replaceBody(const Continuation::Body &body) | P4::P4Tools::P4Testgen::ExecutionState | |
| replaceTopBody(const Continuation::Command &cmd) | P4::P4Tools::P4Testgen::ExecutionState | |
| replaceTopBody(const std::vector< Continuation::Command > *cmds) | P4::P4Tools::P4Testgen::ExecutionState | |
| replaceTopBody(std::initializer_list< Continuation::Command > cmds) | P4::P4Tools::P4Testgen::ExecutionState | |
| replaceTopBody(const std::vector< const N * > *nodes) | P4::P4Tools::P4Testgen::ExecutionState | inline |
| resetEmitBuffer() | P4::P4Tools::P4Testgen::ExecutionState | |
| resetPacketBuffer() | P4::P4Tools::P4Testgen::ExecutionState | |
| resolveType(const IR::Type *type) const | P4::P4Tools::AbstractExecutionState | |
| set(const IR::StateVariable &var, const IR::Expression *value) override | P4::P4Tools::P4Testgen::ExecutionState | virtual |
| setNamespaceContext(const NamespaceContext *namespaces) | P4::P4Tools::AbstractExecutionState | |
| setParserErrorLabel(const IR::StateVariable &parserError) | P4::P4Tools::P4Testgen::ExecutionState | |
| setProperty(cstring propertyName, Continuation::PropertyValue property) | P4::P4Tools::P4Testgen::ExecutionState | |
| setReachabilityEngineState(ReachabilityEngineState *newEngineState) | P4::P4Tools::P4Testgen::ExecutionState | |
| setStructLike(const IR::StateVariable &targetVar, const IR::StateVariable &sourceVar) | P4::P4Tools::AbstractExecutionState | |
| slicePacketBuffer(int amount) | P4::P4Tools::P4Testgen::ExecutionState | |
| Test::SmallStepTest (defined in P4::P4Tools::P4Testgen::ExecutionState) | P4::P4Tools::P4Testgen::ExecutionState | friend |
| ~AbstractExecutionState()=default (defined in P4::P4Tools::AbstractExecutionState) | P4::P4Tools::AbstractExecutionState | virtual |
| ~ExecutionState() override=default (defined in P4::P4Tools::P4Testgen::ExecutionState) | P4::P4Tools::P4Testgen::ExecutionState | |
1.12.0