lin-rel.hpp File Reference

(Revision: 9878)

Go to the source code of this file.

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