105namespace Gecode {
namespace Set {
namespace Int {
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
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.
Propagator for maximum element
Propagator for minimum element
Propagator for not maximum element
Propagator for not minimum element
Reified propagator for maximum element
Propagator for reified minimum element
Propagator for weight of a set
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.
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)
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