| Safe Haskell | None |
|---|
Control.CP.FD.Gecode.CodegenSolver
Documentation
generateGecode :: CompilableModel t => t -> StringSource
data CodegenGecodeSolver a Source
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 Source
Constructors
| CodegenGecodeOptions | |
Fields
| |
Instances