Gecode::IntPropLevels Class Reference

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

#include <minimodel.hh>

List of all members.

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]

Initialize with default propagation level.

Definition at line 37 of file ipl.hpp.

---

Member Function Documentation

IntPropLevel Gecode::IntPropLevels::linear2

(

void

)

const [inline]

Return integer propagation level for binary linear constraints.

Definition at line 47 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::linear2

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for binary linear constraints.

Definition at line 51 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::linear

(

void

)

const [inline]

Return integer propagation level for non-binary linear constraints.

Definition at line 55 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::linear

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for non-binary linear constraints.

Definition at line 59 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::abs

(

void

)

const [inline]

Return integer propagation level for absolute value constraints.

Definition at line 64 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::abs

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for absolute value constraints.

Definition at line 68 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::max2

(

void

)

const [inline]

Return integer propagation level for binary maximum constraints.

Definition at line 73 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::max2

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for binary maximum constraints.

Definition at line 77 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::max

(

void

)

const [inline]

Return integer propagation level for non-binary maximum constraints.

Definition at line 81 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::max

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for non-binary maximum constraints.

Definition at line 85 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::min2

(

void

)

const [inline]

Return integer propagation level for binary minimum constraints.

Definition at line 89 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::min2

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for binary minimum constraints.

Definition at line 93 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::min

(

void

)

const [inline]

Return integer propagation level for non-binary minimum constraints.

Definition at line 97 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::min

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for non-binary minimum constraints.

Definition at line 101 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::mult

(

void

)

const [inline]

Return integer propagation level for multiplication constraints.

Definition at line 106 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::mult

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for multiplication constraints.

Definition at line 110 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::div

(

void

)

const [inline]

Return integer propagation level for division constraints.

Definition at line 114 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::div

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for division constraints.

Definition at line 118 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::mod

(

void

)

const [inline]

Return integer propagation level for modulo constraints.

Definition at line 122 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::mod

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for modulo constraints.

Definition at line 126 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::sqr

(

void

)

const [inline]

Return integer propagation level for square constraints.

Definition at line 131 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::sqr

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for square constraints.

Definition at line 135 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::sqrt

(

void

)

const [inline]

Return integer propagation level for square root constraints.

Definition at line 139 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::sqrt

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for square root constraints.

Definition at line 143 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::pow

(

void

)

const [inline]

Return integer propagation level for power constraints.

Definition at line 147 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::pow

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for power constraints.

Definition at line 151 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::nroot

(

void

)

const [inline]

Return integer propagation level for root constraints.

Definition at line 155 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::nroot

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for root constraints.

Definition at line 159 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::element

(

void

)

const [inline]

Return integer propagation level for element constraints.

Definition at line 164 of file ipl.hpp.

IntPropLevels & Gecode::IntPropLevels::element

(

IntPropLevel

ipl

)

[inline]

Set integer propagation level for element constraints.

Definition at line 168 of file ipl.hpp.

IntPropLevel Gecode::IntPropLevels::ite

(

void

)

const [inline]

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

Definition at line 173 of file ipl.hpp.

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

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