Go to the documentation of this file.
65 ::
post(home,xv,off)));
68 ::
post(home,xv,off)));
87 if ((
y.size() !=
n) || (
c.size() !=
n*
n))
92 for (
int i=0;
i<offset;
i++)
94 for (
int i=0;
i<
n;
i++) {
95 for (
int j=0; j<
n; j++)
96 cx[offset+j] =
c[
i*
n+j];
134 for (
int i=0;
i<
n;
i++)
144 ::
post(home,xv,no)));
147 ::
post(home,xv,no)));
152 for (
int i=0;
i<offset;
i++)
154 for (
int i=0;
i<
n;
i++)
155 ox[offset +
i] =
x[
i];
161 ::
post(home,xv,off)));
164 ::
post(home,xv,off)));
171 path(home,0,
x,s,e,ipl);
185 if ((
y.size() !=
n) || (
c.size() !=
n*
n))
188 path(home, offset,
x, s, e, ipl);
190 for (
int i=0;
i<offset;
i++)
193 for (
int i=0;
i<
n;
i++) {
194 for (
int j=0; j<
n; j++)
195 cx[offset+j] =
c[
i*
n+j];
214 path(home,
c, offset,
x, s, e,
y,
z, ipl);
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.
Converter with fixed offset.
Passing integer variables.
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntPropLevel)
Post domain consistent propagator for .
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
IntPropLevel
Propagation levels for integer propagators.
Gecode toplevel namespace
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Exception: Arguments contain same variable multiply
Converter without offsets.
Home class for posting propagators
@ IPL_DOM
Domain propagation Options: basic versus advanced propagation.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
void nonnegative(int n, const char *l)
Check whether n is in range and nonnegative, otherwise throw out of limits with information l.
void circuit(Home home, int offset, const IntVarArgs &x, IntPropLevel ipl)
Post propagator such that x forms a circuit.
const int max
Largest allowed integer value.
"Domain consistent" circuit propagator
void linear(Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c)
Post propagator for .
#define GECODE_POST
Check for failure in a constraint post function.
Integer view for integer variables.
void path(Home home, int offset, const IntVarArgs &x, IntVar s, IntVar e, IntPropLevel ipl)
Post propagator such that x forms a Hamiltonian path.
const int min
Smallest allowed integer value.
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
"Value-consistent" circuit propagator
int n
Number of negative literals for node type.
Passing integer arguments.
Gecode::IntArgs i({1, 2, 3, 4})
Exception: Too few arguments available in argument array