Home
last modified time | relevance | path

Searched refs:utSetIntersection (Results 1 – 1 of 1) sorted by relevance

/external/valgrind/auxprogs/
DDotToScc.hs223 utSetIntersection :: (Ord a) => Set a -> Set a -> Set a
225 utSetIntersection (MkSet []) (MkSet []) = (MkSet []) function
226 utSetIntersection (MkSet []) (MkSet (b:bs)) = (MkSet []) function
227 utSetIntersection (MkSet (a:as)) (MkSet []) = (MkSet []) function
228 utSetIntersection (MkSet (a:as)) (MkSet (b:bs)) function
229 | a < b = utSetIntersection (MkSet as) (MkSet (b:bs))
230 | a == b = MkSet (a: (unMkSet (utSetIntersection (MkSet as) (MkSet bs))))
231 | a > b = utSetIntersection (MkSet (a:as)) (MkSet bs)