Control.CP.FD.Gecode.CodegenSolver

Documentation

generateGecode :: CompilableModel t => t -> String

data CodegenGecodeSolver a

Instances

Monad CodegenGecodeSolver

Solver CodegenGecodeSolver

GecodeSolver CodegenGecodeSolver

MonadState CodegenGecodeState CodegenGecodeSolver

Term CodegenGecodeSolver BoolVar

Term CodegenGecodeSolver IntVar

CompilableModel (CodegenGecodeSolver a)

CompilableModel (Tree (FDInstance (GecodeWrappedSolver CodegenGecodeSolver)) ModelCol)

CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) ModelCol)

CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) (SearchSpec ModelInt ModelCol ModelBool))

data CodegenGecodeOptions

Constructors

CodegenGecodeOptions

Fields

noTrailing :: Bool

noGenSearch :: Bool

Instances

Show CodegenGecodeOptions

setOptions :: (CodegenGecodeOptions -> CodegenGecodeOptions) -> CodegenGecodeSolver ()