Lines Matching full:sequence
107 -- current sequence of vertices
108 [a] -> -- input vertices sequence
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)
129 -- current sequence of vertice sets
130 [a] -> -- Input sequence of vertices
138 | otherwise = (visited', utSetFromList (vertex: sequence): utSetSequence)
140 (visited', sequence)