Safe Haskell | None |
---|
Control.CP.FD.OvertonFD.Domain
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