47 GECODE_ES_FAIL((Element::post_int<IntView,IntView>(home,c,x0,x1)));
59 GECODE_ES_FAIL((Element::post_int<IntView,BoolView>(home,c,x0,x1)));
74 (Element::post_int<IntView,ConstIntView>(home,c,x0,cx1)));
87 ::
post(home,iv,x0,x1)));
90 ::
post(home,iv,x0,x1)));
106 ::
post(home,iv,x0,v1)));
109 ::
post(home,iv,x0,v1)));
122 ::
post(home,iv,x0,x1)));
136 ::
post(home,iv,x0,v1)));
157 element(home, a, pair(home,x,w,y,h), z, ipl);
168 element(home, a, pair(home,x,w,y,h), z, ipl);
179 element(home, a, pair(home,x,w,y,h), z, ipl);
190 element(home, a, pair(home,x,w,y,h), z, ipl);
Domain consistent element propagator for array of views.
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
int size(void) const
Return size of array (number of elements)
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
Exception: Too few arguments available in argument array
Gecode::IntArgs i({1, 2, 3, 4})
int size(void) const
Return number of elements.
Simple propagation levels.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
IntPropLevel
Propagation levels for integer propagators.
Post propagator for SetVar SetOpType SetVar y
Domain propagation Options: basic versus advanced propagation.
Post propagator for SetVar x
void fail(void)
Mark space as failed.
An array of IdxView pairs.
Gecode toplevel namespace
Gecode::IntArgs v1({Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max})
#define GECODE_POST
Check for failure in a constraint post function.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Shared array with arbitrary number of elements.
Bounds consistent element propagator for array of views.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntPropLevel)
Post domain consistent propagator for .
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.