monadiccp-0.7.7: Constraint Programming

Safe HaskellNone
LanguageHaskell98

Control.CP.FD.OvertonFD.Domain

Documentation

data Domain Source #

Instances

class ToDomain a where Source #

Minimal complete definition

toDomain

Methods

toDomain :: a -> Domain Source #

Instances

ToDomain () Source # 

Methods

toDomain :: () -> Domain Source #

Integral a => ToDomain a Source # 

Methods

toDomain :: a -> Domain Source #

ToDomain IntSet Source # 
ToDomain Domain Source # 
Integral a => ToDomain [a] Source # 

Methods

toDomain :: [a] -> Domain Source #

(Integral a, Integral b) => ToDomain (a, b) Source # 

Methods

toDomain :: (a, b) -> Domain Source #

toDomain :: ToDomain a => a -> Domain Source #

member :: Int -> Domain -> Bool Source #

isSubsetOf :: Domain -> Domain -> Bool Source #

elems :: Domain -> [Int] Source #

intersection :: Domain -> Domain -> Domain Source #

difference :: Domain -> Domain -> Domain Source #

union :: Domain -> Domain -> Domain Source #

empty :: Domain Source #

null :: Domain -> Bool Source #

singleton :: Int -> Domain Source #

isSingleton :: Domain -> Bool Source #

filterLessThan :: Int -> Domain -> Domain Source #

filterGreaterThan :: Int -> Domain -> Domain Source #

findMax :: Domain -> Int Source #

findMin :: Domain -> Int Source #

size :: Domain -> Int Source #

shiftDomain :: Domain -> Int -> Domain Source #

mapDomain :: Domain -> (Int -> [Int]) -> Domain Source #

absDomain :: Domain -> Domain Source #