49 for (
int i = c.
size();
i--; )
51 GECODE_ES_FAIL((Element::post_int<IntView,IntView>(home,c,x0,x1)));
61 for (
int i = c.
size();
i--; )
63 GECODE_ES_FAIL((Element::post_int<IntView,BoolView>(home,c,x0,x1)));
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)));
105 if (home.
failed())
return;
110 ::
post(home,iv,x0,v1)));
113 ::
post(home,iv,x0,v1)));
123 if (home.
failed())
return;
126 ::
post(home,iv,x0,x1)));
136 if (home.
failed())
return;
140 ::
post(home,iv,x0,v1)));
145 pair(Home home, IntVar
x,
int w, IntVar y,
int h) {
146 IntVar xy(home,0,w*h-1);
160 if (home.
failed())
return;
161 element(home, a, pair(home,x,w,y,h), z, icl);
171 if (home.
failed())
return;
172 element(home, a, pair(home,x,w,y,h), z, icl);
182 if (home.
failed())
return;
183 element(home, a, pair(home,x,w,y,h), z, icl);
193 if (home.
failed())
return;
194 element(home, a, pair(home,x,w,y,h), z, icl);
Domain consistent element propagator for array of views.
bool failed(void) const
Check whether corresponding space is failed.
IntConLevel
Consistency levels for integer propagators.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
int size(void) const
Return size of array (number of elements)
Exception: Too few arguments available in argument array
Gecode::IntArgs i(4, 1, 2, 3, 4)
int size(void) const
Return number of elements.
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntConLevel)
Post domain consistent propagator for .
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
The default consistency for a constraint.
An array of IdxView pairs.
Gecode toplevel namespace
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.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
Bounds consistent element propagator for array of views.
Domain propagation or consistency.