78 for (
int i = c.
size();
i--; ) {
79 long long int cx_min = (
static_cast<long long int>(c[
i]) +
80 static_cast<long long int>(x[
i].
min()));
81 long long int cx_max = (
static_cast<long long int>(c[
i]) +
82 static_cast<long long int>(x[
i].
max()));
137 }
else if (b[
i].none()) {
140 (home, b[
i], x[i], start+j, y[j])));
170 if (!(x[
i].
assigned() && (x[
i].val() == c))) {
192 }
else if (!(x[
i].
assigned() && (x[
i].val() == c))) {
195 (home, x[
i], y[j], c, start+j));
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Exception: Value out of limits
int size(void) const
Return size of array (number of elements)
const FloatNum max
Largest allowed float value.
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
static ExecStatus post(Home home, IntView x0, IntView x1, int c0, int c1)
Post if-then-else propagator.
Domain consistent distinct propagator.
const int max
Largest allowed integer value.
const int min
Smallest allowed integer value.
Gecode::FloatVal c(-8, 8)
const FloatNum min
Smallest allowed float value.
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool same(void) const
Test whether array contains same variable multiply.
int n
Number of negative literals for node type.
void distinct(Home home, const IntVarArgs &x, IntPropLevel ipl)
Post propagator for for all .
Passing integer variables.
Passing integer arguments.
Passing Boolean variables.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
If-then-else domain-consistent propagator.
IntPropLevel
Propagation levels for integer propagators.
Naive value distinct propagator.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Post propagator for SetVar SetOpType SetVar y
bool assigned(View x, int v)
Whether x is assigned to value v.
Exception: Arguments contain same variable multiply
Domain propagation Options: basic versus advanced propagation.
Post propagator for SetVar x
Bounds consistent distinct propagator.
Gecode toplevel namespace
#define GECODE_POST
Check for failure in a constraint post function.
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.