monadiccp-0.2: Package for Constraint Programming
Language.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
storeSM :: solver [Constraint solver]Source
runSM :: solver a -> aSource
markSM :: solver (Label solver)Source
gotoSM :: Label solver -> solver ()Source
Instances