Documentation
class (Solver s, Term s (GecodeIntVar s), Term s (GecodeBoolVar s), Eq (GecodeIntVar s), Eq (GecodeBoolVar s), Eq (GecodeColVar s), Ord (GecodeIntVar s), Ord (GecodeBoolVar s), Ord (GecodeColVar s), Show (GecodeIntVar s), Show (GecodeBoolVar s), Show (GecodeColVar s)) => GecodeSolver s whereSource
newInt_at :: GecodeColVar s -> GecodeIntConst -> s (GecodeIntVar s)Source
newInt_cond :: GecodeBoolConst -> GecodeIntVar s -> GecodeIntVar s -> s (GecodeIntVar s)Source
newCol_list :: [GecodeIntVar s] -> s (GecodeColVar s)Source
newCol_size :: GecodeIntConst -> s (GecodeColVar s)Source
newCol_cat :: GecodeColVar s -> GecodeColVar s -> s (GecodeColVar s)Source
splitIntDomain :: GecodeIntVar s -> s ([GecodeConstraint s], Bool)Source
splitBoolDomain :: GecodeBoolVar s -> s ([GecodeConstraint s], Bool)Source
col_getSize :: GecodeColVar s -> s GecodeIntConstSource
col_regList :: GecodeColConst -> s ()Source
data GecodeSolver s => GecodeConstraint s Source
(GecodeSolver s, Eq (GecodeIntVar s), Eq (GecodeBoolVar s), Eq (GecodeColVar s), Ord (GecodeIntVar s), Ord (GecodeBoolVar s), Ord (GecodeColVar s), Show (GecodeIntVar s), Show (GecodeBoolVar s), Show (GecodeColVar s)) => Show (GecodeConstraint s) |
data GecodeOperator Source
data GecodeBoolSpecType Source
data GecodeIntSpecType Source
data GecodeColSpecType Source
data GecodeIntSpec s Source
(Eq (GecodeIntVar s), Show (GecodeIntVar s), Ord (GecodeIntVar s)) => Show (GecodeIntSpec s) |
data GecodeBoolSpec s Source
(Eq (GecodeBoolVar s), Show (GecodeBoolVar s), Ord (GecodeBoolVar s)) => Show (GecodeBoolSpec s) |
data GecodeColSpec s Source
GCTConst GecodeColConst | |
GCTSection (GecodeColSection s) | |
GCTVar (GecodeColVar s) |
(Eq (GecodeColVar s), Show (GecodeColVar s), Ord (GecodeColVar s)) => Show (GecodeColSpec s) |
newtype GecodeIBFn s Source
GecodeIBFn (GecodeIntVar s -> GecodeBoolVar s -> s ()) |
Show (GecodeIBFn s) |
newtype GecodeIIFn s Source
GecodeIIFn (GecodeIntVar s -> GecodeIntVar s -> s ()) |
Show (GecodeIIFn s) |
newtype GecodeIIIFn s Source
GecodeIIIFn (GecodeIntVar s -> GecodeIntVar s -> GecodeIntVar s -> s ()) |
Show (GecodeIIIFn s) |
newtype GecodeICIFn s Source
GecodeICIFn (GecodeIntVar s -> GecodeIntConst -> GecodeIntVar s -> s ()) |
Show (GecodeICIFn s) |
newtype GecodeCBFn s Source
GecodeCBFn (GecodeIntConst -> GecodeBoolVar s -> s ()) |
Show (GecodeCBFn s) |
newtype GecodeCIFn s Source
GecodeCIFn (GecodeIntConst -> GecodeIntVar s -> s ()) |
Show (GecodeCIFn s) |
type GecodeListConst = (GecodeIntConst, GecodeIntConst -> GecodeIntConst)Source
newtype GecodeIntParam Source
Eq GecodeIntParam | |
Ord GecodeIntParam | |
Show GecodeIntParam | |
Procable GecodeListConst | |
Procable GecodeColConst | |
Procable GecodeBoolConst | |
Procable GecodeIntConst | |
Show (GecodeIntConst -> GecodeIntConst) | |
Procable (a, GecodeListConst) |
newtype GecodeBoolParam Source
Eq GecodeBoolParam | |
Ord GecodeBoolParam | |
Show GecodeBoolParam | |
Procable GecodeListConst | |
Procable GecodeColConst | |
Procable GecodeBoolConst | |
Procable GecodeIntConst | |
Show (GecodeIntConst -> GecodeIntConst) | |
Procable (a, GecodeListConst) |
newtype GecodeColParam Source
Eq GecodeColParam | |
Ord GecodeColParam | |
Show GecodeColParam | |
Procable GecodeListConst | |
Procable GecodeColConst | |
Procable GecodeBoolConst | |
Procable GecodeIntConst | |
Show (GecodeIntConst -> GecodeIntConst) | |
Procable (a, GecodeListConst) |
type GecodeLinear s = Linear (GecodeIntVar s) GecodeIntConstSource
type GecodeColVarOrSection s = Either (GecodeColVar s) (GecodeColSection s)Source
data (GecodeSolver s, Constraint s ~ GecodeConstraint s) => GecodeWrappedSolver s a Source
(Constraint s ~ GecodeConstraint s, GecodeSolver s) => Monad (GecodeWrappedSolver s) | |
(Constraint s ~ GecodeConstraint s, GecodeSolver s) => Solver (GecodeWrappedSolver s) | |
(GecodeConstraint s ~ Constraint s, GecodeSolver s) => FDSolver (GecodeWrappedSolver s) | |
(Constraint s ~ GecodeConstraint s, GecodeSolver s) => GecodeSolver (GecodeWrappedSolver s) | |
(Constraint s ~ GecodeConstraint s, GecodeSolver s, Term s t) => Term (GecodeWrappedSolver s) t | |
(Constraint s ~ GecodeConstraint s, GecodeSolver s, EnumTerm s t) => EnumTerm (GecodeWrappedSolver s) t | |
CompilableModel (Tree (FDInstance (GecodeWrappedSolver CodegenGecodeSolver)) ModelCol) | |
CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) ModelCol) | |
CompilableModel (FDInstance (GecodeWrappedSolver CodegenGecodeSolver) (SearchSpec ModelInt ModelCol ModelBool)) |
liftGC :: (GecodeSolver s, Constraint s ~ GecodeConstraint s) => s a -> GecodeWrappedSolver s aSource
unliftGC :: (GecodeSolver s, Constraint s ~ GecodeConstraint s) => GecodeWrappedSolver s a -> s aSource
toConst :: Integral a => a -> GecodeIntConstSource
fromConst :: Num a => GecodeIntConst -> aSource
addMeta :: (GecodeSolver s, Constraint s ~ GecodeConstraint s) => Mixin (GecodeConstraint s -> s Bool)Source
procConstraint :: (GecodeSolver t, GecodeSolver s) => GecodeConstraint t -> s ()Source