Home
last modified time | relevance | path

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

/external/valgrind/auxprogs/
DDotToScc.hs236 utSetSubtraction :: (Ord a) => Set a -> Set a -> Set a
238 utSetSubtraction (MkSet []) (MkSet []) = (MkSet []) function
239 utSetSubtraction (MkSet []) (MkSet (b:bs)) = (MkSet []) function
240 utSetSubtraction (MkSet (a:as)) (MkSet []) = (MkSet (a:as)) function
241 utSetSubtraction (MkSet (a:as)) (MkSet (b:bs)) function
242 | a < b = MkSet (a: (unMkSet (utSetSubtraction (MkSet as) (MkSet (b:bs)))))
243 | a == b = utSetSubtraction (MkSet as) (MkSet bs)
244 | a > b = utSetSubtraction (MkSet (a:as)) (MkSet bs)