50 for (
int i = c.
size();
i--; )
52 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)));
73 for (
int i = c.
size();
i--; )
77 (Element::post_int<IntView,ConstIntView>(home,c,x0,cx1)));
89 ::
post(home,iv,x0,x1)));
92 ::
post(home,iv,x0,x1)));
102 if (home.
failed())
return;
107 ::
post(home,iv,x0,v1)));
110 ::
post(home,iv,x0,v1)));
119 if (home.
failed())
return;
122 ::
post(home,iv,x0,x1)));
131 if (home.
failed())
return;
135 ::
post(home,iv,x0,v1)));
140 pair(Home home, IntVar
x,
int w, IntVar y,
int h) {
141 IntVar xy(home,0,w*h-1);
154 if (home.
failed())
return;
155 element(home, a, pair(home,x,w,y,h), z, icl);
164 if (home.
failed())
return;
165 element(home, a, pair(home,x,w,y,h), z, icl);
174 if (home.
failed())
return;
175 element(home, a, pair(home,x,w,y,h), z, icl);
184 if (home.
failed())
return;
185 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.
An array of IndexView pairs.
The default consistency for a constraint.
struct Gecode::@512::NNF::@54::@56 a
For atomic nodes.
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.
Bounds consistent element propagator for array of views.
Domain propagation or consistency.