lin-rel.icc File Reference

(Revision: 6311)

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::MiniModel
Functions
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator== (int l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear equality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator== (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, int r)
	Construct linear equality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator== (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear equality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator!= (int l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear disequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator!= (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, int r)
	Construct linear disequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator!= (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear disequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator< (int l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator< (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator< (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator<= (int l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator<= (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator<= (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator> (int l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator> (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator> (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator>= (int l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator>= (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::IntVar >	operator>= (const Gecode::MiniModel::LinExpr< Gecode::IntVar > &l, const Gecode::MiniModel::LinExpr< Gecode::IntVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator== (int l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear equality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator== (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, int r)
	Construct linear equality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator== (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear equality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator!= (int l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear disequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator!= (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, int r)
	Construct linear disequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator!= (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear disequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator< (int l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator< (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator< (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator<= (int l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator<= (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator<= (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator> (int l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator> (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator> (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator>= (int l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator>= (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, int r)
	Construct linear inequality relation.
Gecode::MiniModel::LinRel < Gecode::BoolVar >	operator>= (const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &l, const Gecode::MiniModel::LinExpr< Gecode::BoolVar > &r)
	Construct linear inequality relation.
template<class Var>
void	Gecode::post (Space *home, const MiniModel::LinRel< Var > &r, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Post linear relation.
void	Gecode::post (Space *home, bool r, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Make it work for special integer only-case.