Go to the documentation of this file.
54 for (
int i=0;
i<
x.size();
i++) {
77 for (
int i=0;
i<
x.size();
i++) {
101 for (
int i=0;
i<
x.size();
i++) {
200 for (
int i=0;
i<
x.size();
i++) {
215 for (
int i=0;
i<
x.size();
i++) {
219 else if (
d[
i].zero())
Exception: Unknown reification mode passed as argument
Post propagator for SetVar x
Exception: Arguments are of different size
bool zero(void) const
Test whether view is assigned to be zero.
int min(int i) const
Return minimum of range at position i.
Inverse implication for reification.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Reified range dom-propagator.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int max(int i) const
Return maximum of range at position i.
Reified domain consistent equality with integer propagator.
Passing integer variables.
Reified domain dom-propagator.
Implication for reification.
bool one(void) const
Test whether view is assigned to be one.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
IntPropLevel
Propagation levels for integer propagators.
Range iterator for integer sets.
unsigned int size(void) const
Return size (cardinality) of set.
Boolean view for Boolean variables.
Gecode toplevel namespace
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
Reification specification.
Passing Boolean variables.
Equivalence for reification (default)
Home class for posting propagators
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
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.
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
#define GECODE_POST
Check for failure in a constraint post function.
Integer view for integer variables.
Range iterator for integer variable views
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.