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