reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
48 const ExplodedNode *GraphRoot = *G.roots_begin(); 54 for (ExplodedGraph::node_iterator I = G.nodes_begin(); 55 I != G.nodes_end(); ++I) {