Home | History | Annotate | Download | only in meta

Lines Matching refs:Result

68         using Result = FoldVector(Neighbors, VisitSingleNeighbor, ConsTriplet(NewVisitedSet, None, Bool<false>));
76 If(IsNone(GetSecond(Result)),
78 Result,
80 If(GetThird(Result) /* IsLoopComplete */, Result,
81 If(VectorEndsWith(GetSecond(Result) /* Loop */, Node),
83 ConsTriplet(GetFirst(Result), GetSecond(Result), Bool<true>),
85 ConsTriplet(GetFirst(Result), PushFront(GetSecond(Result), Node), Bool<false>))))));