Lines Matching full:visited
106 (Set a, [a]) -> -- state: visited set,
114 search relation (visited, sequence) vertex
115 | utSetElementOf vertex visited = (visited, sequence )
116 | otherwise = (visited', vertex: sequence')
118 (visited', sequence')
120 (utSetUnion visited (utSetSingleton vertex), sequence)
128 (Set a, [Set a]) -> -- Current state: visited set,
136 search relation (visited, utSetSequence) vertex
137 | utSetElementOf vertex visited = (visited, utSetSequence )
138 | otherwise = (visited', utSetFromList (vertex: sequence): utSetSequence)
140 (visited', sequence)
142 (utSetUnion visited (utSetSingleton vertex), [])
