Safe Haskell	None

Control.CP.FD.Gecode.Common

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

Associated Types

type GecodeIntVar s :: *Source

type GecodeBoolVar s :: *Source

type GecodeColVar s :: *Source

Methods

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 GecodeIntConst Source

col_regList :: GecodeColConst -> s ()Source

Instances

GecodeSolver RuntimeGecodeSolver
GecodeSolver SearchGecodeSolver
GecodeSolver CodegenGecodeSolver
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => GecodeSolver (GecodeWrappedSolver s)

data GecodeSolver s => GecodeConstraint s Source

Constructors

GCBoolVal (GecodeBoolVar s) GecodeBoolConst
GCBoolEqual (GecodeBoolVar s) (GecodeBoolVar s)
GCIntVal (GecodeIntVar s) GecodeIntConst
GCLinear (GecodeLinear s) GecodeOperator
GCLinearReif (GecodeLinear s) GecodeOperator (GecodeBoolVar s)
GCColEqual (GecodeColVar s) (GecodeColVar s)
GCMult (GecodeIntVar s) (GecodeIntVar s) (GecodeIntVar s)
GCDiv (GecodeIntVar s) (GecodeIntVar s) (GecodeIntVar s)
GCMod (GecodeIntVar s) (GecodeIntVar s) (GecodeIntVar s)
GCAbs (GecodeIntVar s) (GecodeIntVar s)
GCAt (GecodeIntVarOrConst s) (GecodeColVarOrConst s) (GecodeIntVarOrConst s)
GCChannel (GecodeIntVar s) (GecodeBoolVar s)
GCSize (GecodeColVar s) (GecodeIntVarOrConst s)
GCCat (GecodeColVar s) (GecodeColVar s) (GecodeColVar s)
GCSlice (GecodeColVar s) (GecodeColSection s)
GCAnd [GecodeBoolVar s] (GecodeBoolVar s)
GCOr [GecodeBoolVar s] (GecodeBoolVar s)
GCNot (GecodeBoolVar s) (GecodeBoolVar s)
GCEquiv (GecodeBoolVar s) (GecodeBoolVar s) (GecodeBoolVar s)
GCAllDiff Bool (GecodeColVarOrSection s)
GCSorted (GecodeColVarOrSection s) GecodeOperator
GCAll (GecodeIBFn s) (GecodeColVarOrSection s) (Maybe (GecodeBoolVar s))
GCAny (GecodeIBFn s) (GecodeColVarOrSection s) (Maybe (GecodeBoolVar s))
GCAllC (GecodeCBFn s) GecodeListConst (Maybe (GecodeBoolVar s))
GCAnyC (GecodeCBFn s) GecodeListConst (Maybe (GecodeBoolVar s))
GCMap (GecodeIIFn s) (GecodeColVarOrSection s) (GecodeColVar s)
GCFold (GecodeIIIFn s) (GecodeColVarOrSection s) (GecodeIntVar s) (GecodeIntVar s)
GCFoldC (GecodeICIFn s) GecodeIntConst (GecodeIntVar s) (GecodeIntVar s)
GCSum (GecodeColVarOrSection s) (GecodeIntVarOrConst s)
GCCount (GecodeColVar s) (GecodeIntVarOrConst s) GecodeOperator (GecodeIntVarOrConst s)
GCDom (GecodeIntVar s) (GecodeColVarOrConst s) (Maybe (GecodeBoolVar s))
GCCond (GecodeConstraint s) GecodeBoolConst

Instances

(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

Constructors

GOEqual
GODiff
GOLess
GOLessEqual

Instances

Eq GecodeOperator
Ord GecodeOperator
Show GecodeOperator

data GecodeBoolSpecType Source

Constructors

GBSConst
GBSCondConst
GBSVar

Instances

Bounded GecodeBoolSpecType
Enum GecodeBoolSpecType
Eq GecodeBoolSpecType
Ord GecodeBoolSpecType
Show GecodeBoolSpecType

data GecodeIntSpecType Source

Constructors

GISConst
GISLinear
GISVar

Instances

Bounded GecodeIntSpecType
Enum GecodeIntSpecType
Eq GecodeIntSpecType
Ord GecodeIntSpecType
Show GecodeIntSpecType

data GecodeColSpecType Source

Constructors

GCSConst
GCSSection
GCSVar

Instances

Bounded GecodeColSpecType
Enum GecodeColSpecType
Eq GecodeColSpecType
Ord GecodeColSpecType
Show GecodeColSpecType

data GecodeIntSpec s Source

Constructors

GITConst GecodeIntConst
GITLinear (GecodeLinear s)
GITVar (GecodeIntVar s)

Instances

(Eq (GecodeIntVar s), Show (GecodeIntVar s), Ord (GecodeIntVar s)) => Show (GecodeIntSpec s)

data GecodeBoolSpec s Source

Constructors

GBTConst GecodeBoolConst
GBTCondConst GecodeBoolConst GecodeBoolConst
GBTVar (GecodeBoolVar s)

Instances

(Eq (GecodeBoolVar s), Show (GecodeBoolVar s), Ord (GecodeBoolVar s)) => Show (GecodeBoolSpec s)

data GecodeColSpec s Source

Constructors

GCTConst GecodeColConst
GCTSection (GecodeColSection s)
GCTVar (GecodeColVar s)

Instances

(Eq (GecodeColVar s), Show (GecodeColVar s), Ord (GecodeColVar s)) => Show (GecodeColSpec s)

newtype GecodeIBFn s Source

Constructors

GecodeIBFn (GecodeIntVar s -> GecodeBoolVar s -> s ())

Instances

Show (GecodeIBFn s)

newtype GecodeIIFn s Source

Constructors

GecodeIIFn (GecodeIntVar s -> GecodeIntVar s -> s ())

Instances

Show (GecodeIIFn s)

newtype GecodeIIIFn s Source

Constructors

GecodeIIIFn (GecodeIntVar s -> GecodeIntVar s -> GecodeIntVar s -> s ())

Instances

Show (GecodeIIIFn s)

newtype GecodeICIFn s Source

Constructors

GecodeICIFn (GecodeIntVar s -> GecodeIntConst -> GecodeIntVar s -> s ())

Instances

Show (GecodeICIFn s)

newtype GecodeCBFn s Source

Constructors

GecodeCBFn (GecodeIntConst -> GecodeBoolVar s -> s ())

Instances

Show (GecodeCBFn s)

newtype GecodeCIFn s Source

Constructors

GecodeCIFn (GecodeIntConst -> GecodeIntVar s -> s ())

Instances

Show (GecodeCIFn s)

type GecodeIntConst = Expr GecodeIntParam GecodeColParam GecodeBoolParam Source

type GecodeBoolConst = BoolExpr GecodeIntParam GecodeColParam GecodeBoolParam Source

type GecodeColConst = ColExpr GecodeIntParam GecodeColParam GecodeBoolParam Source

type GecodeListConst = (GecodeIntConst, GecodeIntConst -> GecodeIntConst)Source

newtype GecodeIntParam Source

Constructors

GIParam Int

Instances

Eq GecodeIntParam
Ord GecodeIntParam
Show GecodeIntParam
Show (GecodeIntConst -> GecodeIntConst)

newtype GecodeBoolParam Source

Constructors

GBParam Int

Instances

Eq GecodeBoolParam
Ord GecodeBoolParam
Show GecodeBoolParam
Show (GecodeIntConst -> GecodeIntConst)

newtype GecodeColParam Source

Constructors

GCParam Int

Instances

Eq GecodeColParam
Ord GecodeColParam
Show GecodeColParam
Show (GecodeIntConst -> GecodeIntConst)

type GecodeLinear s = Linear (GecodeIntVar s) GecodeIntConst Source

type GecodeColVarOrSection s = Either (GecodeColVar s) (GecodeColSection s)Source

data GecodeWrappedSolver s a Source

Instances

(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => Monad (GecodeWrappedSolver s)
(GecodeSolver s, ~ * (GecodeConstraint s) (Constraint s)) => FDSolver (GecodeWrappedSolver s)
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => Solver (GecodeWrappedSolver s)
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s)) => GecodeSolver (GecodeWrappedSolver s)
(GecodeSolver s, ~ * (Constraint s) (GecodeConstraint s), EnumTerm s t) => EnumTerm (GecodeWrappedSolver s) t
(GecodeSolver s, Term s t, ~ * (Constraint s) (GecodeConstraint s)) => Term (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 -> GecodeIntConst Source

fromConst :: Num a => GecodeIntConst -> aSource

toBoolConst :: Bool -> GecodeBoolConst Source

fromBoolConst :: GecodeBoolConst -> Bool Source

addMeta :: (GecodeSolver s, Constraint s ~ GecodeConstraint s) => Mixin (GecodeConstraint s -> s Bool)Source

procConstraint :: (GecodeSolver t, GecodeSolver s) => GecodeConstraint t -> s ()Source