Generated on Mon May 10 06:46:49 2010 for Gecode by doxygen 1.6.3

lin-rel.cpp File Reference

(Revision: 10262)

#include <gecode/minimodel.hh>

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


Functions

LinRel Gecode::operator== (int l, const IntVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (int l, const BoolVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (int l, const LinExpr &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const IntVar &l, int r)
 Construct linear equality relation.
LinRel Gecode::operator== (const BoolVar &l, int r)
 Construct linear equality relation.
LinRel Gecode::operator== (const LinExpr &l, int r)
 Construct linear equality relation.
LinRel Gecode::operator== (const IntVar &l, const IntVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const IntVar &l, const BoolVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const BoolVar &l, const IntVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const BoolVar &l, const BoolVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const IntVar &l, const LinExpr &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const BoolVar &l, const LinExpr &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const LinExpr &l, const IntVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const LinExpr &l, const BoolVar &r)
 Construct linear equality relation.
LinRel Gecode::operator== (const LinExpr &l, const LinExpr &r)
 Construct linear equality relation.
LinRel Gecode::operator!= (int l, const IntVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (int l, const BoolVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (int l, const LinExpr &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const IntVar &l, int r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const BoolVar &l, int r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const LinExpr &l, int r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const IntVar &l, const IntVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const IntVar &l, const BoolVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const BoolVar &l, const IntVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const BoolVar &l, const BoolVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const IntVar &l, const LinExpr &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const BoolVar &l, const LinExpr &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const LinExpr &l, const IntVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const LinExpr &l, const BoolVar &r)
 Construct linear disequality relation.
LinRel Gecode::operator!= (const LinExpr &l, const LinExpr &r)
 Construct linear disequality relation.
LinRel Gecode::operator< (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (int l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const LinExpr &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const IntVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const BoolVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const LinExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const LinExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator< (const LinExpr &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (int l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const LinExpr &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const IntVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const BoolVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const LinExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const LinExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator<= (const LinExpr &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (int l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const LinExpr &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const IntVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const BoolVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const LinExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const LinExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator> (const LinExpr &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (int l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const LinExpr &l, int r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const IntVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const BoolVar &l, const LinExpr &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const LinExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const LinExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel Gecode::operator>= (const LinExpr &l, const LinExpr &r)
 Construct linear inequality relation.
void Gecode::post (Home home, const LinRel &r, IntConLevel icl=ICL_DEF)
 Post linear relation.