Safe Haskell | Safe-Inferred |
---|
Control.CP.FD.Model
Documentation
data ModelIntTerm t Source
Constructors
ModelIntVar Int | |
ModelIntPar Int |
Instances
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
Eq t => Eq (ModelIntTerm t) | |
Ord t => Ord (ModelIntTerm t) | |
Show (ModelIntTerm t) | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
data ModelBoolTerm t Source
Constructors
ModelBoolVar Int | |
ModelBoolPar Int | |
ModelExtra t |
Instances
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
Eq t => Eq (ModelBoolTerm t) | |
Ord t => Ord (ModelBoolTerm t) | |
Show t => Show (ModelBoolTerm t) | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
data ModelColTerm t Source
Constructors
ModelColVar Int | |
ModelColPar Int |
Instances
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
Eq t => Eq (ModelColTerm t) | |
Ord t => Ord (ModelColTerm t) | |
Show (ModelColTerm t) | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
data ModelFunctions Source
Constructors
ForNewBool (ModelBoolExpr ModelFunctions -> Model) | |
ForNewInt (ModelIntExpr ModelFunctions -> Model) | |
ForNewCol (ModelColExpr ModelFunctions -> Model) |
Instances
Eq ModelFunctions | |
Ord ModelFunctions | |
Show ModelFunctions | |
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
type ModelInt = ModelIntExpr ModelFunctionsSource
class ToModelInt t whereSource
Instances
type ModelCol = ModelColExpr ModelFunctionsSource
class ToModelCol t whereSource
Instances
type ModelBool = ModelBoolExpr ModelFunctionsSource
class ToModelBool t whereSource
Instances
modelVariantInt :: ModelIntExpr x -> BoolSource
modelVariantBool :: ModelBoolExpr x -> BoolSource
modelVariantCol :: ModelColExpr x -> BoolSource
class ModelTermType s whereSource
Methods
newModelTerm :: (s -> Model) -> ModelSource