monadiccp-0.7.6: Constraint Programming

Safe Haskell	None

Control.CP.FD.OvertonFD.Domain

Documentation

data Domain Source

Instances

Eq Domain
Show Domain
ToDomain Domain

class ToDomain a whereSource

Methods

toDomain :: a -> Domain Source

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 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