Searched refs:KnownArcs (Results 1 – 1 of 1) sorted by relevance
309 ArcSet KnownArcs; in guessEdgeByIterativeApproach() local315 if (guessPredEdgeCounts(&BB, KnownArcs)) in guessEdgeByIterativeApproach()317 if (guessSuccEdgeCounts(&BB, KnownArcs)) in guessEdgeByIterativeApproach()325 if (KnownArcs.count(std::make_pair(Pred, &BB))) in guessEdgeByIterativeApproach()330 KnownArcs.insert(std::make_pair(Pred, &BB)); in guessEdgeByIterativeApproach()334 if (KnownArcs.count(std::make_pair(&BB, Succ))) { in guessEdgeByIterativeApproach()340 KnownArcs.insert(std::make_pair(&BB, Succ)); in guessEdgeByIterativeApproach()