SimpleDirectedGraph::getNodes

get all the nodes in the graph

Synopsis

Declared in <src/midend/programAnalysis/staticInterproceduralSlicing/SimpleDirectedGraph.h>

std::set<SimpleDirectedGraphNode*>
getNodes();

Created with MrDocs