Searched refs:ReachableNodes (Results 1 – 1 of 1) sorted by relevance
562 NodeSet ReachableNodes{G}; in elimMitigatedEdgesAndNodes() local568 ReachableNodes.clear(); in elimMitigatedEdgesAndNodes()572 ReachableNodes.insert(*N); in elimMitigatedEdgesAndNodes()576 !ReachableNodes.contains(*Dest)) in elimMitigatedEdgesAndNodes()585 if (ReachableNodes.contains(*E.getDest())) { in elimMitigatedEdgesAndNodes()