45 for (
int i=0;
i<
c.size();
i++)
57 for (
int i=0;
i<
c.size();
i++)
70 for (
int i=0;
i<
c.size();
i++)
74 (Element::post_int<IntView,ConstIntView>(home,
c,x0,cx1)));
141 pair(Home home, IntVar
x,
int w, IntVar
y,
int h) {
142 IntVar xy(home,0,w*h-1);
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Passing Boolean variables.
Boolean integer variables.
Home class for posting propagators
Passing integer variables.
Exception: Arguments are of different size
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
Bounds consistent element propagator for array of views.
Domain consistent element propagator for array of views.
An array of IdxView pairs.
Exception: Too few arguments available in argument array
#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_DEF
Simple propagation levels.
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.
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
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
@ ES_OK
Execution is okay.
Post propagator for SetVar x
Gecode::IntArgs i({1, 2, 3, 4})
Gecode::IntArgs v1({Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max})