69 _abs=ipl;
return *
this;
78 _max2=ipl;
return *
this;
86 _max=ipl;
return *
this;
94 _min2=ipl;
return *
this;
102 _min=ipl;
return *
this;
111 _mult=ipl;
return *
this;
119 _div=ipl;
return *
this;
127 _mod=ipl;
return *
this;
136 _sqr=ipl;
return *
this;
144 _sqrt=ipl;
return *
this;
152 _pow=ipl;
return *
this;
178 _ite=ipl;
return *
this;
Class for specifying integer propagation levels used by minimodel.
IntPropLevel _linear
For n-ary linear.
IntPropLevel div(void) const
Return integer propagation level for division constraints.
IntPropLevel element(void) const
Return integer propagation level for element constraints.
IntPropLevel _sqr
For square.
IntPropLevel mod(void) const
Return integer propagation level for modulo constraints.
IntPropLevel linear(void) const
Return integer propagation level for non-binary linear constraints.
IntPropLevel max2(void) const
Return integer propagation level for binary maximum constraints.
IntPropLevel _mult
For multiplication.
IntPropLevel _mod
For modulo.
IntPropLevel ite(void) const
Return integer propagation level for if-then-else constraints.
IntPropLevel mult(void) const
Return integer propagation level for multiplication constraints.
IntPropLevel min(void) const
Return integer propagation level for non-binary minimum constraints.
IntPropLevel _sqrt
For square root.
IntPropLevel _ite
For if-then-else.
IntPropLevel nroot(void) const
Return integer propagation level for root constraints.
IntPropLevel abs(void) const
Return integer propagation level for absolute value constraints.
IntPropLevel _max
For n-ary maximum.
IntPropLevel _nroot
For root.
IntPropLevel _pow
For power.
IntPropLevel _element
For element.
IntPropLevel _div
For division.
IntPropLevel _abs
For absolute value.
IntPropLevel sqrt(void) const
Return integer propagation level for square root constraints.
IntPropLevels(IntPropLevel ipl=IPL_DEF)
Initialize with default propagation level.
IntPropLevel linear2(void) const
Return integer propagation level for binary linear constraints.
IntPropLevel min2(void) const
Return integer propagation level for binary minimum constraints.
IntPropLevel _min2
For binary minimum.
IntPropLevel pow(void) const
Return integer propagation level for power constraints.
IntPropLevel _min
For minimum.
IntPropLevel _linear2
For binary linear.
IntPropLevel _max2
For binary maximum.
IntPropLevel max(void) const
Return integer propagation level for non-binary maximum constraints.
IntPropLevel sqr(void) const
Return integer propagation level for square constraints.
IntPropLevel
Propagation levels for integer propagators.
Gecode toplevel namespace