54 ::
post(home,xv,
y,m)));
68 ::
post(home,xv,
y,m)));
74 ::
post(home,xv,
y,m)));
113 ::
post(home,xv,
y,m)));
181 if (
x.size() !=
y.size())
187 for (
int i=0;
i<
x.size();
i++)
194 ::
post(home,xy,zero,m)));
201 ::
post(home,xy,zero,
z,0)));
208 ::
post(home,xy,zero,m)));
214 ::
post(home,xy,zero,m)));
232 ::
post(home,xv,yv,
z,0)));
239 ::
post(home,xv,yv,nz,0)));
244 ::
post(home,xv,yv,
z,-1)));
248 ::
post(home,xv,yv,
z,0)));
252 ::
post(home,xv,yv,
z,1)));
256 ::
post(home,xv,yv,
z,0)));
283 ::
post(home,xv,
y,nz,0)));
340 ::
post(home,xv,
y,nz,0)));
368 if (
x.size() !=
y.size())
373 for (
int i=0;
i<
x.size();
i++)
387 ::
post(home,xy,
u,nz,0)));
union Gecode::@602::NNF::@65 u
Union depending on nodetype t.
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
Passing integer arguments.
Passing integer variables.
Exception: Arguments are of different size
Propagator for counting views (equal integer to number of equal views)
Propagator for counting views (equal to number of equal views)
Propagator for counting views (greater or equal integer to number of equal views)
Propagator for counting views (greater or equal to number of equal views)
Propagator for counting views (less or equal integer to number of equal views)
Propagator for counting views (less or equal to number of equal views)
Integer view for integer variables.
Binary disequality propagator.
Exception: Unknown relation passed as argument
void count(Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntPropLevel)
Post 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.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
IntRelType
Relation types for integers.
IntPropLevel
Propagation levels for integer propagators.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
@ 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})