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. |