Control.CP.FD.FD

Documentation

data FD_Term where

Constructors

FD_Var :: FDVar -> FD_Term

Instances

Show FD_Term

ToExpr FD_Term

To_FD_Term FD_Term

Term FD FD_Term

data FD_Constraint where

Constructors

FD_Diff :: FD_Term -> FD_Term -> FD_Constraint

FD_Same :: FD_Term -> FD_Term -> FD_Constraint

FD_Less :: FD_Term -> FD_Term -> FD_Constraint

FD_LT :: FD_Term -> Int -> FD_Constraint

FD_GT :: FD_Term -> Int -> FD_Constraint

FD_HasValue :: FD_Term -> Int -> FD_Constraint

FD_Eq :: (ToExpr a, ToExpr b) => a -> b -> FD_Constraint

FD_NEq :: (ToExpr a, ToExpr b) => a -> b -> FD_Constraint

FD_AllDiff :: [FD_Term] -> FD_Constraint

FD_Dom :: FD_Term -> (Int, Int) -> FD_Constraint

(#<) :: (To_FD_Term a, To_FD_Term b) => a -> b -> FD Bool

in_range :: FD_Term -> (Int, Int) -> FD Bool

fd_domain :: FD_Term -> FD [Int]

fd_objective :: FD FD_Term

class To_FD_Term a where

Methods

to_fd_term :: a -> FD FD_Term

Instances

To_FD_Term Int

To_FD_Term Expr

To_FD_Term FD_Term

newtype FD a

Constructors

FD

Fields

unFD :: StateT FDState Maybe a

Instances

Monad FD

MonadPlus FD

Solver FD

MonadState FDState FD

Term FD FD_Term

newtype FDVar

Constructors

FDVar

Fields

unFDVar :: Int

Instances

Eq FDVar

Ord FDVar

Show FDVar

ToExpr FDVar

type VarSupply = FDVar

data VarInfo

Constructors

VarInfo

Fields

delayedConstraints :: FD Bool

domain :: Domain

Instances

Show VarInfo

type VarMap = Map FDVar VarInfo

data FDState

Constructors

FDState

Fields

varSupply :: VarSupply

varMap :: VarMap

objective :: FDVar

Instances

Eq FDState

Ord FDState

Show FDState

MonadState FDState FD

consistentFD :: FD Bool

runFD :: FD a -> a

initState :: FDState

newVar :: ToDomain a => a -> FD FDVar

newVars :: ToDomain a => Int -> a -> FD [FDVar]

lookup :: FDVar -> FD Domain

update :: FDVar -> Domain -> FD Bool

addConstraint :: FDVar -> FD Bool -> FD ()

type BinaryConstraint = FDVar -> FDVar -> FD Bool

addBinaryConstraint :: BinaryConstraint -> BinaryConstraint

hasValue :: FDVar -> Int -> FD Bool

same :: FDVar -> FDVar -> FD Bool

different :: FDVar -> FDVar -> FD Bool

allDifferent :: [FDVar] -> FD ()

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

dump :: [FDVar] -> FD [Domain]

newtype Expr

Constructors

Expr

Fields

unExpr :: FD FDVar

Instances

ToExpr Expr

To_FD_Term Expr

class ToExpr a where

Methods

toExpr :: a -> Expr

Instances

Integral i => ToExpr i

ToExpr Expr

ToExpr FDVar

ToExpr FD_Term

exprVar :: ToExpr a => a -> FD FDVar

addArithmeticConstraint :: (ToExpr a, ToExpr b) => (Domain -> Domain -> Domain) -> (Domain -> Domain -> Domain) -> (Domain -> Domain -> Domain) -> a -> b -> Expr

(.+.) :: (ToExpr a, ToExpr b) => a -> b -> Expr

(.-.) :: (ToExpr a, ToExpr b) => a -> b -> Expr

(.*.) :: (ToExpr a, ToExpr b) => a -> b -> Expr

getDomainPlus :: Domain -> Domain -> Domain

getDomainMinus :: Domain -> Domain -> Domain

getDomainMult :: Domain -> Domain -> Domain

getDomainDiv :: Domain -> Domain -> Domain

(.==.) :: (ToExpr a, ToExpr b) => a -> b -> FD Bool

(./=.) :: (ToExpr a, ToExpr b) => a -> b -> FD Bool