monadiccp-0.6.1: Constraint Programming

Control.CP.FD.OvertonFD.Sugar

Documentation

newBound :: NewBound OvertonFD Source

newBoundBis :: NewBound OvertonFD Source

restart :: (Queue q, Solver solver, CTransformer c, CForSolver c ~ solver, Elem q ~ (Label solver, Tree solver (CForResult c), CTreeState c)) => q -> [c] -> Tree solver (CForResult c) -> (Int, [CForResult c])Source

restartOpt :: (Queue q, CTransformer c, CForSolver c ~ OvertonFD, Elem q ~ (Label OvertonFD, Tree OvertonFD (CForResult c), CTreeState c)) => q -> [c] -> Tree OvertonFD (CForResult c) -> (Int, [CForResult c])Source