Searched refs:KnownArcs (Results 1 – 1 of 1) sorted by relevance
317 ArcSet KnownArcs; in guessEdgeByIterativeApproach() local323 if (guessPredEdgeCounts(&BB, KnownArcs)) in guessEdgeByIterativeApproach()325 if (guessSuccEdgeCounts(&BB, KnownArcs)) in guessEdgeByIterativeApproach()333 if (KnownArcs.count(std::make_pair(Pred, &BB))) in guessEdgeByIterativeApproach()338 KnownArcs.insert(std::make_pair(Pred, &BB)); in guessEdgeByIterativeApproach()342 if (KnownArcs.count(std::make_pair(&BB, Succ))) { in guessEdgeByIterativeApproach()348 KnownArcs.insert(std::make_pair(&BB, Succ)); in guessEdgeByIterativeApproach()