P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4Tools::ReachabilityEngine Member List

This is the complete list of members for P4Tools::ReachabilityEngine, including all inherited members.

addCondition(const IR::Expression *prev, const DCGVertexType *currentState)P4Tools::ReachabilityEngineprotected
addEdge(const DCGVertexType *vertex, IR::ID vertexName=IR::ID())P4Tools::ReachabilityEngineprotected
addTransition(const DCGVertexType *, const std::unordered_set< const DCGVertexType * > &)P4Tools::ReachabilityEngineprotected
annotationToStatements(const DCGVertexType *node, std::unordered_set< const DCGVertexType * > &s)P4Tools::ReachabilityEngineprotected
getCondition(const DCGVertexType *)P4Tools::ReachabilityEngineprotected
getDCG()P4Tools::ReachabilityEngine
getName(std::string name)P4Tools::ReachabilityEngineprotected
next(ReachabilityEngineState *, const DCGVertexType *)P4Tools::ReachabilityEngine
ReachabilityEngine(const NodesCallGraph &dcg, std::string reachabilityExpression, bool eliminateAnnotations=false)P4Tools::ReachabilityEngine
stringToNode(std::string name)P4Tools::ReachabilityEngineprotectedstatic