Gecode::IntPropLevels Class Reference

Class for specifying integer propagation levels used by minimodel. More...

#include <gecode/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 109 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 111 of file minimodel.hh.

_linear

IntPropLevel Gecode::IntPropLevels::_linear

protected

For n-ary linear.

Definition at line 112 of file minimodel.hh.

_abs

IntPropLevel Gecode::IntPropLevels::_abs

protected

For absolute value.

Definition at line 113 of file minimodel.hh.

_max2

IntPropLevel Gecode::IntPropLevels::_max2

protected

For binary maximum.

Definition at line 114 of file minimodel.hh.

_max

IntPropLevel Gecode::IntPropLevels::_max

protected

For n-ary maximum.

Definition at line 115 of file minimodel.hh.

_min2

IntPropLevel Gecode::IntPropLevels::_min2

protected

For binary minimum.

Definition at line 116 of file minimodel.hh.

_min

IntPropLevel Gecode::IntPropLevels::_min

protected

For minimum.

Definition at line 117 of file minimodel.hh.

_mult

IntPropLevel Gecode::IntPropLevels::_mult

protected

For multiplication.

Definition at line 118 of file minimodel.hh.

_div

IntPropLevel Gecode::IntPropLevels::_div

protected

For division.

Definition at line 119 of file minimodel.hh.

_mod

IntPropLevel Gecode::IntPropLevels::_mod

protected

For modulo.

Definition at line 120 of file minimodel.hh.

_sqr

IntPropLevel Gecode::IntPropLevels::_sqr

protected

For square.

Definition at line 121 of file minimodel.hh.

_sqrt

IntPropLevel Gecode::IntPropLevels::_sqrt

protected

For square root.

Definition at line 122 of file minimodel.hh.

_pow

IntPropLevel Gecode::IntPropLevels::_pow

protected

For power.

Definition at line 123 of file minimodel.hh.

_nroot

IntPropLevel Gecode::IntPropLevels::_nroot

protected

For root.

Definition at line 124 of file minimodel.hh.

_element

IntPropLevel Gecode::IntPropLevels::_element

protected

For element.

Definition at line 125 of file minimodel.hh.

_ite

IntPropLevel Gecode::IntPropLevels::_ite

protected

For if-then-else.

Definition at line 126 of file minimodel.hh.

def

const IntPropLevels Gecode::IntPropLevels::def

static

Default propagation levels for all constraints.

Definition at line 205 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