- Gecode
- IntPropLevels

Class for specifying integer propagation levels used by minimodel. More...
#include <minimodel.hh>
Public Member Functions | |
| IntPropLevels (IntPropLevel ipl=IPL_DEF) | |
| Initialize with default propagation level. More... | |
| IntPropLevel | linear2 (void) const |
| Return integer propagation level for binary linear constraints. More... | |
| IntPropLevels & | linear2 (IntPropLevel ipl) |
| Set integer propagation level for binary linear constraints. More... | |
| IntPropLevel | linear (void) const |
| Return integer propagation level for non-binary linear constraints. More... | |
| IntPropLevels & | linear (IntPropLevel ipl) |
| Set integer propagation level for non-binary linear constraints. More... | |
| IntPropLevel | abs (void) const |
| Return integer propagation level for absolute value constraints. More... | |
| IntPropLevels & | abs (IntPropLevel ipl) |
| Set integer propagation level for absolute value constraints. More... | |
| IntPropLevel | max2 (void) const |
| Return integer propagation level for binary maximum constraints. More... | |
| IntPropLevels & | max2 (IntPropLevel ipl) |
| Set integer propagation level for binary maximum constraints. More... | |
| IntPropLevel | max (void) const |
| Return integer propagation level for non-binary maximum constraints. More... | |
| IntPropLevels & | max (IntPropLevel ipl) |
| Set integer propagation level for non-binary maximum constraints. More... | |
| IntPropLevel | min2 (void) const |
| Return integer propagation level for binary minimum constraints. More... | |
| IntPropLevels & | min2 (IntPropLevel ipl) |
| Set integer propagation level for binary minimum constraints. More... | |
| IntPropLevel | min (void) const |
| Return integer propagation level for non-binary minimum constraints. More... | |
| IntPropLevels & | min (IntPropLevel ipl) |
| Set integer propagation level for non-binary minimum constraints. More... | |
| IntPropLevel | mult (void) const |
| Return integer propagation level for multiplication constraints. More... | |
| IntPropLevels & | mult (IntPropLevel ipl) |
| Set integer propagation level for multiplication constraints. More... | |
| IntPropLevel | div (void) const |
| Return integer propagation level for division constraints. More... | |
| IntPropLevels & | div (IntPropLevel ipl) |
| Set integer propagation level for division constraints. More... | |
| IntPropLevel | mod (void) const |
| Return integer propagation level for modulo constraints. More... | |
| IntPropLevels & | mod (IntPropLevel ipl) |
| Set integer propagation level for modulo constraints. More... | |
| IntPropLevel | sqr (void) const |
| Return integer propagation level for square constraints. More... | |
| IntPropLevels & | sqr (IntPropLevel ipl) |
| Set integer propagation level for square constraints. More... | |
| IntPropLevel | sqrt (void) const |
| Return integer propagation level for square root constraints. More... | |
| IntPropLevels & | sqrt (IntPropLevel ipl) |
| Set integer propagation level for square root constraints. More... | |
| IntPropLevel | pow (void) const |
| Return integer propagation level for power constraints. More... | |
| IntPropLevels & | pow (IntPropLevel ipl) |
| Set integer propagation level for power constraints. More... | |
| IntPropLevel | nroot (void) const |
| Return integer propagation level for root constraints. More... | |
| IntPropLevels & | nroot (IntPropLevel ipl) |
| Set integer propagation level for root constraints. More... | |
| IntPropLevel | element (void) const |
| Return integer propagation level for element constraints. More... | |
| IntPropLevels & | element (IntPropLevel ipl) |
| Set integer propagation level for element constraints. More... | |
| IntPropLevel | ite (void) const |
| Return integer propagation level for if-then-else constraints. More... | |
| IntPropLevels & | ite (IntPropLevel ipl) |
| Set integer propagation level for if-then-else constraints. More... | |
Static Public Attributes | |
| static const IntPropLevels | def |
| Default propagation levels for all constraints. More... | |
Protected Attributes | |
| IntPropLevel | _linear2: _IPL_BITS |
| For binary linear. More... | |
| IntPropLevel | _linear: _IPL_BITS |
| For n-ary linear. More... | |
| IntPropLevel | _abs: _IPL_BITS |
| For absolute value. More... | |
| IntPropLevel | _max2: _IPL_BITS |
| For binary maximum. More... | |
| IntPropLevel | _max: _IPL_BITS |
| For n-ary maximum. More... | |
| IntPropLevel | _min2: _IPL_BITS |
| For binary minimum. More... | |
| IntPropLevel | _min: _IPL_BITS |
| For minimum. More... | |
| IntPropLevel | _mult: _IPL_BITS |
| For multiplication. More... | |
| IntPropLevel | _div: _IPL_BITS |
| For division. More... | |
| IntPropLevel | _mod: _IPL_BITS |
| For modulo. More... | |
| IntPropLevel | _sqr: _IPL_BITS |
| For square. More... | |
| IntPropLevel | _sqrt: _IPL_BITS |
| For square root. More... | |
| IntPropLevel | _pow: _IPL_BITS |
| For power. More... | |
| IntPropLevel | _nroot: _IPL_BITS |
| For root. More... | |
| IntPropLevel | _element: _IPL_BITS |
| For element. More... | |
| IntPropLevel | _ite: _IPL_BITS |
| For if-then-else. More... | |
Class for specifying integer propagation levels used by minimodel.
Definition at line 101 of file minimodel.hh.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
For binary linear.
Definition at line 103 of file minimodel.hh.
|
protected |
For n-ary linear.
Definition at line 104 of file minimodel.hh.
|
protected |
For absolute value.
Definition at line 105 of file minimodel.hh.
|
protected |
For binary maximum.
Definition at line 106 of file minimodel.hh.
|
protected |
For n-ary maximum.
Definition at line 107 of file minimodel.hh.
|
protected |
For binary minimum.
Definition at line 108 of file minimodel.hh.
|
protected |
For minimum.
Definition at line 109 of file minimodel.hh.
|
protected |
For multiplication.
Definition at line 110 of file minimodel.hh.
|
protected |
For division.
Definition at line 111 of file minimodel.hh.
|
protected |
For modulo.
Definition at line 112 of file minimodel.hh.
|
protected |
For square.
Definition at line 113 of file minimodel.hh.
|
protected |
For square root.
Definition at line 114 of file minimodel.hh.
|
protected |
For power.
Definition at line 115 of file minimodel.hh.
|
protected |
For root.
Definition at line 116 of file minimodel.hh.
|
protected |
For element.
Definition at line 117 of file minimodel.hh.
|
protected |
For if-then-else.
Definition at line 118 of file minimodel.hh.
|
static |
Default propagation levels for all constraints.
Definition at line 197 of file minimodel.hh.