Lines Matching refs:EdgeExec
271 SetOfCFGEdge EdgeExec;644 if (!EdgeExec.count(CFGEdge(PBN, MBN))) {879 if (EdgeExec.count(Edge))881 EdgeExec.insert(Edge);939 if (!EdgeExec.count(CFGEdge(BN, SN)))1051 EdgeExec.clear();