Control.CP.FD.Gecode.CodegenSolver

Documentation

generateGecode :: CompilableModel t => t -> String

data CodegenGecodeSolver a

Instances

Monad CodegenGecodeSolver

Solver CodegenGecodeSolver

GecodeSolver CodegenGecodeSolver

data CodegenGecodeOptions

Constructors

CodegenGecodeOptions

Fields

noTrailing :: Bool

noGenSearch :: Bool

Instances

Show CodegenGecodeOptions

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