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

lin-expr.icc File Reference

(Revision: 3553)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::MiniModel

Functions

Gecode::MiniModel::LinExpr operator+ (int c, const Gecode::MiniModel::LinExpr &t)
 Construct linear expression as sum of linear expression and integer.
Gecode::MiniModel::LinExpr operator+ (const Gecode::MiniModel::LinExpr &t, int c)
 Construct linear expression as sum of integer and linear expression.
Gecode::MiniModel::LinExpr operator+ (const Gecode::MiniModel::LinExpr &t1, const Gecode::MiniModel::LinExpr &t2)
 Construct linear expression as sum of linear expressions.
Gecode::MiniModel::LinExpr operator- (int c, const Gecode::MiniModel::LinExpr &t)
 Construct linear expression as difference of linear expression and integer.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &t, int c)
 Construct linear expression as difference of integer and linear expression.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &t1, const Gecode::MiniModel::LinExpr &t2)
 Construct linear expression as difference of linear expressions.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &t)
 Construct linear expression as negative of linear expression.
Gecode::MiniModel::LinExpr operator * (int a, const Gecode::IntVar &x)
 Construct linear expression as product of integer coefficient and integer variable.
Gecode::MiniModel::LinExpr operator * (const Gecode::IntVar &x, int a)
 Construct linear expression as product of integer coefficient and integer variable.
Gecode::MiniModel::LinExpr operator * (const Gecode::MiniModel::LinExpr &t, int a)
 Construct linear expression as product of integer coefficient and linear expression.
Gecode::MiniModel::LinExpr operator * (int a, const Gecode::MiniModel::LinExpr &t)
 Construct linear expression as product of integer coefficient and linear expression.
IntVar Gecode::post (Space *home, const IntVar &x, IntConLevel icl=ICL_DEF)
 Post linear expression (special case for variable) and return its value.
IntVar Gecode::post (Space *home, int n, IntConLevel icl=ICL_DEF)
 Post linear expression (special case for constant) and return its value.
IntVar Gecode::post (Space *home, const MiniModel::LinExpr &e, IntConLevel icl=ICL_DEF)
 Post linear expression and return its value.