monadiccp-0.1: Package for Constraint Programming

Language.CP.Solver

Documentation

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