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