181 if (
x.size() !=
y.size())
187 for (
int i=0; i<
x.size(); i++)
239 ::post(home,xv,yv,nz,0)));
368 if (
x.size() !=
y.size())
373 for (
int i=0; i<
x.size(); i++)
union Gecode::@603::NNF::@65 u
Union depending on nodetype t.
int n
Number of negative literals for node type.
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
#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.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode toplevel namespace
void count(Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntPropLevel ipl=IPL_DEF)
Post propagator for .
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Post propagator for SetVar x