monadiccp-0.7.3: Constraint Programming

Control.CP.FD.Gecode.Common

Documentation

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 

data GecodeColSpec s Source

Constructors

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

newtype GecodeIBFn s Source

Constructors

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

Instances

newtype GecodeIIFn s Source

Constructors

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

Instances

newtype GecodeIIIFn s Source

Constructors

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

Instances

newtype GecodeICIFn s Source

Constructors

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

Instances

newtype GecodeCBFn s Source

Constructors

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

Instances

newtype GecodeCIFn s Source

Constructors

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

Instances

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