Documentation
data FD_Constraint whereSource
FD_Diff :: FD_Term -> FD_Term -> FD_Constraint | |
FD_Same :: FD_Term -> FD_Term -> FD_Constraint | |
FD_Less :: FD_Term -> FD_Term -> FD_Constraint | |
FD_LT :: FD_Term -> Int -> FD_Constraint | |
FD_GT :: FD_Term -> Int -> FD_Constraint | |
FD_HasValue :: FD_Term -> Int -> FD_Constraint | |
FD_Eq :: (ToExpr a, ToExpr b) => a -> b -> FD_Constraint | |
FD_NEq :: (ToExpr a, ToExpr b) => a -> b -> FD_Constraint | |
FD_AllDiff :: [FD_Term] -> FD_Constraint | |
FD_Dom :: FD_Term -> (Int, Int) -> FD_Constraint |
(#<) :: (To_FD_Term a, To_FD_Term b) => a -> b -> FD BoolSource
class To_FD_Term a whereSource
to_fd_term :: a -> FD FD_TermSource
allDifferent :: [FDVar] -> FD ()Source
addArithmeticConstraint :: (ToExpr a, ToExpr b) => (Domain -> Domain -> Domain) -> (Domain -> Domain -> Domain) -> (Domain -> Domain -> Domain) -> a -> b -> ExprSource
getDomainPlus :: Domain -> Domain -> DomainSource
getDomainMinus :: Domain -> Domain -> DomainSource
getDomainMult :: Domain -> Domain -> DomainSource
getDomainDiv :: Domain -> Domain -> DomainSource