Control.CP.FD.OvertonFD.OvertonFD

Documentation

data OvertonFD a

Instances

Monad OvertonFD

Methods

(>>=) :: OvertonFD a -> (a -> OvertonFD b) -> OvertonFD b

(>>) :: OvertonFD a -> OvertonFD b -> OvertonFD b

return :: a -> OvertonFD a

fail :: String -> OvertonFD a

Functor OvertonFD

Methods

fmap :: (a -> b) -> OvertonFD a -> OvertonFD b

(<$) :: a -> OvertonFD b -> OvertonFD a

Applicative OvertonFD

Methods

pure :: a -> OvertonFD a

(<*>) :: OvertonFD (a -> b) -> OvertonFD a -> OvertonFD b

liftA2 :: (a -> b -> c) -> OvertonFD a -> OvertonFD b -> OvertonFD c

(*>) :: OvertonFD a -> OvertonFD b -> OvertonFD b

(<*) :: OvertonFD a -> OvertonFD b -> OvertonFD a

Solver OvertonFD

Associated Types

type Constraint (OvertonFD :: * -> *) :: *

type Label (OvertonFD :: * -> *) :: *

Methods

add :: Constraint OvertonFD -> OvertonFD Bool

run :: OvertonFD a -> a

mark :: OvertonFD (Label OvertonFD)

markn :: Int -> OvertonFD (Label OvertonFD)

goto :: Label OvertonFD -> OvertonFD ()

Term OvertonFD FDVar

Associated Types

type Help (OvertonFD :: * -> *) FDVar :: *

Methods

newvar :: OvertonFD FDVar

help :: OvertonFD () -> FDVar -> Help OvertonFD FDVar

EnumTerm OvertonFD FDVar

Associated Types

type TermBaseType (OvertonFD :: * -> *) FDVar :: *

Methods

getDomainSize :: FDVar -> OvertonFD Int

getDomain :: FDVar -> OvertonFD [TermBaseType OvertonFD FDVar]

setValue :: FDVar -> TermBaseType OvertonFD FDVar -> OvertonFD [Constraint OvertonFD]

splitDomain :: FDVar -> OvertonFD ([[Constraint OvertonFD]], Bool)

splitDomains :: [FDVar] -> OvertonFD ([[Constraint OvertonFD]], [FDVar])

getValue :: FDVar -> OvertonFD (Maybe (TermBaseType OvertonFD FDVar))

defaultOrder :: [FDVar] -> OvertonFD [FDVar]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) OvertonFD) => Maybe ([FDVar] -> m ())

type Constraint OvertonFD

type Constraint OvertonFD = OConstraint

type Label OvertonFD

type Label OvertonFD

type FDIntTerm OvertonFD

type FDIntTerm OvertonFD = FDVar

type FDBoolTerm OvertonFD

type FDBoolTerm OvertonFD = FDVar

type FDIntSpec OvertonFD

type FDIntSpec OvertonFD = FDVar

type FDBoolSpec OvertonFD

type FDBoolSpec OvertonFD = FDVar

type FDColSpec OvertonFD

type FDColSpec OvertonFD = [FDVar]

type FDIntSpecType OvertonFD

type FDIntSpecType OvertonFD = ()

type FDBoolSpecType OvertonFD

type FDBoolSpecType OvertonFD = ()

type FDColSpecType OvertonFD

type FDColSpecType OvertonFD = ()

type Help OvertonFD FDVar

type Help OvertonFD FDVar = ()

type TermBaseType OvertonFD FDVar

type TermBaseType OvertonFD FDVar = Int

fd_objective :: OvertonFD FDVar

fd_domain :: FDVar -> OvertonFD [Int]

data FDVar

Instances

Eq FDVar

Methods

(==) :: FDVar -> FDVar -> Bool

(/=) :: FDVar -> FDVar -> Bool

Ord FDVar

Methods

compare :: FDVar -> FDVar -> Ordering

(<) :: FDVar -> FDVar -> Bool

(<=) :: FDVar -> FDVar -> Bool

(>) :: FDVar -> FDVar -> Bool

(>=) :: FDVar -> FDVar -> Bool

max :: FDVar -> FDVar -> FDVar

min :: FDVar -> FDVar -> FDVar

Show FDVar

Methods

showsPrec :: Int -> FDVar -> ShowS

show :: FDVar -> String

showList :: [FDVar] -> ShowS

Term OvertonFD FDVar

Associated Types

type Help (OvertonFD :: * -> *) FDVar :: *

Methods

newvar :: OvertonFD FDVar

help :: OvertonFD () -> FDVar -> Help OvertonFD FDVar

EnumTerm OvertonFD FDVar

Associated Types

type TermBaseType (OvertonFD :: * -> *) FDVar :: *

Methods

getDomainSize :: FDVar -> OvertonFD Int

getDomain :: FDVar -> OvertonFD [TermBaseType OvertonFD FDVar]

setValue :: FDVar -> TermBaseType OvertonFD FDVar -> OvertonFD [Constraint OvertonFD]

splitDomain :: FDVar -> OvertonFD ([[Constraint OvertonFD]], Bool)

splitDomains :: [FDVar] -> OvertonFD ([[Constraint OvertonFD]], [FDVar])

getValue :: FDVar -> OvertonFD (Maybe (TermBaseType OvertonFD FDVar))

defaultOrder :: [FDVar] -> OvertonFD [FDVar]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) OvertonFD) => Maybe ([FDVar] -> m ())

type Help OvertonFD FDVar

type Help OvertonFD FDVar = ()

type TermBaseType OvertonFD FDVar

type TermBaseType OvertonFD FDVar = Int

data OConstraint

Constructors

OHasValue FDVar Int

OSame FDVar FDVar

ODiff FDVar FDVar

OLess FDVar FDVar

OLessEq FDVar FDVar

OAdd FDVar FDVar FDVar

OSub FDVar FDVar FDVar

OMult FDVar FDVar FDVar

OAbs FDVar FDVar

Instances

Eq OConstraint

Methods

(==) :: OConstraint -> OConstraint -> Bool

(/=) :: OConstraint -> OConstraint -> Bool

Show OConstraint

Methods

showsPrec :: Int -> OConstraint -> ShowS

show :: OConstraint -> String

showList :: [OConstraint] -> ShowS

lookup :: FDVar -> OvertonFD Domain