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::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
Passing Boolean variables.
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
Home class for posting propagators
Passing integer arguments.
Passing integer variables.
Exception: Arguments contain same variable multiply
Exception: Arguments are of different size
If-then-else domain-consistent propagator.
Bounds consistent distinct propagator.
Domain consistent distinct propagator.
Naive value distinct propagator.
Exception: Value out of limits
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
IntPropLevel
Propagation levels for integer propagators.
@ IPL_DOM
Domain propagation Options: basic versus advanced propagation.
@ IPL_BND
Bounds propagation.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
void check(const FloatVal &n, const char *l)
Check whether float n is a valid number, otherwise throw out of limits exception with information l.
bool assigned(View x, int v)
Whether x is assigned to value v.
Gecode toplevel namespace
void distinct(Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF)
Post propagator for for all .
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
Post propagator for SetVar SetOpType SetVar y
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x
Gecode::FloatVal c(-8, 8)
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
Gecode::IntArgs i({1, 2, 3, 4})