Control.CP.FD.Gecode.Common
- class GTerm t where
- getVarId :: t -> Maybe Int
- getIntValue :: t -> Maybe Integer
- getDefBounds :: t -> (Integer, Integer)
- data GType
- data IntTerm
- data BoolTerm where
- data GConstraint
- = forall t . GTerm t => CDiff t t
- | forall t . GTerm t => CSame t t
- | CRel IntTerm GOperator IntTerm
- | CMult IntTerm IntTerm IntTerm
- | CAbs IntTerm IntTerm
- | CDiv IntTerm IntTerm IntTerm
- | CMod IntTerm IntTerm IntTerm
- | CValue IntTerm Integer
- | CDom IntTerm Integer Integer
- | CLinear [(IntTerm, Integer)] GOperator Integer
- | CAllDiff [IntTerm]
- | CSorted [IntTerm] Bool
- data GOperator
- class (Solver s, Term s IntTerm) => GecodeSolver s where
- setVarImplicit :: IntTerm -> Bool -> s ()
- caching_decompose :: GecodeSolver s => Mixin (Expr (FDTerm s) -> Tree s IntTerm)
- orElse :: Maybe a -> Maybe a -> Maybe a
- linearCompile :: (FDSolver s, Constraint s ~ GConstraint, FDTerm s ~ IntTerm) => Mixin (FDConstraint s -> Tree s Bool)
- basicCompile :: (FDSolver s, Constraint s ~ GConstraint, FDTerm s ~ IntTerm) => Mixin (FDConstraint s -> Tree s Bool)
Documentation
Gecode terms
integer terms
boolean terms
data GConstraint Source
Gecode constraints
Constructors
| forall t . GTerm t => CDiff t t | |
| forall t . GTerm t => CSame t t | |
| CRel IntTerm GOperator IntTerm | |
| CMult IntTerm IntTerm IntTerm | |
| CAbs IntTerm IntTerm | |
| CDiv IntTerm IntTerm IntTerm | |
| CMod IntTerm IntTerm IntTerm | |
| CValue IntTerm Integer | |
| CDom IntTerm Integer Integer | |
| CLinear [(IntTerm, Integer)] GOperator Integer | |
| CAllDiff [IntTerm] | |
| CSorted [IntTerm] Bool |
Instances
class (Solver s, Term s IntTerm) => GecodeSolver s whereSource
Gecode FDSolver instance
Methods
setVarImplicit :: IntTerm -> Bool -> s ()Source
caching_decompose :: GecodeSolver s => Mixin (Expr (FDTerm s) -> Tree s IntTerm)Source
Instances
| GecodeSolver CodegenSolver | CodegenSolver FDSolver instance |
linearCompile :: (FDSolver s, Constraint s ~ GConstraint, FDTerm s ~ IntTerm) => Mixin (FDConstraint s -> Tree s Bool)Source
linear constraint compilation
basicCompile :: (FDSolver s, Constraint s ~ GConstraint, FDTerm s ~ IntTerm) => Mixin (FDConstraint s -> Tree s Bool)Source
basic compilation