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

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