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