Control.CP.FD.Gecode.RuntimeSearch

Documentation

data SearchGecodeSolver a

Instances

Monad SearchGecodeSolver

Solver SearchGecodeSolver

MonadIO SearchGecodeSolver

GecodeSolver SearchGecodeSolver

EnumTerm SearchGecodeSolver CGBoolVar

EnumTerm SearchGecodeSolver CGIntVar

Term SearchGecodeSolver CGBoolVar

Term SearchGecodeSolver CGIntVar

data SearchGecodeOptions

Constructors

SearchGecodeOptions

Fields

minimizeVar :: Maybe CGIntVar

setOptions :: (SearchGecodeOptions -> SearchGecodeOptions) -> SearchGecodeSolver ()