#include <gecode/int.hh>
#include <gecode/int/linear/int-bin.hpp>
#include <gecode/int/linear/int-ter.hpp>
#include <gecode/int/linear/int-nary.hpp>
#include <gecode/int/linear/int-dom.hpp>
#include <gecode/int/linear/bool-int.hpp>
#include <gecode/int/linear/bool-view.hpp>
#include <gecode/int/linear/bool-scale.hpp>
#include <gecode/int/linear/post.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Int::Linear::LinBin |
Base-class for binary linear propagators. More... | |
class | Gecode::Int::Linear::ReLinBin |
Base-class for reified binary linear propagators. More... | |
class | Gecode::Int::Linear::EqBin |
Propagator for bounds consistent binary linear equality More... | |
class | Gecode::Int::Linear::ReEqBin |
Propagator for reified bounds consistent binary linear equality More... | |
class | Gecode::Int::Linear::NqBin |
Propagator for bounds consistent binary linear disequality More... | |
class | Gecode::Int::Linear::LqBin |
Propagator for bounds consistent binary linear less or equal More... | |
class | Gecode::Int::Linear::GqBin |
Propagator for bounds consistent binary linear greater or equal More... | |
class | Gecode::Int::Linear::ReLqBin |
Propagator for reified bounds consistent binary linear less or equal More... | |
class | Gecode::Int::Linear::LinTer |
Base-class for ternary linear propagators. More... | |
class | Gecode::Int::Linear::EqTer |
Propagator for bounds consistent ternary linear equality More... | |
class | Gecode::Int::Linear::NqTer |
Propagator for bounds consistent ternary linear disquality More... | |
class | Gecode::Int::Linear::LqTer |
Propagator for bounds consistent ternary linear less or equal More... | |
class | Gecode::Int::Linear::Lin |
Base-class for n-ary linear propagators. More... | |
class | Gecode::Int::Linear::ReLin |
Base-class for reified n-ary linear propagators. More... | |
class | Gecode::Int::Linear::Eq |
Propagator for bounds consistent n-ary linear equality More... | |
class | Gecode::Int::Linear::DomEq |
Propagator for domain consistent n-ary linear equality More... | |
class | Gecode::Int::Linear::ReEq |
Propagator for reified bounds consistent n-ary linear equality More... | |
class | Gecode::Int::Linear::Nq |
Propagator for bounds consistent n-ary linear disequality More... | |
class | Gecode::Int::Linear::Lq |
Propagator for bounds consistent n-ary linear less or equal More... | |
class | Gecode::Int::Linear::ReLq |
Propagator for reified bounds consistent n-ary linear less or equal More... | |
class | Gecode::Int::Linear::LinBoolInt |
Baseclass for integer Boolean sum. More... | |
class | Gecode::Int::Linear::EqBoolInt |
Propagator for integer equal to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::GqBoolInt |
Propagator for integer less or equal to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::NqBoolInt |
Propagator for integer disequal to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::ReLinBoolInt |
Baseclass for reified integer Boolean sum. More... | |
class | Gecode::Int::Linear::BoolNegTraits |
Traits for Boolean negation view. More... | |
class | Gecode::Int::Linear::ReGqBoolInt |
Propagator for reified integer less or equal to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::ReEqBoolInt |
Propagator for reified integer equal to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::LinBoolView |
Base-class for Boolean linear propagators. More... | |
class | Gecode::Int::Linear::EqBoolView |
Propagator for equality to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::NqBoolView |
Propagator for disequality to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::GqBoolView |
Propagator for greater or equal to Boolean sum (cardinality) More... | |
class | Gecode::Int::Linear::ScaleBool |
Coefficient and Boolean view. More... | |
class | Gecode::Int::Linear::ScaleBoolArray |
Array of scale Boolean views. More... | |
class | Gecode::Int::Linear::ScaleBoolArray::ScaleDec |
For sorting array in decreasing order of coefficients. More... | |
class | Gecode::Int::Linear::EmptyScaleBoolArray |
Empty array of scale Boolean views. More... | |
class | Gecode::Int::Linear::LinBoolScale |
Base class for linear Boolean constraints with coefficients. More... | |
class | Gecode::Int::Linear::EqBoolScale |
Propagator for equality to Boolean sum with coefficients More... | |
class | Gecode::Int::Linear::LqBoolScale |
Propagator for inequality to Boolean sum with coefficients More... | |
class | Gecode::Int::Linear::NqBoolScale |
Propagator for disequality to Boolean sum with coefficients More... | |
class | Gecode::Int::Linear::Term |
Class for describing linear term ![]() | |
Namespaces | |
namespace | Gecode::Int::Linear |
Linear propagators | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Int |
Finite domain integers. | |
Functions | |
template<class View > | |
void | Gecode::Int::Linear::estimate (Term< View > *t, int n, int c, int &l, int &u) |
Estimate lower and upper bounds. | |
template<class View > | |
bool | Gecode::Int::Linear::normalize (Term< View > *t, int &n, Term< View > *&t_p, int &n_p, Term< View > *&t_n, int &n_n) |
Normalize linear integer constraints. | |
void | Gecode::Int::Linear::post (Home home, Term< IntView > *t, int n, IntRelType r, int c, IntConLevel=ICL_DEF) |
Post propagator for linear constraint over integers. | |
void | Gecode::Int::Linear::post (Home home, Term< IntView > *t, int n, IntRelType r, int c, BoolView b, IntConLevel=ICL_DEF) |
Post reified propagator for linear constraint. | |
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, int c, IntConLevel=ICL_DEF) |
Post propagator for linear constraint over Booleans. | |
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, int c, BoolView b, IntConLevel=ICL_DEF) |
Post propagator for reified linear constraint over Booleans. | |
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, IntView y, int c=0, IntConLevel=ICL_DEF) |
Post propagator for linear constraint over Booleans. | |
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, IntView y, BoolView b, IntConLevel=ICL_DEF) |
Post propagator for reified linear constraint over Booleans. |