Searched refs:EdgeSetType (Results 1 – 1 of 1) sorted by relevance
68 using EdgeSetType = std::set<CFGEdge>; member117 EdgeSetType EdgeExec; // Executable flow graph edges.