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