Safe Haskell | None |
---|
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
GecodeSolver CodegenGecodeSolver | |
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => GecodeSolver (GecodeWrappedSolver s) |
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
newtype GecodeBoolParam Source
newtype GecodeColParam Source
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
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => Monad (GecodeWrappedSolver s) | |
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => Solver (GecodeWrappedSolver s) | |
(GecodeSolver s, ~ * (GecodeConstraint s) (Constraint s)) => FDSolver (GecodeWrappedSolver s) | |
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => GecodeSolver (GecodeWrappedSolver s) | |
(GecodeSolver s, Term s t, ~ * (Constraint s) (GecodeConstraint s)) => Term (GecodeWrappedSolver s) t | |
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s), EnumTerm s t) => EnumTerm (GecodeWrappedSolver s) t |
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