Searched refs:DfsResult (Results 1 – 1 of 1) sorted by relevance
93 using DfsResult = DfsVisit(GetFirst(CurrentResult), EmptySet, Node); member96 MakePair(GetFirst(DfsResult), GetSecond(DfsResult)),