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. | |
IntPropLevel | linear2 (void) const |
Return integer propagation level for binary linear constraints. | |
IntPropLevels & | linear2 (IntPropLevel ipl) |
Set integer propagation level for binary linear constraints. | |
IntPropLevel | linear (void) const |
Return integer propagation level for non-binary linear constraints. | |
IntPropLevels & | linear (IntPropLevel ipl) |
Set integer propagation level for non-binary linear constraints. | |
IntPropLevel | abs (void) const |
Return integer propagation level for absolute value constraints. | |
IntPropLevels & | abs (IntPropLevel ipl) |
Set integer propagation level for absolute value constraints. | |
IntPropLevel | max2 (void) const |
Return integer propagation level for binary maximum constraints. | |
IntPropLevels & | max2 (IntPropLevel ipl) |
Set integer propagation level for binary maximum constraints. | |
IntPropLevel | max (void) const |
Return integer propagation level for non-binary maximum constraints. | |
IntPropLevels & | max (IntPropLevel ipl) |
Set integer propagation level for non-binary maximum constraints. | |
IntPropLevel | min2 (void) const |
Return integer propagation level for binary minimum constraints. | |
IntPropLevels & | min2 (IntPropLevel ipl) |
Set integer propagation level for binary minimum constraints. | |
IntPropLevel | min (void) const |
Return integer propagation level for non-binary minimum constraints. | |
IntPropLevels & | min (IntPropLevel ipl) |
Set integer propagation level for non-binary minimum constraints. | |
IntPropLevel | mult (void) const |
Return integer propagation level for multiplication constraints. | |
IntPropLevels & | mult (IntPropLevel ipl) |
Set integer propagation level for multiplication constraints. | |
IntPropLevel | div (void) const |
Return integer propagation level for division constraints. | |
IntPropLevels & | div (IntPropLevel ipl) |
Set integer propagation level for division constraints. | |
IntPropLevel | mod (void) const |
Return integer propagation level for modulo constraints. | |
IntPropLevels & | mod (IntPropLevel ipl) |
Set integer propagation level for modulo constraints. | |
IntPropLevel | sqr (void) const |
Return integer propagation level for square constraints. | |
IntPropLevels & | sqr (IntPropLevel ipl) |
Set integer propagation level for square constraints. | |
IntPropLevel | sqrt (void) const |
Return integer propagation level for square root constraints. | |
IntPropLevels & | sqrt (IntPropLevel ipl) |
Set integer propagation level for square root constraints. | |
IntPropLevel | pow (void) const |
Return integer propagation level for power constraints. | |
IntPropLevels & | pow (IntPropLevel ipl) |
Set integer propagation level for power constraints. | |
IntPropLevel | nroot (void) const |
Return integer propagation level for root constraints. | |
IntPropLevels & | nroot (IntPropLevel ipl) |
Set integer propagation level for root constraints. | |
IntPropLevel | element (void) const |
Return integer propagation level for element constraints. | |
IntPropLevels & | element (IntPropLevel ipl) |
Set integer propagation level for element constraints. | |
IntPropLevel | ite (void) const |
Return integer propagation level for if-then-else constraints. | |
IntPropLevels & | ite (IntPropLevel ipl) |
Set integer propagation level for if-then-else constraints. | |
Static Public Attributes | |
static const IntPropLevels | def |
Default propagation levels for all constraints. | |
Protected Attributes | |
IntPropLevel | _linear2: _IPL_BITS |
For binary linear. | |
IntPropLevel | _linear: _IPL_BITS |
For n-ary linear. | |
IntPropLevel | _abs: _IPL_BITS |
For absolute value. | |
IntPropLevel | _max2: _IPL_BITS |
For binary maximum. | |
IntPropLevel | _max: _IPL_BITS |
For n-ary maximum. | |
IntPropLevel | _min2: _IPL_BITS |
For binary minimum. | |
IntPropLevel | _min: _IPL_BITS |
For minimum. | |
IntPropLevel | _mult: _IPL_BITS |
For multiplication. | |
IntPropLevel | _div: _IPL_BITS |
For division. | |
IntPropLevel | _mod: _IPL_BITS |
For modulo. | |
IntPropLevel | _sqr: _IPL_BITS |
For square. | |
IntPropLevel | _sqrt: _IPL_BITS |
For square root. | |
IntPropLevel | _pow: _IPL_BITS |
For power. | |
IntPropLevel | _nroot: _IPL_BITS |
For root. | |
IntPropLevel | _element: _IPL_BITS |
For element. | |
IntPropLevel | _ite: _IPL_BITS |
For if-then-else. | |
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.