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++)
134 for (
int i=0; i<
n; i++)
152 for (
int i=0; i<
offset; i++)
154 for (
int i=0; i<
n; i++)
171 path(home,0,
x,s,e,ipl);
185 if ((
y.size() !=
n) || (c.
size() !=
n*
n))
190 for (
int i=0; i<
offset; i++)
193 for (
int i=0; i<
n; i++) {
194 for (
int j=0; j<
n; j++)
220 path(home,c,0,
x,s,e,
z,ipl);
int n
Number of negative literals for node type.
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
"Domain consistent" circuit propagator
"Value-consistent" circuit propagator
Integer view for integer variables.
Converter without offsets.
Converter with fixed offset.
Exception: Too few arguments available in argument array
int offset(void) const
Integer-precision integer scale view.
#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.
void linear(Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c)
Post propagator for .
IntPropLevel
Propagation levels for integer propagators.
@ IPL_DOM
Domain propagation Options: basic versus advanced propagation.
void nonnegative(int n, const char *l)
Check whether n is in range and nonnegative, otherwise throw out of limits with information l.
const int min
Smallest allowed integer value.
const int max
Largest allowed integer value.
Gecode toplevel namespace
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
void element(Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF)
Post domain consistent propagator for .
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
void path(Home home, const IntVarArgs &x, IntVar s, IntVar e, IntPropLevel ipl=IPL_DEF)
Post propagator such that x forms a Hamiltonian path.
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
void circuit(Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF)
Post propagator such that x forms a circuit.
Post propagator for SetVar x