Searched refs:EdgeSetType (Results 1 – 2 of 2) sorted by relevance
61 typedef std::set<CFGEdge> EdgeSetType; typedef65 EdgeSetType EdgeExec; // Executable flow graph edges.
1036 for (EdgeSetType::iterator I = EdgeExec.begin(), E = EdgeExec.end(); in reached()