Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0

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.
 
IntPropLevelslinear2 (IntPropLevel ipl)
 Set integer propagation level for binary linear constraints.
 
IntPropLevel linear (void) const
 Return integer propagation level for non-binary linear constraints.
 
IntPropLevelslinear (IntPropLevel ipl)
 Set integer propagation level for non-binary linear constraints.
 
IntPropLevel abs (void) const
 Return integer propagation level for absolute value constraints.
 
IntPropLevelsabs (IntPropLevel ipl)
 Set integer propagation level for absolute value constraints.
 
IntPropLevel max2 (void) const
 Return integer propagation level for binary maximum constraints.
 
IntPropLevelsmax2 (IntPropLevel ipl)
 Set integer propagation level for binary maximum constraints.
 
IntPropLevel max (void) const
 Return integer propagation level for non-binary maximum constraints.
 
IntPropLevelsmax (IntPropLevel ipl)
 Set integer propagation level for non-binary maximum constraints.
 
IntPropLevel min2 (void) const
 Return integer propagation level for binary minimum constraints.
 
IntPropLevelsmin2 (IntPropLevel ipl)
 Set integer propagation level for binary minimum constraints.
 
IntPropLevel min (void) const
 Return integer propagation level for non-binary minimum constraints.
 
IntPropLevelsmin (IntPropLevel ipl)
 Set integer propagation level for non-binary minimum constraints.
 
IntPropLevel mult (void) const
 Return integer propagation level for multiplication constraints.
 
IntPropLevelsmult (IntPropLevel ipl)
 Set integer propagation level for multiplication constraints.
 
IntPropLevel div (void) const
 Return integer propagation level for division constraints.
 
IntPropLevelsdiv (IntPropLevel ipl)
 Set integer propagation level for division constraints.
 
IntPropLevel mod (void) const
 Return integer propagation level for modulo constraints.
 
IntPropLevelsmod (IntPropLevel ipl)
 Set integer propagation level for modulo constraints.
 
IntPropLevel sqr (void) const
 Return integer propagation level for square constraints.
 
IntPropLevelssqr (IntPropLevel ipl)
 Set integer propagation level for square constraints.
 
IntPropLevel sqrt (void) const
 Return integer propagation level for square root constraints.
 
IntPropLevelssqrt (IntPropLevel ipl)
 Set integer propagation level for square root constraints.
 
IntPropLevel pow (void) const
 Return integer propagation level for power constraints.
 
IntPropLevelspow (IntPropLevel ipl)
 Set integer propagation level for power constraints.
 
IntPropLevel nroot (void) const
 Return integer propagation level for root constraints.
 
IntPropLevelsnroot (IntPropLevel ipl)
 Set integer propagation level for root constraints.
 
IntPropLevel element (void) const
 Return integer propagation level for element constraints.
 
IntPropLevelselement (IntPropLevel ipl)
 Set integer propagation level for element constraints.
 
IntPropLevel ite (void) const
 Return integer propagation level for if-then-else constraints.
 
IntPropLevelsite (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

◆ IntPropLevels()

Gecode::IntPropLevels::IntPropLevels ( IntPropLevel ipl = IPL_DEF)
inline

Initialize with default propagation level.

Definition at line 37 of file ipl.hpp.

Member Function Documentation

◆ linear2() [1/2]

IntPropLevel Gecode::IntPropLevels::linear2 ( void ) const
inline

Return integer propagation level for binary linear constraints.

Definition at line 47 of file ipl.hpp.

◆ linear2() [2/2]

IntPropLevels & Gecode::IntPropLevels::linear2 ( IntPropLevel ipl)
inline

Set integer propagation level for binary linear constraints.

Definition at line 51 of file ipl.hpp.

◆ linear() [1/2]

IntPropLevel Gecode::IntPropLevels::linear ( void ) const
inline

Return integer propagation level for non-binary linear constraints.

Definition at line 55 of file ipl.hpp.

◆ linear() [2/2]

IntPropLevels & Gecode::IntPropLevels::linear ( IntPropLevel ipl)
inline

Set integer propagation level for non-binary linear constraints.

Definition at line 59 of file ipl.hpp.

◆ abs() [1/2]

IntPropLevel Gecode::IntPropLevels::abs ( void ) const
inline

Return integer propagation level for absolute value constraints.

Definition at line 64 of file ipl.hpp.

◆ abs() [2/2]

IntPropLevels & Gecode::IntPropLevels::abs ( IntPropLevel ipl)
inline

Set integer propagation level for absolute value constraints.

Definition at line 68 of file ipl.hpp.

◆ max2() [1/2]

IntPropLevel Gecode::IntPropLevels::max2 ( void ) const
inline

Return integer propagation level for binary maximum constraints.

Definition at line 73 of file ipl.hpp.

◆ max2() [2/2]

IntPropLevels & Gecode::IntPropLevels::max2 ( IntPropLevel ipl)
inline

Set integer propagation level for binary maximum constraints.

Definition at line 77 of file ipl.hpp.

◆ max() [1/2]

IntPropLevel Gecode::IntPropLevels::max ( void ) const
inline

Return integer propagation level for non-binary maximum constraints.

Definition at line 81 of file ipl.hpp.

◆ max() [2/2]

IntPropLevels & Gecode::IntPropLevels::max ( IntPropLevel ipl)
inline

Set integer propagation level for non-binary maximum constraints.

Definition at line 85 of file ipl.hpp.

◆ min2() [1/2]

IntPropLevel Gecode::IntPropLevels::min2 ( void ) const
inline

Return integer propagation level for binary minimum constraints.

Definition at line 89 of file ipl.hpp.

◆ min2() [2/2]

IntPropLevels & Gecode::IntPropLevels::min2 ( IntPropLevel ipl)
inline

Set integer propagation level for binary minimum constraints.

Definition at line 93 of file ipl.hpp.

◆ min() [1/2]

IntPropLevel Gecode::IntPropLevels::min ( void ) const
inline

Return integer propagation level for non-binary minimum constraints.

Definition at line 97 of file ipl.hpp.

◆ min() [2/2]

IntPropLevels & Gecode::IntPropLevels::min ( IntPropLevel ipl)
inline

Set integer propagation level for non-binary minimum constraints.

Definition at line 101 of file ipl.hpp.

◆ mult() [1/2]

IntPropLevel Gecode::IntPropLevels::mult ( void ) const
inline

Return integer propagation level for multiplication constraints.

Definition at line 106 of file ipl.hpp.

◆ mult() [2/2]

IntPropLevels & Gecode::IntPropLevels::mult ( IntPropLevel ipl)
inline

Set integer propagation level for multiplication constraints.

Definition at line 110 of file ipl.hpp.

◆ div() [1/2]

IntPropLevel Gecode::IntPropLevels::div ( void ) const
inline

Return integer propagation level for division constraints.

Definition at line 114 of file ipl.hpp.

◆ div() [2/2]

IntPropLevels & Gecode::IntPropLevels::div ( IntPropLevel ipl)
inline

Set integer propagation level for division constraints.

Definition at line 118 of file ipl.hpp.

◆ mod() [1/2]

IntPropLevel Gecode::IntPropLevels::mod ( void ) const
inline

Return integer propagation level for modulo constraints.

Definition at line 122 of file ipl.hpp.

◆ mod() [2/2]

IntPropLevels & Gecode::IntPropLevels::mod ( IntPropLevel ipl)
inline

Set integer propagation level for modulo constraints.

Definition at line 126 of file ipl.hpp.

◆ sqr() [1/2]

IntPropLevel Gecode::IntPropLevels::sqr ( void ) const
inline

Return integer propagation level for square constraints.

Definition at line 131 of file ipl.hpp.

◆ sqr() [2/2]

IntPropLevels & Gecode::IntPropLevels::sqr ( IntPropLevel ipl)
inline

Set integer propagation level for square constraints.

Definition at line 135 of file ipl.hpp.

◆ sqrt() [1/2]

IntPropLevel Gecode::IntPropLevels::sqrt ( void ) const
inline

Return integer propagation level for square root constraints.

Definition at line 139 of file ipl.hpp.

◆ sqrt() [2/2]

IntPropLevels & Gecode::IntPropLevels::sqrt ( IntPropLevel ipl)
inline

Set integer propagation level for square root constraints.

Definition at line 143 of file ipl.hpp.

◆ pow() [1/2]

IntPropLevel Gecode::IntPropLevels::pow ( void ) const
inline

Return integer propagation level for power constraints.

Definition at line 147 of file ipl.hpp.

◆ pow() [2/2]

IntPropLevels & Gecode::IntPropLevels::pow ( IntPropLevel ipl)
inline

Set integer propagation level for power constraints.

Definition at line 151 of file ipl.hpp.

◆ nroot() [1/2]

IntPropLevel Gecode::IntPropLevels::nroot ( void ) const
inline

Return integer propagation level for root constraints.

Definition at line 155 of file ipl.hpp.

◆ nroot() [2/2]

IntPropLevels & Gecode::IntPropLevels::nroot ( IntPropLevel ipl)
inline

Set integer propagation level for root constraints.

Definition at line 159 of file ipl.hpp.

◆ element() [1/2]

IntPropLevel Gecode::IntPropLevels::element ( void ) const
inline

Return integer propagation level for element constraints.

Definition at line 164 of file ipl.hpp.

◆ element() [2/2]

IntPropLevels & Gecode::IntPropLevels::element ( IntPropLevel ipl)
inline

Set integer propagation level for element constraints.

Definition at line 168 of file ipl.hpp.

◆ ite() [1/2]

IntPropLevel Gecode::IntPropLevels::ite ( void ) const
inline

Return integer propagation level for if-then-else constraints.

Definition at line 173 of file ipl.hpp.

◆ ite() [2/2]

IntPropLevels & Gecode::IntPropLevels::ite ( IntPropLevel ipl)
inline

Set integer propagation level for if-then-else constraints.

Definition at line 177 of file ipl.hpp.

Member Data Documentation

◆ _linear2

IntPropLevel Gecode::IntPropLevels::_linear2
protected

For binary linear.

Definition at line 103 of file minimodel.hh.

◆ _linear

IntPropLevel Gecode::IntPropLevels::_linear
protected

For n-ary linear.

Definition at line 104 of file minimodel.hh.

◆ _abs

IntPropLevel Gecode::IntPropLevels::_abs
protected

For absolute value.

Definition at line 105 of file minimodel.hh.

◆ _max2

IntPropLevel Gecode::IntPropLevels::_max2
protected

For binary maximum.

Definition at line 106 of file minimodel.hh.

◆ _max

IntPropLevel Gecode::IntPropLevels::_max
protected

For n-ary maximum.

Definition at line 107 of file minimodel.hh.

◆ _min2

IntPropLevel Gecode::IntPropLevels::_min2
protected

For binary minimum.

Definition at line 108 of file minimodel.hh.

◆ _min

IntPropLevel Gecode::IntPropLevels::_min
protected

For minimum.

Definition at line 109 of file minimodel.hh.

◆ _mult

IntPropLevel Gecode::IntPropLevels::_mult
protected

For multiplication.

Definition at line 110 of file minimodel.hh.

◆ _div

IntPropLevel Gecode::IntPropLevels::_div
protected

For division.

Definition at line 111 of file minimodel.hh.

◆ _mod

IntPropLevel Gecode::IntPropLevels::_mod
protected

For modulo.

Definition at line 112 of file minimodel.hh.

◆ _sqr

IntPropLevel Gecode::IntPropLevels::_sqr
protected

For square.

Definition at line 113 of file minimodel.hh.

◆ _sqrt

IntPropLevel Gecode::IntPropLevels::_sqrt
protected

For square root.

Definition at line 114 of file minimodel.hh.

◆ _pow

IntPropLevel Gecode::IntPropLevels::_pow
protected

For power.

Definition at line 115 of file minimodel.hh.

◆ _nroot

IntPropLevel Gecode::IntPropLevels::_nroot
protected

For root.

Definition at line 116 of file minimodel.hh.

◆ _element

IntPropLevel Gecode::IntPropLevels::_element
protected

For element.

Definition at line 117 of file minimodel.hh.

◆ _ite

IntPropLevel Gecode::IntPropLevels::_ite
protected

For if-then-else.

Definition at line 118 of file minimodel.hh.

◆ def

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: