SimpleDirectedGraphNode::getSuccessors

get the nodes which are pointed to by the current node

Synopsis

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

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

Created with MrDocs