Generated on Mon Nov 30 23:53:40 2009 for Gecode by doxygen 1.6.1

lin-expr.hpp File Reference

(Revision: 9878)

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace.


Functions

LinExpr< IntVar > Gecode::operator+ (int, const IntVar &)
 Construct linear expression as sum of variable and integer.
LinExpr< IntVar > Gecode::operator+ (int, const LinExpr< IntVar > &)
 Construct linear expression as sum of linear expression and integer.
LinExpr< IntVar > Gecode::operator+ (const IntVar &, int)
 Construct linear expression as sum of integer and linear expression.
LinExpr< IntVar > Gecode::operator+ (const LinExpr< IntVar > &, int)
 Construct linear expression as sum of integer and variable.
LinExpr< IntVar > Gecode::operator+ (const IntVar &, const IntVar &)
 Construct linear expression as sum of variables.
LinExpr< IntVar > Gecode::operator+ (const IntVar &, const LinExpr< IntVar > &)
 Construct linear expression as sum of variable and linear expression.
LinExpr< IntVar > Gecode::operator+ (const LinExpr< IntVar > &, const IntVar &)
 Construct linear expression as sum of linear expression and variable.
LinExpr< IntVar > Gecode::operator+ (const LinExpr< IntVar > &, const LinExpr< IntVar > &)
 Construct linear expression as sum of linear expressions.
LinExpr< IntVar > Gecode::operator- (int, const IntVar &)
 Construct linear expression as sum of variable and integer.
LinExpr< IntVar > Gecode::operator- (int, const LinExpr< IntVar > &)
 Construct linear expression as sum of linear expression and integer.
LinExpr< IntVar > Gecode::operator- (const IntVar &, int)
 Construct linear expression as sum of integer and linear expression.
LinExpr< IntVar > Gecode::operator- (const LinExpr< IntVar > &, int)
 Construct linear expression as sum of integer and variable.
LinExpr< IntVar > Gecode::operator- (const IntVar &, const IntVar &)
 Construct linear expression as sum of variables.
LinExpr< IntVar > Gecode::operator- (const IntVar &, const LinExpr< IntVar > &)
 Construct linear expression as sum of variable and linear expression.
LinExpr< IntVar > Gecode::operator- (const LinExpr< IntVar > &, const IntVar &)
 Construct linear expression as sum of linear expression and variable.
LinExpr< IntVar > Gecode::operator- (const LinExpr< IntVar > &, const LinExpr< IntVar > &)
 Construct linear expression as sum of linear expressions.
LinExpr< IntVar > Gecode::operator- (const IntVar &)
 Construct linear expression as negative of variable.
LinExpr< IntVar > Gecode::operator- (const LinExpr< IntVar > &)
 Construct linear expression as negative of linear expression.
LinExpr< IntVar > Gecode::operator* (int, const IntVar &)
 Construct linear expression as product of integer coefficient and integer variable.
LinExpr< IntVar > Gecode::operator* (const IntVar &, int)
 Construct linear expression as product of integer coefficient and integer variable.
LinExpr< IntVar > Gecode::operator* (const LinExpr< IntVar > &, int)
 Construct linear expression as product of integer coefficient and linear expression.
LinExpr< IntVar > Gecode::operator* (int, const LinExpr< IntVar > &)
 Construct linear expression as product of integer coefficient and linear expression.
LinExpr< BoolVar > Gecode::operator+ (int, const BoolVar &)
 Construct linear expression as sum of variable and integer.
LinExpr< BoolVar > Gecode::operator+ (int, const LinExpr< BoolVar > &)
 Construct linear expression as sum of linear expression and integer.
LinExpr< BoolVar > Gecode::operator+ (const BoolVar &, int)
 Construct linear expression as sum of integer and linear expression.
LinExpr< BoolVar > Gecode::operator+ (const LinExpr< BoolVar > &, int)
 Construct linear expression as sum of integer and variable.
LinExpr< BoolVar > Gecode::operator+ (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of variables.
LinExpr< BoolVar > Gecode::operator+ (const BoolVar &, const LinExpr< BoolVar > &)
 Construct linear expression as sum of variable and linear expression.
LinExpr< BoolVar > Gecode::operator+ (const LinExpr< BoolVar > &, const BoolVar &)
 Construct linear expression as sum of linear expression and variable.
LinExpr< BoolVar > Gecode::operator+ (const LinExpr< BoolVar > &, const LinExpr< BoolVar > &)
 Construct linear expression as sum of linear expressions.
LinExpr< BoolVar > Gecode::operator- (int, const BoolVar &)
 Construct linear expression as sum of variable and integer.
LinExpr< BoolVar > Gecode::operator- (int, const LinExpr< BoolVar > &)
 Construct linear expression as sum of linear expression and integer.
LinExpr< BoolVar > Gecode::operator- (const BoolVar &, int)
 Construct linear expression as sum of integer and linear expression.
LinExpr< BoolVar > Gecode::operator- (const LinExpr< BoolVar > &, int)
 Construct linear expression as sum of integer and variable.
LinExpr< BoolVar > Gecode::operator- (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of variables.
LinExpr< BoolVar > Gecode::operator- (const BoolVar &, const LinExpr< BoolVar > &)
 Construct linear expression as sum of variable and linear expression.
LinExpr< BoolVar > Gecode::operator- (const LinExpr< BoolVar > &, const BoolVar &)
 Construct linear expression as sum of linear expression and variable.
LinExpr< BoolVar > Gecode::operator- (const LinExpr< BoolVar > &, const LinExpr< BoolVar > &)
 Construct linear expression as sum of linear expressions.
LinExpr< BoolVar > Gecode::operator- (const BoolVar &)
 Construct linear expression as negative of variable.
LinExpr< BoolVar > Gecode::operator- (const LinExpr< BoolVar > &)
 Construct linear expression as negative of linear expression.
LinExpr< BoolVar > Gecode::operator* (int, const BoolVar &)
 Construct linear expression as product of integer coefficient and integer variable.
LinExpr< BoolVar > Gecode::operator* (const BoolVar &, int)
 Construct linear expression as product of integer coefficient and integer variable.
LinExpr< BoolVar > Gecode::operator* (const LinExpr< BoolVar > &, int)
 Construct linear expression as product of integer coefficient and linear expression.
LinExpr< BoolVar > Gecode::operator* (int, const LinExpr< BoolVar > &)
 Construct linear expression as product of integer coefficient and linear expression.
IntVar Gecode::post (Home home, const IntVar &x, IntConLevel icl=ICL_DEF)
 Post linear expression (special case for integer variable) and return its value.
IntVar Gecode::post (Home home, int n, IntConLevel icl=ICL_DEF)
 Post linear expression (special case for constant) and return its value.
template<class Var >
IntVar Gecode::post (Home home, const LinExpr< Var > &e, IntConLevel icl=ICL_DEF)
 Post linear expression and return its value.