monadiccp-0.7.3: Constraint Programming

Control.CP.FD.OvertonFD.OvertonFD

Documentation

data OvertonFD a Source

Instances

Monad OvertonFD
Solver OvertonFD
FDSolver OvertonFD
MonadState FDState OvertonFD
Term OvertonFD FDVar
EnumTerm OvertonFD FDVar

fd_objective :: OvertonFD FDVar Source

fd_domain :: FDVar -> OvertonFD [Int]Source

data FDVar Source

Instances

Eq FDVar
Ord FDVar
Show FDVar
Term OvertonFD FDVar
EnumTerm OvertonFD FDVar

data OConstraint Source

Constructors

OHasValue FDVar Int
OSame FDVar FDVar
ODiff FDVar FDVar
OLess FDVar FDVar
OLessEq FDVar FDVar
OAdd FDVar FDVar FDVar
OSub FDVar FDVar FDVar
OMult FDVar FDVar FDVar
OAbs FDVar FDVar

Instances

Eq OConstraint
Show OConstraint

lookup :: FDVar -> OvertonFD DomainSource