Documentation
class (Show (FDTerm s), Eq (FDTerm s), Term s (FDTerm s)) => FDSolver s whereSource
specific_compile_constraint :: Mixin (FDConstraint s -> Tree s Bool)Source
specific_decompose :: Mixin (Expr (FDTerm s) -> Tree s (FDTerm s))Source
specific_fresh_var :: Mixin (Tree s (FDTerm s))Source
compile_constraint :: FDSolver s => FDConstraint s -> Tree s BoolSource
data Show (FDTerm s) => FDConstraint s Source
Less (Expr (FDTerm s)) (Expr (FDTerm s)) | |
Diff (Expr (FDTerm s)) (Expr (FDTerm s)) | |
Same (Expr (FDTerm s)) (Expr (FDTerm s)) | |
Dom (Expr (FDTerm s)) Integer Integer | |
AllDiff [Expr (FDTerm s)] | |
Sorted [Expr (FDTerm s)] Bool |
Show (FDTerm s) => Show (FDConstraint s) |
(@:) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Integral t, Integral t1, Show (FDTerm s)) => Expr (FDTerm s) -> (t, t1) -> tree ()Source
(@<) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => Expr (FDTerm s) -> Expr (FDTerm s) -> tree ()Source
(@>) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => Expr (FDTerm s) -> Expr (FDTerm s) -> tree ()Source
(@<=) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Eq (FDTerm s), Show (FDTerm s)) => Expr (FDTerm s) -> Expr (FDTerm s) -> tree ()Source
(@>=) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Eq (FDTerm s), Show (FDTerm s)) => Expr (FDTerm s) -> Expr (FDTerm s) -> tree ()Source
(@=) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => Expr (FDTerm s) -> Expr (FDTerm s) -> tree ()Source
(@/=) :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => Expr (FDTerm s) -> Expr (FDTerm s) -> tree ()Source
allDiff :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => [Expr (FDTerm s)] -> tree ()Source
sorted :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => [Expr (FDTerm s)] -> tree ()Source
sSorted :: (FDConstraint s ~ Constraint (TreeSolver tree), MonadTree tree, Show (FDTerm s)) => [Expr (FDTerm s)] -> tree ()Source