addOutOfBound(ParserStateInfo *stateInfo, std::unordered_set< cstring > &newStates, bool checkBefore=true, StatOrDeclVector components=StatOrDeclVector()) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inline |
checkLoops(ParserStateInfo *state) const | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
equStackVariableMap(const StackVariableMap &l, const StackVariableMap &r) const | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
evaluateSelect(ParserStateInfo *state, ValueMap *valueMap) (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
evaluateState(ParserStateInfo *state, std::unordered_set< cstring > &newStates) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
EvaluationSelectResult typedef (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
EvaluationStateResult typedef (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
executeStatement(ParserStateInfo *state, const IR::StatOrDecl *sord, ValueMap *valueMap) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
factory (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
getNewName(ParserStateInfo *state) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
hasOutOfboundState (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | |
headerValidityChange(const ValueMap *before, const ValueMap *after) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotectedstatic |
headerValidityChanged(const SymbolicValue *first, const SymbolicValue *second) (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotectedstatic |
initializeVariables() (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
newStateInfo(const ParserStateInfo *predecessor, cstring stateName, ValueMap *values, size_t index) (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
parser (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
ParserStateRewriter (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | friend |
ParserSymbolicInterpreter(ParserStructure *structure, ReferenceMap *refMap, TypeMap *typeMap, bool unroll, bool &wasError) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inline |
refMap (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
reportIfError(const ParserStateInfo *state, SymbolicValue *value) const | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotected |
run() | P4::ParserStructureImpl::ParserSymbolicInterpreter | inline |
stateChain(const ParserStateInfo *state, std::stringstream &stream) (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotectedstatic |
stateChain(const ParserStateInfo *state) (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | inlineprotectedstatic |
StatOrDeclVector typedef (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | |
structure (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
synthesizedParser (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
typeMap (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
unroll (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
visitedStates (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |
wasError (defined in P4::ParserStructureImpl::ParserSymbolicInterpreter) | P4::ParserStructureImpl::ParserSymbolicInterpreter | protected |