73 for (
int i = c.
size();
i--; ) {
74 long long int cx_min = (
static_cast<long long int>(c[
i]) +
75 static_cast<long long int>(x[
i].
min()));
76 long long int cx_max = (
static_cast<long long int>(c[
i]) +
77 static_cast<long long int>(x[
i].
max()));
bool failed(void) const
Check whether corresponding space is failed.
IntConLevel
Consistency levels for integer propagators.
int size(void) const
Return size of array (number of elements)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Domain consistent distinct propagator.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
Passing integer variables.
Passing integer arguments.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Naive value distinct propagator.
Node * x
Pointer to corresponding Boolean expression node.
Exception: Arguments contain same variable multiply
void distinct(Home home, const IntVarArgs &x, IntConLevel icl)
Post propagator for for all .
Bounds propagation or consistency.
Bounds consistent distinct propagator.
Gecode toplevel namespace
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Domain propagation or consistency.
bool same(const Space &home) const
Test whether array contains same variable multiply.