Control.CP.FD.Model

Documentation

type Model = ModelBool

data ModelIntTerm t

Constructors

ModelIntVar Int

ModelIntPar Int

Instances

ModelTermType ModelCol

Methods

newModelTerm :: (ModelCol -> Model) -> Model

ModelTermType ModelBool

Methods

newModelTerm :: (ModelBool -> Model) -> Model

ModelTermType ModelInt

Methods

newModelTerm :: (ModelInt -> Model) -> Model

Eq t => Eq (ModelIntTerm t)

Methods

(==) :: ModelIntTerm t -> ModelIntTerm t -> Bool

(/=) :: ModelIntTerm t -> ModelIntTerm t -> Bool

Ord t => Ord (ModelIntTerm t)

Methods

compare :: ModelIntTerm t -> ModelIntTerm t -> Ordering

(<) :: ModelIntTerm t -> ModelIntTerm t -> Bool

(<=) :: ModelIntTerm t -> ModelIntTerm t -> Bool

(>) :: ModelIntTerm t -> ModelIntTerm t -> Bool

(>=) :: ModelIntTerm t -> ModelIntTerm t -> Bool

max :: ModelIntTerm t -> ModelIntTerm t -> ModelIntTerm t

min :: ModelIntTerm t -> ModelIntTerm t -> ModelIntTerm t

Show (ModelIntTerm t)

Methods

showsPrec :: Int -> ModelIntTerm t -> ShowS

show :: ModelIntTerm t -> String

showList :: [ModelIntTerm t] -> ShowS

FDSolver s => Term (FDInstance s) ModelCol

Associated Types

type Help (FDInstance s :: * -> *) ModelCol :: *

Methods

newvar :: FDInstance s ModelCol

help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol

FDSolver s => Term (FDInstance s) ModelBool

Associated Types

type Help (FDInstance s :: * -> *) ModelBool :: *

Methods

newvar :: FDInstance s ModelBool

help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool

FDSolver s => Term (FDInstance s) ModelInt

Associated Types

type Help (FDInstance s :: * -> *) ModelInt :: *

Methods

newvar :: FDInstance s ModelInt

help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt

(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelBool :: *

Methods

getDomainSize :: ModelBool -> FDInstance s Int

getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool]

setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool])

getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool))

defaultOrder :: [ModelBool] -> FDInstance s [ModelBool]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ())

(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelInt :: *

Methods

getDomainSize :: ModelInt -> FDInstance s Int

getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt]

setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt])

getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt))

defaultOrder :: [ModelInt] -> FDInstance s [ModelInt]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ())

type Help (FDInstance s) ModelCol

type Help (FDInstance s) ModelCol = ()

type Help (FDInstance s) ModelBool

type Help (FDInstance s) ModelBool = ()

type Help (FDInstance s) ModelInt

type Help (FDInstance s) ModelInt = ()

type TermBaseType (FDInstance s) ModelBool

type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)

type TermBaseType (FDInstance s) ModelInt

type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data ModelBoolTerm t

Constructors

ModelBoolVar Int

ModelBoolPar Int

ModelExtra t

Instances

ModelTermType ModelCol

Methods

newModelTerm :: (ModelCol -> Model) -> Model

ModelTermType ModelBool

Methods

newModelTerm :: (ModelBool -> Model) -> Model

ModelTermType ModelInt

Methods

newModelTerm :: (ModelInt -> Model) -> Model

Eq t => Eq (ModelBoolTerm t)

Methods

(==) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool

(/=) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool

Ord t => Ord (ModelBoolTerm t)

Methods

compare :: ModelBoolTerm t -> ModelBoolTerm t -> Ordering

(<) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool

(<=) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool

(>) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool

(>=) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool

max :: ModelBoolTerm t -> ModelBoolTerm t -> ModelBoolTerm t

min :: ModelBoolTerm t -> ModelBoolTerm t -> ModelBoolTerm t

Show t => Show (ModelBoolTerm t)

Methods

showsPrec :: Int -> ModelBoolTerm t -> ShowS

show :: ModelBoolTerm t -> String

showList :: [ModelBoolTerm t] -> ShowS

FDSolver s => Term (FDInstance s) ModelCol

Associated Types

type Help (FDInstance s :: * -> *) ModelCol :: *

Methods

newvar :: FDInstance s ModelCol

help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol

FDSolver s => Term (FDInstance s) ModelBool

Associated Types

type Help (FDInstance s :: * -> *) ModelBool :: *

Methods

newvar :: FDInstance s ModelBool

help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool

FDSolver s => Term (FDInstance s) ModelInt

Associated Types

type Help (FDInstance s :: * -> *) ModelInt :: *

Methods

newvar :: FDInstance s ModelInt

help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt

(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelBool :: *

Methods

getDomainSize :: ModelBool -> FDInstance s Int

getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool]

setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool])

getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool))

defaultOrder :: [ModelBool] -> FDInstance s [ModelBool]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ())

(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelInt :: *

Methods

getDomainSize :: ModelInt -> FDInstance s Int

getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt]

setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt])

getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt))

defaultOrder :: [ModelInt] -> FDInstance s [ModelInt]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ())

type Help (FDInstance s) ModelCol

type Help (FDInstance s) ModelCol = ()

type Help (FDInstance s) ModelBool

type Help (FDInstance s) ModelBool = ()

type Help (FDInstance s) ModelInt

type Help (FDInstance s) ModelInt = ()

type TermBaseType (FDInstance s) ModelBool

type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)

type TermBaseType (FDInstance s) ModelInt

type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data ModelColTerm t

Constructors

ModelColVar Int

ModelColPar Int

Instances

ModelTermType ModelCol

Methods

newModelTerm :: (ModelCol -> Model) -> Model

ModelTermType ModelBool

Methods

newModelTerm :: (ModelBool -> Model) -> Model

ModelTermType ModelInt

Methods

newModelTerm :: (ModelInt -> Model) -> Model

Eq t => Eq (ModelColTerm t)

Methods

(==) :: ModelColTerm t -> ModelColTerm t -> Bool

(/=) :: ModelColTerm t -> ModelColTerm t -> Bool

Ord t => Ord (ModelColTerm t)

Methods

compare :: ModelColTerm t -> ModelColTerm t -> Ordering

(<) :: ModelColTerm t -> ModelColTerm t -> Bool

(<=) :: ModelColTerm t -> ModelColTerm t -> Bool

(>) :: ModelColTerm t -> ModelColTerm t -> Bool

(>=) :: ModelColTerm t -> ModelColTerm t -> Bool

max :: ModelColTerm t -> ModelColTerm t -> ModelColTerm t

min :: ModelColTerm t -> ModelColTerm t -> ModelColTerm t

Show (ModelColTerm t)

Methods

showsPrec :: Int -> ModelColTerm t -> ShowS

show :: ModelColTerm t -> String

showList :: [ModelColTerm t] -> ShowS

FDSolver s => Term (FDInstance s) ModelCol

Associated Types

type Help (FDInstance s :: * -> *) ModelCol :: *

Methods

newvar :: FDInstance s ModelCol

help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol

FDSolver s => Term (FDInstance s) ModelBool

Associated Types

type Help (FDInstance s :: * -> *) ModelBool :: *

Methods

newvar :: FDInstance s ModelBool

help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool

FDSolver s => Term (FDInstance s) ModelInt

Associated Types

type Help (FDInstance s :: * -> *) ModelInt :: *

Methods

newvar :: FDInstance s ModelInt

help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt

(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelBool :: *

Methods

getDomainSize :: ModelBool -> FDInstance s Int

getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool]

setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool])

getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool))

defaultOrder :: [ModelBool] -> FDInstance s [ModelBool]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ())

(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelInt :: *

Methods

getDomainSize :: ModelInt -> FDInstance s Int

getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt]

setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt])

getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt))

defaultOrder :: [ModelInt] -> FDInstance s [ModelInt]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ())

type Help (FDInstance s) ModelCol

type Help (FDInstance s) ModelCol = ()

type Help (FDInstance s) ModelBool

type Help (FDInstance s) ModelBool = ()

type Help (FDInstance s) ModelInt

type Help (FDInstance s) ModelInt = ()

type TermBaseType (FDInstance s) ModelBool

type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)

type TermBaseType (FDInstance s) ModelInt

type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data ModelFunctions

Constructors

ForNewBool (ModelBoolExpr ModelFunctions -> Model)

ForNewInt (ModelIntExpr ModelFunctions -> Model)

ForNewCol (ModelColExpr ModelFunctions -> Model)

Instances

Eq ModelFunctions

Methods

(==) :: ModelFunctions -> ModelFunctions -> Bool

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

Ord ModelFunctions

Methods

compare :: ModelFunctions -> ModelFunctions -> Ordering

(<) :: ModelFunctions -> ModelFunctions -> Bool

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

(>) :: ModelFunctions -> ModelFunctions -> Bool

(>=) :: ModelFunctions -> ModelFunctions -> Bool

max :: ModelFunctions -> ModelFunctions -> ModelFunctions

min :: ModelFunctions -> ModelFunctions -> ModelFunctions

Show ModelFunctions

Methods

showsPrec :: Int -> ModelFunctions -> ShowS

show :: ModelFunctions -> String

showList :: [ModelFunctions] -> ShowS

ModelTermType ModelCol

Methods

newModelTerm :: (ModelCol -> Model) -> Model

ModelTermType ModelBool

Methods

newModelTerm :: (ModelBool -> Model) -> Model

ModelTermType ModelInt

Methods

newModelTerm :: (ModelInt -> Model) -> Model

FDSolver s => Term (FDInstance s) ModelCol

Associated Types

type Help (FDInstance s :: * -> *) ModelCol :: *

Methods

newvar :: FDInstance s ModelCol

help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol

FDSolver s => Term (FDInstance s) ModelBool

Associated Types

type Help (FDInstance s :: * -> *) ModelBool :: *

Methods

newvar :: FDInstance s ModelBool

help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool

FDSolver s => Term (FDInstance s) ModelInt

Associated Types

type Help (FDInstance s :: * -> *) ModelInt :: *

Methods

newvar :: FDInstance s ModelInt

help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt

(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelBool :: *

Methods

getDomainSize :: ModelBool -> FDInstance s Int

getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool]

setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool])

getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool))

defaultOrder :: [ModelBool] -> FDInstance s [ModelBool]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ())

(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelInt :: *

Methods

getDomainSize :: ModelInt -> FDInstance s Int

getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt]

setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt])

getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt))

defaultOrder :: [ModelInt] -> FDInstance s [ModelInt]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ())

type Help (FDInstance s) ModelCol

type Help (FDInstance s) ModelCol = ()

type Help (FDInstance s) ModelBool

type Help (FDInstance s) ModelBool = ()

type Help (FDInstance s) ModelInt

type Help (FDInstance s) ModelInt = ()

type TermBaseType (FDInstance s) ModelBool

type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)

type TermBaseType (FDInstance s) ModelInt

type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

type ModelInt = ModelIntExpr ModelFunctions

class ToModelInt t where

Minimal complete definition

asExpr

Methods

asExpr :: t -> ModelInt

Instances

ToExpr (ModelIntTerm ModelFunctions) (ModelColTerm ModelFunctions) (ModelBoolTerm ModelFunctions) t => ToModelInt t

Methods

asExpr :: t -> ModelInt

type ModelIntArg = ModelIntTerm ModelFunctions

type ModelCol = ModelColExpr ModelFunctions

class ToModelCol t where

Minimal complete definition

asCol

Methods

asCol :: t -> ModelCol

Instances

ToColExpr (ModelIntTerm ModelFunctions) (ModelColTerm ModelFunctions) (ModelBoolTerm ModelFunctions) t => ToModelCol t

Methods

asCol :: t -> ModelCol

type ModelColArg = ModelColTerm ModelFunctions

type ModelBool = ModelBoolExpr ModelFunctions

class ToModelBool t where

Minimal complete definition

asBool

Methods

asBool :: t -> ModelBool

Instances

ToBoolExpr (ModelIntTerm ModelFunctions) (ModelColTerm ModelFunctions) (ModelBoolTerm ModelFunctions) t => ToModelBool t

Methods

asBool :: t -> ModelBool

type ModelBoolArg = ModelBoolTerm ModelFunctions

modelVariantInt :: ModelIntExpr x -> Bool

modelVariantBool :: ModelBoolExpr x -> Bool

modelVariantCol :: ModelColExpr x -> Bool

class ModelTermType s where

Minimal complete definition

newModelTerm

Methods

newModelTerm :: (s -> Model) -> Model

Instances

ModelTermType ModelCol

Methods

newModelTerm :: (ModelCol -> Model) -> Model

ModelTermType ModelBool

Methods

newModelTerm :: (ModelBool -> Model) -> Model

ModelTermType ModelInt

Methods

newModelTerm :: (ModelInt -> Model) -> Model

showModel :: Model -> String

cte :: Integral a => a -> ModelInt