Searched refs:SuccPaths (Results 1 – 1 of 1) sorted by relevance
642 PathsType SuccPaths = paths(Succ, Visited, PathDepth + 1); in paths() local643 for (PathType Path : SuccPaths) { in paths()