Go to the documentation of this file.
69 ::
post(home,xv,off)));
72 ::
post(home,xv,off)));
91 if ((
y.size() !=
n) || (
c.size() !=
n*
n))
96 for (
int i=0;
i<offset;
i++)
98 for (
int i=
n;
i--; ) {
99 for (
int j=0; j<
n; j++)
100 cx[offset+j] =
c[
i*
n+j];
148 ::
post(home,xv,no)));
151 ::
post(home,xv,no)));
156 for (
int i=offset;
i--; )
159 ox[offset +
i] =
x[
i];
165 ::
post(home,xv,off)));
168 ::
post(home,xv,off)));
175 path(home,0,
x,s,e,ipl);
189 if ((
y.size() !=
n) || (
c.size() !=
n*
n))
192 path(home, offset,
x, s, e, ipl);
194 for (
int i=0;
i<offset;
i++)
197 for (
int i=
n;
i--; ) {
198 for (
int j=0; j<
n; j++)
199 cx[offset+j] =
c[
i*
n+j];
218 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
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool same(const VarImpVar< VarImp > &y) const
Test whether variable is the same as y.
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 Preferences: prefer speed or memory.
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.
"Value-consistent" circuit propagator
int n
Number of negative literals for node type.
Passing integer arguments.
Exception: Too few arguments available in argument array