Safe Haskell | None |
---|
Documentation
isSubsetOf :: Domain -> Domain -> BoolSource
intersection :: Domain -> Domain -> DomainSource
difference :: Domain -> Domain -> DomainSource
isSingleton :: Domain -> BoolSource
filterLessThan :: Int -> Domain -> DomainSource
filterGreaterThan :: Int -> Domain -> DomainSource
shiftDomain :: Domain -> Int -> DomainSource