Passing Boolean variables.
Boolean integer variables.
Home class for posting propagators
Boolean view for Boolean variables.
Integer view for integer variables.
Exception: Unknown reification mode passed as argument
Exception: Unknown relation passed as argument
Reification specification.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for x is the largest element of s.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for x is the minimal element of s.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for x is not the largest element of s.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for x is not the minimal element of s.
Reified propagator for maximum element
Propagator for reified minimum element
static ExecStatus post(Home home, const SharedArray< int > &elements, const SharedArray< int > &weights, View x, Gecode::Int::IntView y)
Post propagator for .
Propagator for set equality
Propagator for the negated subset constraint
Reified equality propagator
Set view for set variables
unsigned int cardMin(void) const
Return minimum cardinality.
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
void clause(Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, BoolVar z, IntPropLevel ipl=IPL_DEF)
Post domain consistent propagator for Boolean clause with positive variables x and negative variables...
IntRelType
Relation types for integers.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
@ RM_EQV
Equivalence for reification (default)
const int min
Smallest allowed integer value.
const int max
Largest allowed integer value.
Propagators connecting set and int variables.
void remax(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the maximum of s.
void remin(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the minimum of s.
const unsigned int card
Maximum cardinality of an integer set.
Gecode toplevel namespace
void weights(Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
Post propagator for SetVar SetOpType SetVar SetRelType r
void notMin(Home home, SetVar s, IntVar x)
SharedArray< int > IntSharedArray
Arrays of integers that can be shared among several element constraints.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
void notMax(Home home, SetVar s, IntVar x)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
LinIntExpr cardinality(const SetExpr &)
Cardinality of set expression.
Post propagator for SetVar x