Gecode::IntPropLevels Class Reference
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. |
Detailed Description
Class for specifying integer propagation levels used by minimodel.
Definition at line 101 of file minimodel.hh.
Constructor & Destructor Documentation
Gecode::IntPropLevels::IntPropLevels | ( | IntPropLevel | ipl = IPL_DEF |
) | [inline] |
Member Function Documentation
IntPropLevel Gecode::IntPropLevels::linear2 | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::linear2 | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::linear | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::linear | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::abs | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::abs | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::max2 | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::max2 | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::max | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::max | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::min2 | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::min2 | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::min | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::min | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::mult | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::mult | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::div | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::div | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::mod | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::mod | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::sqr | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::sqr | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::sqrt | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::sqrt | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::pow | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::pow | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::nroot | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::nroot | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::element | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::element | ( | IntPropLevel | ipl | ) | [inline] |
IntPropLevel Gecode::IntPropLevels::ite | ( | void | ) | const [inline] |
IntPropLevels & Gecode::IntPropLevels::ite | ( | IntPropLevel | ipl | ) | [inline] |
Member Data Documentation
IntPropLevel Gecode::IntPropLevels::_linear2 [protected] |
For binary linear.
Definition at line 103 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_linear [protected] |
For n-ary linear.
Definition at line 104 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_abs [protected] |
For absolute value.
Definition at line 105 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_max2 [protected] |
For binary maximum.
Definition at line 106 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_max [protected] |
For n-ary maximum.
Definition at line 107 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_min2 [protected] |
For binary minimum.
Definition at line 108 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_min [protected] |
For minimum.
Definition at line 109 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_mult [protected] |
For multiplication.
Definition at line 110 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_div [protected] |
For division.
Definition at line 111 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_mod [protected] |
For modulo.
Definition at line 112 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_sqr [protected] |
For square.
Definition at line 113 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_sqrt [protected] |
For square root.
Definition at line 114 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_pow [protected] |
For power.
Definition at line 115 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_nroot [protected] |
For root.
Definition at line 116 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_element [protected] |
For element.
Definition at line 117 of file minimodel.hh.
IntPropLevel Gecode::IntPropLevels::_ite [protected] |
For if-then-else.
Definition at line 118 of file minimodel.hh.
const IntPropLevels Gecode::IntPropLevels::def [static] |
Default propagation levels for all constraints.
Definition at line 197 of file minimodel.hh.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh
- gecode/minimodel/ipl.cpp
- gecode/minimodel/ipl.hpp