49 for (
int i =
c.size();
i--; )
61 for (
int i =
c.size();
i--; )
74 for (
int i =
c.size();
i--; )
78 (Element::post_int<IntView,ConstIntView>(home,
c,x0,cx1)));
91 ::
post(home,iv,x0,x1)));
94 ::
post(home,iv,x0,x1)));
126 ::
post(home,iv,x0,x1)));
145 pair(Home home, IntVar
x,
int w, IntVar
y,
int h) {
146 IntVar xy(home,0,w*h-1);
Domain consistent element propagator for array of views.
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
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
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
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.
Gecode::IntArgs v1(4, Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max)
Post propagator for SetVar SetOpType SetVar y
Domain propagation Preferences: prefer speed or memory.
Post propagator for SetVar x
An array of IdxView pairs.
Gecode toplevel namespace
#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.
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.