Control.CP.FD.Model

Documentation

type Model = ModelBool

data ModelIntTerm t

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

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

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

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 ModelFunctions

class ToModelInt t where

Methods

asExpr :: t -> ModelInt

Instances

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

type ModelIntArg = ModelIntTerm ModelFunctions

type ModelCol = ModelColExpr ModelFunctions

class ToModelCol t where

Methods

asCol :: t -> ModelCol

Instances

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

type ModelColArg = ModelColTerm ModelFunctions

type ModelBool = ModelBoolExpr ModelFunctions

class ToModelBool t where

Methods

asBool :: t -> ModelBool

Instances

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

type ModelBoolArg = ModelBoolTerm ModelFunctions

modelVariantInt :: ModelIntExpr x -> Bool

modelVariantBool :: ModelBoolExpr x -> Bool

modelVariantCol :: ModelColExpr x -> Bool

class ModelTermType s where

Methods

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

Instances

ModelTermType ModelCol

ModelTermType ModelBool

ModelTermType ModelInt

showModel :: Model -> String

cte :: Integral a => a -> ModelInt