monadiccp-0.3: Package for Constraint Programming
Control.CP.Solver
class Monad solver => Solver solver whereSource
Associated Types
type Constraint solver :: *Source
type Term solver :: *Source
type Label solver :: *Source
Methods
newvarSM :: solver (Term solver)Source
addSM :: Constraint solver -> solver BoolSource
runSM :: solver a -> aSource
markSM :: solver (Label solver)Source
gotoSM :: Label solver -> solver ()Source
Instances