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. 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...

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:

• gecode/minimodel.hh
• gecode/minimodel/ipl.cpp
• gecode/minimodel/ipl.hpp