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