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)));
87 ::
post(home,iv,x0,x1)));
90 ::
post(home,iv,x0,x1)));
122 ::
post(home,iv,x0,x1)));
141 pair(Home home, IntVar
x,
int w, IntVar y,
int h) {
142 IntVar xy(home,0,w*h-1);
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@602::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
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
Post propagator for SetVar SetOpType SetVar y
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#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.
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode::IntArgs i({1, 2, 3, 4})
Gecode::IntArgs v1({Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max})