Go to the documentation of this file.
53 ::
post(home,s,xsingle)));
65 ::
post(home,xsingle,sv)));
105 namespace Gecode {
namespace Set {
namespace Int {
147 ::
post(home,s,xs,
r.var())));
152 ::
post(home,s,xs,
r.var())));
157 ::
post(home,s,xs,
r.var())));
246 ::
post(home,s,
x,
r.var())));
250 ::
post(home,s,
x,
r.var())));
254 ::
post(home,s,
x,
r.var())));
278 ::
post(home,s,
x,
r.var())));
282 ::
post(home,s,
x,
r.var())));
286 ::
post(home,s,
x,
r.var())));
Exception: Unknown reification mode passed as argument
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
void remax(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the maximum of s.
Post propagator for SetVar x
IntRelType
Relation types for integers.
Post propagator for SetVar SetOpType SetVar y
Inverse implication for reification.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Propagator for weight of a set
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void remin(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the minimum of s.
Implication for reification.
Propagator for set equality
void notMin(Home home, SetVar s, IntVar x)
Boolean view for Boolean variables.
Gecode toplevel namespace
unsigned int cardMin(void) const
Return minimum cardinality.
const unsigned int card
Maximum cardinality of an integer set.
Propagator for reified minimum element
Reification specification.
Passing Boolean variables.
Equivalence for reification (default)
Home class for posting propagators
Post propagator for SetVar SetOpType SetVar SetRelType r
Boolean integer variables.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Reified equality propagator
LinIntExpr cardinality(const SetExpr &e)
Cardinality of set expression.
const int max
Largest allowed integer value.
Propagator for not maximum element
void weights(Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
void notMax(Home home, SetVar s, IntVar x)
Propagator for maximum element
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Set view for set variables
#define GECODE_POST
Check for failure in a constraint post function.
Integer view for integer variables.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
const int min
Smallest allowed integer value.
Reified propagator for maximum element
void clause(Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntPropLevel)
Post domain consistent propagator for Boolean clause with positive variables x and negative variables...
Exception: Unknown relation passed as argument
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode::FloatVal c(-8, 8)
Propagator for not minimum element
Propagator for the negated subset constraint
Shared array with arbitrary number of elements.
int n
Number of negative literals for node type.
Propagator for minimum element
int p
Number of positive literals for node type.