| Safe Haskell | Safe-Infered |
|---|
Control.CP.FD.Model
Documentation
data ModelIntTerm t Source
Constructors
| ModelIntVar Int | |
| ModelIntPar Int |
Instances
| ModelTermType ModelCol | |
| ModelTermType ModelBool | |
| ModelTermType ModelInt | |
| ModelExprClass ModelCol | |
| ModelExprClass ModelBool | |
| ModelExprClass 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 | |
| CompilableModel m => CompilableModel (ModelCol -> m) | |
| CompilableModel m => CompilableModel (ModelInt -> m) | |
| CompilableModel (Tree (FDInstance (GecodeWrappedSolver CodegenGecodeSolver)) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) (SearchSpec ModelInt ModelCol ModelBool)) |
data ModelBoolTerm t Source
Constructors
| ModelBoolVar Int | |
| ModelBoolPar Int | |
| ModelExtra t |
Instances
| ModelTermType ModelCol | |
| ModelTermType ModelBool | |
| ModelTermType ModelInt | |
| ModelExprClass ModelCol | |
| ModelExprClass ModelBool | |
| ModelExprClass 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 | |
| CompilableModel m => CompilableModel (ModelCol -> m) | |
| CompilableModel m => CompilableModel (ModelInt -> m) | |
| CompilableModel (Tree (FDInstance (GecodeWrappedSolver CodegenGecodeSolver)) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) (SearchSpec ModelInt ModelCol ModelBool)) |
data ModelColTerm t Source
Constructors
| ModelColVar Int | |
| ModelColPar Int |
Instances
| ModelTermType ModelCol | |
| ModelTermType ModelBool | |
| ModelTermType ModelInt | |
| ModelExprClass ModelCol | |
| ModelExprClass ModelBool | |
| ModelExprClass 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 | |
| CompilableModel m => CompilableModel (ModelCol -> m) | |
| CompilableModel m => CompilableModel (ModelInt -> m) | |
| CompilableModel (Tree (FDInstance (GecodeWrappedSolver CodegenGecodeSolver)) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) (SearchSpec ModelInt ModelCol ModelBool)) |
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 | |
| ModelExprClass ModelCol | |
| ModelExprClass ModelBool | |
| ModelExprClass 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 | |
| CompilableModel m => CompilableModel (ModelCol -> m) | |
| CompilableModel m => CompilableModel (ModelInt -> m) | |
| CompilableModel (Tree (FDInstance (GecodeWrappedSolver CodegenGecodeSolver)) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) ModelCol) | |
| CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) (SearchSpec ModelInt ModelCol ModelBool)) |
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