Go to the documentation of this file.
69 for (
int i=
x.size();
i--; ) {
74 for (
int i=
x.size();
i--; ) {
79 for (
int i=
x.size();
i--; ) {
84 for (
int i=
x.size();
i--; ) {
89 for (
int i=
x.size();
i--; ) {
94 for (
int i=
x.size();
i--; ) {
140 for (
int i=
x.size();
i--; )
150 for (
int i=
x.size();
i--; ) {
155 for (
int i=
x.size();
i--; ) {
160 for (
int i=
x.size();
i--; ) {
165 for (
int i=
x.size();
i--; ) {
170 for (
int i=
x.size();
i--; ) {
191 ::
post(home,x0,x1,
r.var())));
195 ::
post(home,x0,x1,
r.var())));
199 ::
post(home,x0,x1,
r.var())));
207 ::
post(home,x0,x1,
r.var())));
211 ::
post(home,x0,x1,
r.var())));
215 ::
post(home,x0,x1,
r.var())));
228 ::
post(home,x0,x1,
n)));
232 ::
post(home,x0,x1,
n)));
236 ::
post(home,x0,x1,
n)));
244 ::
post(home,x0,x1,
n)));
248 ::
post(home,x0,x1,
n)));
252 ::
post(home,x0,x1,
n)));
265 ::
post(home,x0,x1,
r.var())));
269 ::
post(home,x0,x1,
r.var())));
273 ::
post(home,x0,x1,
r.var())));
286 ::
post(home,x0,x1,
n)));
290 ::
post(home,x0,x1,
n)));
294 ::
post(home,x0,x1,
n)));
436 if ((irt !=
IRT_NQ) && (
x.size() < 2))
470 for (
int i=
x.size();
i--; )
471 y[
i] =
x[
x.size()-1-
i];
474 for (
int i=
x.size()-1;
i--; )
480 for (
int i=
x.size();
i--; )
481 y[
i] =
x[
x.size()-1-
i];
501 ::
post(home,yv,xv,
true)));
508 ::
post(home,xv,yv,
true)));
515 ::
post(home,yv,xv,
false)));
522 ::
post(home,xv,yv,
false)));
526 if (
x.size() !=
y.size()) {
529 for (
int i=
x.size();
i--; ) {
534 for (
int i=
x.size();
i--; ) {
543 ::
post(home,xv,yv)));
554 ViewArray<Int::ConstIntView>
555 viewarray(Space& home,
const IntArgs&
x) {
556 ViewArray<Int::ConstIntView> xv(home,
x.size());
557 for (
int i =
x.size();
i--; ) {
559 xv[
i] = Int::ConstIntView(
x[
i]);
578 ::
post(home,yv,xv,
true)));
586 ::
post(home,xv,yv,
true)));
594 ::
post(home,yv,xv,
false)));
602 ::
post(home,xv,yv,
false)));
606 if (
x.size() !=
y.size()) {
609 for (
int i=
x.size();
i--; )
618 ::
post(home,xv,yv)));
629 rel(home,
y,irt,
x,ipl);
Exception: Unknown reification mode passed as argument
Lexical ordering propagator.
Post propagator for SetVar x
IntRelType
Relation types for integers.
Post propagator for SetVar SetOpType SetVar y
n-ary less and less or equal propagator
Less or equal propagator.
@ RM_PMI
Inverse implication for reification.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Reified less or equal with integer propagator.
@ IRT_GQ
Greater or equal ( )
Reified domain consistent equality with integer propagator.
Passing integer variables.
@ RM_IMP
Implication for reification.
Gecode::IntArgs i(4, 1, 2, 3, 4)
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
IntPropLevel
Propagation levels for integer propagators.
n-ary domain consistent equality propagator
Binary disequality propagator.
Gecode toplevel namespace
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Binary domain consistent equality propagator.
Reified binary bounds consistent equality propagator.
Reification specification.
@ RM_EQV
Equivalence for reification (default)
Home class for posting propagators
Nary disequality propagator.
Reified less or equal propagator.
Post propagator for SetVar SetOpType SetVar SetRelType r
@ IPL_DOM
Domain propagation Preferences: prefer speed or memory.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
Lexical disequality propagator.
@ IPL_BND
Bounds propagation.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
void fail(void)
Mark space as failed.
@ IPL_DEF
Simple propagation levels.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
#define GECODE_POST
Check for failure in a constraint post function.
Reified binary domain consistent equality propagator.
Integer view for integer variables.
Reified bounds consistent equality with integer propagator.
Binary bounds consistent equality propagator.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Exception: Unknown relation passed as argument
n-ary bounds consistent equality propagator
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int n
Number of negative literals for node type.
Passing integer arguments.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
@ IRT_LQ
Less or equal ( )
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.