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()));
106 if (
b.size() !=
x.size())
137 }
else if (
b[
i].none()) {
140 (home,
b[
i],
x[
i], start+j,
y[j])));
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
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)
int n
Number of negative literals for node type.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
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.
Post propagator for SetVar SetOpType SetVar y
bool same(const VarImpVar< VarImp > &y) const
Test whether variable is the same as y.
bool assigned(View x, int v)
Whether x is assigned to value v.
Exception: Arguments contain same variable multiply
Domain propagation Preferences: prefer speed or memory.
Post propagator for SetVar x
Bounds consistent distinct propagator.
Gecode toplevel namespace
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.
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.