P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::ParserStructureImpl::ParserSymbolicInterpreter Member List

This is the complete list of members for P4::ParserStructureImpl::ParserSymbolicInterpreter, including all inherited members.

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