monadiccp-0.7.6: Constraint Programming

Safe Haskell	None

Control.Search.Constraints

Documentation

clvar :: VarId -> ConstraintExpr Source

cvar :: String -> ConstraintExpr Source

cvars :: String -> Integer -> ConstraintExpr Source

cbvars :: String -> Integer -> ConstraintExpr Source

cval :: Integer -> ConstraintExpr Source

cop :: ConstraintExpr -> (Value -> Value -> Constraint) -> ConstraintExpr -> ConstraintGen Source

ctrue :: ConstraintGen Source

cfalse :: ConstraintGen Source

cexprStatVal :: ConstraintExpr -> Stat Source

cexprStatMed :: ConstraintExpr -> Stat Source

cexprStatMin :: ConstraintExpr -> Stat Source

cexprStatMax :: ConstraintExpr -> Stat Source

data ConstraintExpr Source

Constructors

ConstraintExpr (forall m. VarInfoM m => m IValue) Bool [String]

data ConstraintGen Source

Constructors

ConstraintGen (forall m. VarInfoM m => Info -> m Constraint) [String]