Control.CP.Solver

Documentation

class Monad solver => Solver solver where

Associated Types

type Constraint solver :: *

the constraints

type Label solver :: *

the labels

Methods

add :: Constraint solver -> solver Bool

add a constraint to the current state, and return whether the resulting state is consistent

run :: solver a -> a

run a computation

mark :: solver (Label solver)

mark the current state, and return its label

markn :: Int -> solver (Label solver)

mark the current state as discontinued, yet return a label that is usable n times

goto :: Label solver -> solver ()

go to the state with given label

Instances

Solver DummySolver

Solver OvertonFD

Solver CodegenGecodeSolver

FDSolver s => Solver (FDInstance s)

(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => Solver (GecodeWrappedSolver s)

(Monoid w, Solver s) => Solver (WriterT w s)

WriterT decoration of a solver useful for producing statistics during solving

class Solver solver => Term solver term where

Associated Types

type Help solver term

Methods

newvar :: solver term

produce a fresh constraint variable

help :: solver () -> term -> Help solver term

Instances

ModelTermType t => Term DummySolver t

Term OvertonFD FDVar

Term CodegenGecodeSolver BoolVar

Term CodegenGecodeSolver IntVar

FDSolver s => Term (FDInstance s) ModelCol

FDSolver s => Term (FDInstance s) ModelBool

FDSolver s => Term (FDInstance s) ModelInt

(GecodeSolver s, Term s t, ~ * (Constraint s) (GecodeConstraint s)) => Term (GecodeWrappedSolver s) t

(Monoid w, Term s t) => Term (WriterT w s) t