84 post(home,iv,y,z,universe)));
124 SetView>::
post(home,iv,y,z,universe)));
145 for (
int i=x.
size();
i--;) {
163 for (
int i=x.
size();
i--;) {
164 iv[
i].idx =
i; iv[
i].view = ConstSetView(home, x[
i]);
168 post(home,iv,y,z,universe)));
184 for (
int i=x.
size();
i--;)
186 element(home,op,xs,y,z,universe);
201 ::
post(home, iv, single,zv)));
208 for (
int i=x.
size();
i--;)
238 element(home, a, pair(home,x,w,y,h), z);
249 element(home, a, pair(home,x,w,y,h), z);
Post propagator for SetVar SetOpType op
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
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
Exception: Unknown operation passed as argument
SetOpType
Common operations for sets.
Propagator for element with disjointness
Propagator for element with union of constant sets
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Exception: Illegal operation passed as argument
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Passing integer variables.
Passing integer arguments.
Propagator for element with intersection
Set view for set variables
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
Propagator for element with union
Post propagator for SetVar x
void fail(void)
Mark space as failed.
Gecode toplevel namespace
#define GECODE_POST
Check for failure in a constraint post function.
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.
Class to map VarArg type to view.
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.