Searched refs:followOnNexts (Results 1 – 1 of 1) sorted by relevance
73 AtomToAtomT &followOnNexts, in showCycleDetectedError() argument88 atom = followOnNexts[atom]; in showCycleDetectedError()97 AtomToAtomT &followOnNexts, in checkNoCycleInFollowonChain() argument100 const DefinedAtom *hare = followOnNexts[root]; in checkNoCycleInFollowonChain()105 showCycleDetectedError(registry, followOnNexts, tortoise); in checkNoCycleInFollowonChain()106 tortoise = followOnNexts[tortoise]; in checkNoCycleInFollowonChain()107 hare = followOnNexts[followOnNexts[hare]]; in checkNoCycleInFollowonChain()