linear.hh File Reference

(Revision: 10188)

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