monadiccp-0.6: Constraint Programming



class Monad solver => Solver solver whereSource

Associated Types

type Constraint solver :: *Source

the constraints

type Label solver :: *Source

the labels


add :: Constraint solver -> solver BoolSource

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

run :: solver a -> aSource

run a computation

mark :: solver (Label solver)Source

mark the current state, and return its label

goto :: Label solver -> solver ()Source

go to the state with given label


Solver Prolog 
Solver CodegenSolver

Helper functions

Gecode Solver instance declaration

Solver OvertonFD 
HTerm t => Solver (Herbrand t)

Solver instance

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

WriterT decoration of a solver useful for producing statistics during solving

(Solver s, HTerm t) => Solver (HerbrandT t s) 

class Solver solver => Term solver term whereSource

Associated Types

type Help solver term Source


newvar :: solver termSource

produce a fresh constraint variable

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


Term Prolog PrologTerm 
Term CodegenSolver BoolTerm 
Term CodegenSolver IntTerm

CodegenSolver terms

Term OvertonFD FDVar 
HTerm t => Term (Herbrand t) t 
(t ~ Expr (FDTerm s), FDSolver s) => Term (FDWrapper s) t 
(Monoid w, Term s t) => Term (WriterT w s) t 
(HTerm t, Solver s, Term s st) => Term (HerbrandT t s) (R st) 
(HTerm t, Solver s) => Term (HerbrandT t s) (L t)