Searched refs:ReachableNodes (Results 1 – 1 of 1) sorted by relevance
560 NodeSet ReachableNodes{G}; in elimMitigatedEdgesAndNodes() local566 ReachableNodes.clear(); in elimMitigatedEdgesAndNodes()570 ReachableNodes.insert(*N); in elimMitigatedEdgesAndNodes()574 !ReachableNodes.contains(*Dest)) in elimMitigatedEdgesAndNodes()583 if (ReachableNodes.contains(*E.getDest())) { in elimMitigatedEdgesAndNodes()