Generated on Fri Mar 20 15:56:31 2015 for Gecode by doxygen 1.6.3
gecode » minimodel

int-rel.cpp File Reference

(Revision: 13227)

#include <gecode/minimodel.hh>

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


Functions

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