ipl.hpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main author:
* Christian Schulte <schulte@gecode.org>
*
* Copyright:
* Christian Schulte, 2018
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
namespace Gecode {
inline
IntPropLevels::IntPropLevels(IntPropLevel ipl)
: _linear2(ipl), _linear(ipl),
_abs(ipl),
_max2(ipl), _max(ipl), _min2(ipl), _min(ipl),
_mult(ipl), _div(ipl), _mod(ipl),
_sqr(ipl), _sqrt(ipl), _pow(ipl), _nroot(ipl),
_element(ipl),
_ite(ipl) {}
inline IntPropLevel
IntPropLevels::linear2(void) const {
return _linear2;
}
inline IntPropLevels&
IntPropLevels::linear2(IntPropLevel ipl) {
_linear2=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::linear(void) const {
return _linear;
}
inline IntPropLevels&
IntPropLevels::linear(IntPropLevel ipl) {
_linear=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::abs(void) const {
return _abs;
}
inline IntPropLevels&
IntPropLevels::abs(IntPropLevel ipl) {
_abs=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::max2(void) const {
return _max2;
}
inline IntPropLevels&
IntPropLevels::max2(IntPropLevel ipl) {
_max2=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::max(void) const {
return _max;
}
inline IntPropLevels&
IntPropLevels::max(IntPropLevel ipl) {
_max=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::min2(void) const {
return _min2;
}
inline IntPropLevels&
IntPropLevels::min2(IntPropLevel ipl) {
_min2=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::min(void) const {
return _min;
}
inline IntPropLevels&
IntPropLevels::min(IntPropLevel ipl) {
_min=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::mult(void) const {
return _mult;
}
inline IntPropLevels&
IntPropLevels::mult(IntPropLevel ipl) {
_mult=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::div(void) const {
return _div;
}
inline IntPropLevels&
IntPropLevels::div(IntPropLevel ipl) {
_div=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::mod(void) const {
return _mod;
}
inline IntPropLevels&
IntPropLevels::mod(IntPropLevel ipl) {
_mod=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::sqr(void) const {
return _sqr;
}
inline IntPropLevels&
IntPropLevels::sqr(IntPropLevel ipl) {
_sqr=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::sqrt(void) const {
return _sqrt;
}
inline IntPropLevels&
IntPropLevels::sqrt(IntPropLevel ipl) {
_sqrt=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::pow(void) const {
return _pow;
}
inline IntPropLevels&
IntPropLevels::pow(IntPropLevel ipl) {
_pow=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::nroot(void) const {
return _nroot;
}
inline IntPropLevels&
IntPropLevels::nroot(IntPropLevel ipl) {
_nroot=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::element(void) const {
return _element;
}
inline IntPropLevels&
IntPropLevels::element(IntPropLevel ipl) {
_element=ipl; return *this;
}
inline IntPropLevel
IntPropLevels::ite(void) const {
return _ite;
}
inline IntPropLevels&
IntPropLevels::ite(IntPropLevel ipl) {
_ite=ipl; return *this;
}
}
// STATISTICS: minimodel-any
Gecode::IntPropLevels
Class for specifying integer propagation levels used by minimodel.
Definition minimodel.hh:101
Gecode::IntPropLevels::_linear
IntPropLevel _linear
For n-ary linear.
Definition minimodel.hh:104
Gecode::IntPropLevels::div
IntPropLevel div(void) const
Return integer propagation level for division constraints.
Definition ipl.hpp:114
Gecode::IntPropLevels::element
IntPropLevel element(void) const
Return integer propagation level for element constraints.
Definition ipl.hpp:164
Gecode::IntPropLevels::_sqr
IntPropLevel _sqr
For square.
Definition minimodel.hh:113
Gecode::IntPropLevels::mod
IntPropLevel mod(void) const
Return integer propagation level for modulo constraints.
Definition ipl.hpp:122
Gecode::IntPropLevels::linear
IntPropLevel linear(void) const
Return integer propagation level for non-binary linear constraints.
Definition ipl.hpp:55
Gecode::IntPropLevels::max2
IntPropLevel max2(void) const
Return integer propagation level for binary maximum constraints.
Definition ipl.hpp:73
Gecode::IntPropLevels::_mult
IntPropLevel _mult
For multiplication.
Definition minimodel.hh:110
Gecode::IntPropLevels::_mod
IntPropLevel _mod
For modulo.
Definition minimodel.hh:112
Gecode::IntPropLevels::ite
IntPropLevel ite(void) const
Return integer propagation level for if-then-else constraints.
Definition ipl.hpp:173
Gecode::IntPropLevels::mult
IntPropLevel mult(void) const
Return integer propagation level for multiplication constraints.
Definition ipl.hpp:106
Gecode::IntPropLevels::min
IntPropLevel min(void) const
Return integer propagation level for non-binary minimum constraints.
Definition ipl.hpp:97
Gecode::IntPropLevels::_sqrt
IntPropLevel _sqrt
For square root.
Definition minimodel.hh:114
Gecode::IntPropLevels::_ite
IntPropLevel _ite
For if-then-else.
Definition minimodel.hh:118
Gecode::IntPropLevels::nroot
IntPropLevel nroot(void) const
Return integer propagation level for root constraints.
Definition ipl.hpp:155
Gecode::IntPropLevels::abs
IntPropLevel abs(void) const
Return integer propagation level for absolute value constraints.
Definition ipl.hpp:64
Gecode::IntPropLevels::_max
IntPropLevel _max
For n-ary maximum.
Definition minimodel.hh:107
Gecode::IntPropLevels::_nroot
IntPropLevel _nroot
For root.
Definition minimodel.hh:116
Gecode::IntPropLevels::_pow
IntPropLevel _pow
For power.
Definition minimodel.hh:115
Gecode::IntPropLevels::_element
IntPropLevel _element
For element.
Definition minimodel.hh:117
Gecode::IntPropLevels::_div
IntPropLevel _div
For division.
Definition minimodel.hh:111
Gecode::IntPropLevels::_abs
IntPropLevel _abs
For absolute value.
Definition minimodel.hh:105
Gecode::IntPropLevels::sqrt
IntPropLevel sqrt(void) const
Return integer propagation level for square root constraints.
Definition ipl.hpp:139
Gecode::IntPropLevels::IntPropLevels
IntPropLevels(IntPropLevel ipl=IPL_DEF)
Initialize with default propagation level.
Definition ipl.hpp:37
Gecode::IntPropLevels::linear2
IntPropLevel linear2(void) const
Return integer propagation level for binary linear constraints.
Definition ipl.hpp:47
Gecode::IntPropLevels::min2
IntPropLevel min2(void) const
Return integer propagation level for binary minimum constraints.
Definition ipl.hpp:89
Gecode::IntPropLevels::_min2
IntPropLevel _min2
For binary minimum.
Definition minimodel.hh:108
Gecode::IntPropLevels::pow
IntPropLevel pow(void) const
Return integer propagation level for power constraints.
Definition ipl.hpp:147
Gecode::IntPropLevels::_min
IntPropLevel _min
For minimum.
Definition minimodel.hh:109
Gecode::IntPropLevels::_linear2
IntPropLevel _linear2
For binary linear.
Definition minimodel.hh:103
Gecode::IntPropLevels::_max2
IntPropLevel _max2
For binary maximum.
Definition minimodel.hh:106
Gecode::IntPropLevels::max
IntPropLevel max(void) const
Return integer propagation level for non-binary maximum constraints.
Definition ipl.hpp:81
Gecode::IntPropLevels::sqr
IntPropLevel sqr(void) const
Return integer propagation level for square constraints.
Definition ipl.hpp:131
Gecode::IntPropLevel
IntPropLevel
Propagation levels for integer propagators.
Definition int.hh:974
Gecode
Gecode toplevel namespace