Safe Haskell	Safe
Language	Haskell98

Control.CP.FD.Model

Documentation

type Model = ModelBool Source #

data ModelIntTerm t Source #

Constructors

ModelIntVar Int
ModelIntPar Int

Instances

ModelTermType ModelCol Source #
Methods newModelTerm :: (ModelCol -> Model) -> Model Source #
ModelTermType ModelBool Source #
Methods newModelTerm :: (ModelBool -> Model) -> Model Source #
ModelTermType ModelInt Source #
Methods newModelTerm :: (ModelInt -> Model) -> Model Source #
Eq t => Eq (ModelIntTerm t) Source #
Methods (==) :: ModelIntTerm t -> ModelIntTerm t -> Bool # (/=) :: ModelIntTerm t -> ModelIntTerm t -> Bool #
Ord t => Ord (ModelIntTerm t) Source #
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) Source #
Methods showsPrec :: Int -> ModelIntTerm t -> ShowS # show :: ModelIntTerm t -> String # showList :: [ModelIntTerm t] -> ShowS #
FDSolver s => Term (FDInstance s) ModelCol Source #
Associated Types type Help (FDInstance s :: * -> ) ModelCol :: Source # Methods newvar :: FDInstance s ModelCol Source # help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol Source #
FDSolver s => Term (FDInstance s) ModelBool Source #
Associated Types type Help (FDInstance s :: * -> ) ModelBool :: Source # Methods newvar :: FDInstance s ModelBool Source # help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool Source #
FDSolver s => Term (FDInstance s) ModelInt Source #
Associated Types type Help (FDInstance s :: * -> ) ModelInt :: Source # Methods newvar :: FDInstance s ModelInt Source # help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt Source #
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelBool :: Source # Methods getDomainSize :: ModelBool -> FDInstance s Int Source # getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool] Source # setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool]) Source # getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool)) Source # defaultOrder :: [ModelBool] -> FDInstance s [ModelBool] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ()) Source #
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelInt :: Source # Methods getDomainSize :: ModelInt -> FDInstance s Int Source # getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt] Source # setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt]) Source # getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt)) Source # defaultOrder :: [ModelInt] -> FDInstance s [ModelInt] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ()) Source #
type Help (FDInstance s) ModelCol Source #
type Help (FDInstance s) ModelCol = ()
type Help (FDInstance s) ModelBool Source #
type Help (FDInstance s) ModelBool = ()
type Help (FDInstance s) ModelInt Source #
type Help (FDInstance s) ModelInt = ()
type TermBaseType (FDInstance s) ModelBool Source #
type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)
type TermBaseType (FDInstance s) ModelInt Source #
type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data ModelBoolTerm t Source #

Constructors

ModelBoolVar Int
ModelBoolPar Int
ModelExtra t

Instances

ModelTermType ModelCol Source #
Methods newModelTerm :: (ModelCol -> Model) -> Model Source #
ModelTermType ModelBool Source #
Methods newModelTerm :: (ModelBool -> Model) -> Model Source #
ModelTermType ModelInt Source #
Methods newModelTerm :: (ModelInt -> Model) -> Model Source #
Eq t => Eq (ModelBoolTerm t) Source #
Methods (==) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool # (/=) :: ModelBoolTerm t -> ModelBoolTerm t -> Bool #
Ord t => Ord (ModelBoolTerm t) Source #
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) Source #
Methods showsPrec :: Int -> ModelBoolTerm t -> ShowS # show :: ModelBoolTerm t -> String # showList :: [ModelBoolTerm t] -> ShowS #
FDSolver s => Term (FDInstance s) ModelCol Source #
Associated Types type Help (FDInstance s :: * -> ) ModelCol :: Source # Methods newvar :: FDInstance s ModelCol Source # help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol Source #
FDSolver s => Term (FDInstance s) ModelBool Source #
Associated Types type Help (FDInstance s :: * -> ) ModelBool :: Source # Methods newvar :: FDInstance s ModelBool Source # help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool Source #
FDSolver s => Term (FDInstance s) ModelInt Source #
Associated Types type Help (FDInstance s :: * -> ) ModelInt :: Source # Methods newvar :: FDInstance s ModelInt Source # help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt Source #
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelBool :: Source # Methods getDomainSize :: ModelBool -> FDInstance s Int Source # getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool] Source # setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool]) Source # getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool)) Source # defaultOrder :: [ModelBool] -> FDInstance s [ModelBool] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ()) Source #
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelInt :: Source # Methods getDomainSize :: ModelInt -> FDInstance s Int Source # getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt] Source # setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt]) Source # getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt)) Source # defaultOrder :: [ModelInt] -> FDInstance s [ModelInt] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ()) Source #
type Help (FDInstance s) ModelCol Source #
type Help (FDInstance s) ModelCol = ()
type Help (FDInstance s) ModelBool Source #
type Help (FDInstance s) ModelBool = ()
type Help (FDInstance s) ModelInt Source #
type Help (FDInstance s) ModelInt = ()
type TermBaseType (FDInstance s) ModelBool Source #
type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)
type TermBaseType (FDInstance s) ModelInt Source #
type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data ModelColTerm t Source #

Constructors

ModelColVar Int
ModelColPar Int

Instances

ModelTermType ModelCol Source #
Methods newModelTerm :: (ModelCol -> Model) -> Model Source #
ModelTermType ModelBool Source #
Methods newModelTerm :: (ModelBool -> Model) -> Model Source #
ModelTermType ModelInt Source #
Methods newModelTerm :: (ModelInt -> Model) -> Model Source #
Eq t => Eq (ModelColTerm t) Source #
Methods (==) :: ModelColTerm t -> ModelColTerm t -> Bool # (/=) :: ModelColTerm t -> ModelColTerm t -> Bool #
Ord t => Ord (ModelColTerm t) Source #
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) Source #
Methods showsPrec :: Int -> ModelColTerm t -> ShowS # show :: ModelColTerm t -> String # showList :: [ModelColTerm t] -> ShowS #
FDSolver s => Term (FDInstance s) ModelCol Source #
Associated Types type Help (FDInstance s :: * -> ) ModelCol :: Source # Methods newvar :: FDInstance s ModelCol Source # help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol Source #
FDSolver s => Term (FDInstance s) ModelBool Source #
Associated Types type Help (FDInstance s :: * -> ) ModelBool :: Source # Methods newvar :: FDInstance s ModelBool Source # help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool Source #
FDSolver s => Term (FDInstance s) ModelInt Source #
Associated Types type Help (FDInstance s :: * -> ) ModelInt :: Source # Methods newvar :: FDInstance s ModelInt Source # help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt Source #
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelBool :: Source # Methods getDomainSize :: ModelBool -> FDInstance s Int Source # getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool] Source # setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool]) Source # getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool)) Source # defaultOrder :: [ModelBool] -> FDInstance s [ModelBool] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ()) Source #
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelInt :: Source # Methods getDomainSize :: ModelInt -> FDInstance s Int Source # getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt] Source # setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt]) Source # getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt)) Source # defaultOrder :: [ModelInt] -> FDInstance s [ModelInt] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ()) Source #
type Help (FDInstance s) ModelCol Source #
type Help (FDInstance s) ModelCol = ()
type Help (FDInstance s) ModelBool Source #
type Help (FDInstance s) ModelBool = ()
type Help (FDInstance s) ModelInt Source #
type Help (FDInstance s) ModelInt = ()
type TermBaseType (FDInstance s) ModelBool Source #
type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)
type TermBaseType (FDInstance s) ModelInt Source #
type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data ModelFunctions Source #

Constructors

ForNewBool (ModelBoolExpr ModelFunctions -> Model)
ForNewInt (ModelIntExpr ModelFunctions -> Model)
ForNewCol (ModelColExpr ModelFunctions -> Model)

Instances

Eq ModelFunctions Source #
Methods (==) :: ModelFunctions -> ModelFunctions -> Bool # (/=) :: ModelFunctions -> ModelFunctions -> Bool #
Ord ModelFunctions Source #
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 Source #
Methods showsPrec :: Int -> ModelFunctions -> ShowS # show :: ModelFunctions -> String # showList :: [ModelFunctions] -> ShowS #
ModelTermType ModelCol Source #
Methods newModelTerm :: (ModelCol -> Model) -> Model Source #
ModelTermType ModelBool Source #
Methods newModelTerm :: (ModelBool -> Model) -> Model Source #
ModelTermType ModelInt Source #
Methods newModelTerm :: (ModelInt -> Model) -> Model Source #
FDSolver s => Term (FDInstance s) ModelCol Source #
Associated Types type Help (FDInstance s :: * -> ) ModelCol :: Source # Methods newvar :: FDInstance s ModelCol Source # help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol Source #
FDSolver s => Term (FDInstance s) ModelBool Source #
Associated Types type Help (FDInstance s :: * -> ) ModelBool :: Source # Methods newvar :: FDInstance s ModelBool Source # help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool Source #
FDSolver s => Term (FDInstance s) ModelInt Source #
Associated Types type Help (FDInstance s :: * -> ) ModelInt :: Source # Methods newvar :: FDInstance s ModelInt Source # help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt Source #
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelBool :: Source # Methods getDomainSize :: ModelBool -> FDInstance s Int Source # getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool] Source # setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool]) Source # getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool)) Source # defaultOrder :: [ModelBool] -> FDInstance s [ModelBool] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ()) Source #
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt Source #
Associated Types type TermBaseType (FDInstance s :: * -> ) ModelInt :: Source # Methods getDomainSize :: ModelInt -> FDInstance s Int Source # getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt] Source # setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)] Source # splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool) Source # splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt]) Source # getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt)) Source # defaultOrder :: [ModelInt] -> FDInstance s [ModelInt] Source # enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ()) Source #
type Help (FDInstance s) ModelCol Source #
type Help (FDInstance s) ModelCol = ()
type Help (FDInstance s) ModelBool Source #
type Help (FDInstance s) ModelBool = ()
type Help (FDInstance s) ModelInt Source #
type Help (FDInstance s) ModelInt = ()
type TermBaseType (FDInstance s) ModelBool Source #
type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)
type TermBaseType (FDInstance s) ModelInt Source #
type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

type ModelInt = ModelIntExpr ModelFunctions Source #

class ToModelInt t where Source #

Minimal complete definition

asExpr

Methods

asExpr :: t -> ModelInt Source #

Instances

ToExpr (ModelIntTerm ModelFunctions) (ModelColTerm ModelFunctions) (ModelBoolTerm ModelFunctions) t => ToModelInt t Source #
Methods asExpr :: t -> ModelInt Source #

type ModelIntArg = ModelIntTerm ModelFunctions Source #

type ModelCol = ModelColExpr ModelFunctions Source #

class ToModelCol t where Source #

Minimal complete definition

asCol

Methods

asCol :: t -> ModelCol Source #

Instances

ToColExpr (ModelIntTerm ModelFunctions) (ModelColTerm ModelFunctions) (ModelBoolTerm ModelFunctions) t => ToModelCol t Source #
Methods asCol :: t -> ModelCol Source #

type ModelColArg = ModelColTerm ModelFunctions Source #

type ModelBool = ModelBoolExpr ModelFunctions Source #

class ToModelBool t where Source #

Minimal complete definition

asBool

Methods

asBool :: t -> ModelBool Source #

Instances

ToBoolExpr (ModelIntTerm ModelFunctions) (ModelColTerm ModelFunctions) (ModelBoolTerm ModelFunctions) t => ToModelBool t Source #
Methods asBool :: t -> ModelBool Source #

type ModelBoolArg = ModelBoolTerm ModelFunctions Source #

modelVariantInt :: ModelIntExpr x -> Bool Source #

modelVariantBool :: ModelBoolExpr x -> Bool Source #

modelVariantCol :: ModelColExpr x -> Bool Source #

class ModelTermType s where Source #

Minimal complete definition

newModelTerm

Methods

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

Instances

ModelTermType ModelCol Source #
Methods newModelTerm :: (ModelCol -> Model) -> Model Source #
ModelTermType ModelBool Source #
Methods newModelTerm :: (ModelBool -> Model) -> Model Source #
ModelTermType ModelInt Source #
Methods newModelTerm :: (ModelInt -> Model) -> Model Source #

showModel :: Model -> String Source #

cte :: Integral a => a -> ModelInt Source #