Searched refs:ReachableNodes (Results 1 – 1 of 1) sorted by relevance
561 NodeSet ReachableNodes{G}; in elimMitigatedEdgesAndNodes() local567 ReachableNodes.clear(); in elimMitigatedEdgesAndNodes()571 ReachableNodes.insert(*N); in elimMitigatedEdgesAndNodes()575 !ReachableNodes.contains(*Dest)) in elimMitigatedEdgesAndNodes()584 if (ReachableNodes.contains(*E.getDest())) { in elimMitigatedEdgesAndNodes()