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