Go to the documentation of this file.
75 long long int cx_min = (static_cast<long long int>(
c[
i]) +
76 static_cast<long long int>(
x[
i].
min()));
77 long long int cx_max = (static_cast<long long int>(
c[
i]) +
78 static_cast<long long int>(
x[
i].
max()));
102 if (
b.size() !=
x.size())
110 for (
int i=0;
i<
n;
i++)
130 for (
int i=0;
i<
n;
i++)
133 }
else if (
b[
i].none()) {
136 (home,
b[
i],
x[
i], start+j,
y[j])));
165 for (
int i=0;
i<
n;
i++)
185 for (
int i=0;
i<
n;
i++)
191 (home,
x[
i],
y[j],
c, start+j));
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Post propagator for SetVar x
Exception: Arguments are of different size
Post propagator for SetVar SetOpType SetVar y
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Bounds consistent distinct propagator.
Passing integer variables.
bool assigned(View x, int v)
Whether x is assigned to value v.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
const FloatNum min
Smallest allowed float value.
IntPropLevel
Propagation levels for integer propagators.
static ExecStatus post(Home home, IntView x0, IntView x1, int c0, int c1)
Post if-then-else propagator.
Gecode toplevel namespace
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Exception: Arguments contain same variable multiply
Passing Boolean variables.
Home class for posting propagators
Domain propagation Options: basic versus advanced propagation.
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
const int max
Largest allowed integer value.
Domain consistent distinct propagator.
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
#define GECODE_POST
Check for failure in a constraint post function.
If-then-else domain-consistent propagator.
const int min
Smallest allowed integer value.
void distinct(Home home, const IntVarArgs &x, IntPropLevel ipl)
Post propagator for for all .
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
Exception: Value out of limits
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
Passing integer arguments.
Gecode::IntArgs i({1, 2, 3, 4})
const FloatNum max
Largest allowed float value.
Naive value distinct propagator.