Control.CP.FD.OvertonFD.Domain

Documentation

data Domain

Instances

Eq Domain

Show Domain

ToDomain Domain

class ToDomain a where

Methods

toDomain :: a -> Domain

Instances

ToDomain ()

Integral a => ToDomain a

ToDomain IntSet

ToDomain Domain

Integral a => ToDomain [a]

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

member :: Int -> Domain -> Bool

isSubsetOf :: Domain -> Domain -> Bool

elems :: Domain -> [Int]

intersection :: Domain -> Domain -> Domain

difference :: Domain -> Domain -> Domain

union :: Domain -> Domain -> Domain

empty :: Domain

null :: Domain -> Bool

singleton :: Int -> Domain

isSingleton :: Domain -> Bool

filterLessThan :: Int -> Domain -> Domain

filterGreaterThan :: Int -> Domain -> Domain

findMax :: Domain -> Int

findMin :: Domain -> Int

size :: Domain -> Int

shiftDomain :: Domain -> Int -> Domain

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

absDomain :: Domain -> Domain