Generated on Thu Jan 31 2019 20:56:43 for Gecode by doxygen 1.8.15
int-rel.cpp File Reference

(Revision: 13227)

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 

Functions

LinIntRel Gecode::operator== (int l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (int l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (int l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, int r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, int r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, int r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator != (int l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (int l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (int l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const IntVar &l, int r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const BoolVar &l, int r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const LinIntExpr &l, int r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const IntVar &l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const IntVar &l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const BoolVar &l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const BoolVar &l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const IntVar &l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const BoolVar &l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const LinIntExpr &l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const LinIntExpr &l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator != (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator< (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator > (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator >= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...