- 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
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 |
class (Solver s, Term s IntTerm) => GecodeSolver s whereSource
Gecode FDSolver instance
setVarImplicit :: IntTerm -> Bool -> s ()Source
caching_decompose :: GecodeSolver s => Mixin (Expr (FDTerm s) -> Tree s IntTerm)Source
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