Generated on Wed Nov 1 15:04:49 2006 for Gecode by doxygen 1.4.5

lin-rel.icc File Reference

(Revision: 3513)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::MiniModel

Functions

Gecode::MiniModel::LinRel operator== (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator== (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator== (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator!= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator!= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator!= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator< (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator< (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator< (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
void Gecode::post (Space *home, const MiniModel::LinRel &r, IntConLevel icl=ICL_DEF)
 Post linear relation.
void Gecode::post (Space *home, bool r, IntConLevel icl=ICL_DEF)
 Make it work for special integer only-case.