Generated on Mon Jul 6 18:09:24 2009 for Gecode by doxygen 1.5.9

Linear expressions and relations
[Direct modeling support]


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.
LinRel< IntVar > Gecode::operator== (int l, const IntVar &r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (int l, const LinExpr< IntVar > &r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (const IntVar &l, int r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (const LinExpr< IntVar > &l, int r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (const IntVar &l, const IntVar &r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (const IntVar &l, const LinExpr< IntVar > &r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (const LinExpr< IntVar > &l, const IntVar &r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator== (const LinExpr< IntVar > &l, const LinExpr< IntVar > &r)
 Construct linear equality relation.
LinRel< IntVar > Gecode::operator!= (int l, const IntVar &r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (int l, const LinExpr< IntVar > &r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (const IntVar &l, int r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (const LinExpr< IntVar > &l, int r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (const IntVar &l, const IntVar &r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (const IntVar &l, const LinExpr< IntVar > &r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (const LinExpr< IntVar > &l, const IntVar &r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator!= (const LinExpr< IntVar > &l, const LinExpr< IntVar > &r)
 Construct linear disequality relation.
LinRel< IntVar > Gecode::operator< (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (int l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (const LinExpr< IntVar > &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (const IntVar &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (const LinExpr< IntVar > &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator< (const LinExpr< IntVar > &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (int l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (const LinExpr< IntVar > &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (const IntVar &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (const LinExpr< IntVar > &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator<= (const LinExpr< IntVar > &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (int l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (const LinExpr< IntVar > &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (const IntVar &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (const LinExpr< IntVar > &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator> (const LinExpr< IntVar > &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (int l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (int l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (const IntVar &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (const LinExpr< IntVar > &l, int r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (const IntVar &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (const LinExpr< IntVar > &l, const IntVar &r)
 Construct linear inequality relation.
LinRel< IntVar > Gecode::operator>= (const LinExpr< IntVar > &l, const LinExpr< IntVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator== (int l, const BoolVar &r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (int l, const LinExpr< BoolVar > &r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (const BoolVar &l, int r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (const LinExpr< BoolVar > &l, int r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (const BoolVar &l, const BoolVar &r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (const BoolVar &l, const LinExpr< BoolVar > &r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (const LinExpr< BoolVar > &l, const BoolVar &r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator== (const LinExpr< BoolVar > &l, const LinExpr< BoolVar > &r)
 Construct linear equality relation.
LinRel< BoolVar > Gecode::operator!= (int l, const BoolVar &r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (int l, const LinExpr< BoolVar > &r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (const BoolVar &l, int r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (const LinExpr< BoolVar > &l, int r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (const BoolVar &l, const BoolVar &r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (const BoolVar &l, const LinExpr< BoolVar > &r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (const LinExpr< BoolVar > &l, const BoolVar &r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator!= (const LinExpr< BoolVar > &l, const LinExpr< BoolVar > &r)
 Construct linear disequality relation.
LinRel< BoolVar > Gecode::operator< (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (int l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (const LinExpr< BoolVar > &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (const BoolVar &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (const LinExpr< BoolVar > &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator< (const LinExpr< BoolVar > &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (int l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (const LinExpr< BoolVar > &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (const BoolVar &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (const LinExpr< BoolVar > &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator<= (const LinExpr< BoolVar > &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (int l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (const LinExpr< BoolVar > &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (const BoolVar &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (const LinExpr< BoolVar > &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator> (const LinExpr< BoolVar > &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (int l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (int l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (const BoolVar &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (const LinExpr< BoolVar > &l, int r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (const BoolVar &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (const LinExpr< BoolVar > &l, const BoolVar &r)
 Construct linear inequality relation.
LinRel< BoolVar > Gecode::operator>= (const LinExpr< BoolVar > &l, const LinExpr< BoolVar > &r)
 Construct linear inequality relation.

Detailed Description

Linear expressions can be freely composed of sums and differences of integer variables (Gecode::IntVar) or Boolean variables (Gecode::BoolVar) possibly with integer coefficients and integer constants.

Note that both integer and Boolean variables are automatically available as linear expressions.

Linear relations are obtained from linear expressions with the normal relation operator s.

Function Documentation

LinExpr< IntVar > Gecode::operator+ ( int  c,
const IntVar &  x 
) [inline]

Construct linear expression as sum of variable and integer.

Definition at line 251 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( int  c,
const LinExpr< IntVar > &  e 
) [inline]

Construct linear expression as sum of linear expression and integer.

Definition at line 255 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( const IntVar &  x,
int  c 
) [inline]

Construct linear expression as sum of integer and linear expression.

Definition at line 259 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( const LinExpr< IntVar > &  e,
int  c 
) [inline]

Construct linear expression as sum of integer and variable.

Definition at line 263 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( const IntVar &  x,
const IntVar &  y 
) [inline]

Construct linear expression as sum of variables.

Definition at line 267 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( const IntVar &  x,
const LinExpr< IntVar > &  e 
) [inline]

Construct linear expression as sum of variable and linear expression.

Definition at line 271 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( const LinExpr< IntVar > &  e,
const IntVar &  x 
) [inline]

Construct linear expression as sum of linear expression and variable.

Definition at line 275 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator+ ( const LinExpr< IntVar > &  e1,
const LinExpr< IntVar > &  e2 
) [inline]

Construct linear expression as sum of linear expressions.

Definition at line 279 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( int  c,
const IntVar &  x 
) [inline]

Construct linear expression as sum of variable and integer.

Definition at line 284 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( int  c,
const LinExpr< IntVar > &  e 
) [inline]

Construct linear expression as sum of linear expression and integer.

Definition at line 288 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const IntVar &  x,
int  c 
) [inline]

Construct linear expression as sum of integer and linear expression.

Definition at line 292 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const LinExpr< IntVar > &  e,
int  c 
) [inline]

Construct linear expression as sum of integer and variable.

Definition at line 296 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const IntVar &  x,
const IntVar &  y 
) [inline]

Construct linear expression as sum of variables.

Definition at line 300 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const IntVar &  x,
const LinExpr< IntVar > &  e 
) [inline]

Construct linear expression as sum of variable and linear expression.

Definition at line 304 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const LinExpr< IntVar > &  e,
const IntVar &  x 
) [inline]

Construct linear expression as sum of linear expression and variable.

Definition at line 308 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const LinExpr< IntVar > &  e1,
const LinExpr< IntVar > &  e2 
) [inline]

Construct linear expression as sum of linear expressions.

Definition at line 312 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const IntVar &  x  )  [inline]

Construct linear expression as negative of variable.

Definition at line 316 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator- ( const LinExpr< IntVar > &  e  )  [inline]

Construct linear expression as negative of linear expression.

Definition at line 320 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator* ( int  a,
const IntVar &  x 
) [inline]

Construct linear expression as product of integer coefficient and integer variable.

Definition at line 325 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator* ( const IntVar &  x,
int  a 
) [inline]

Construct linear expression as product of integer coefficient and integer variable.

Definition at line 329 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator* ( const LinExpr< IntVar > &  e,
int  a 
) [inline]

Construct linear expression as product of integer coefficient and linear expression.

Definition at line 333 of file lin-expr.hpp.

LinExpr< IntVar > Gecode::operator* ( int  a,
const LinExpr< IntVar > &  e 
) [inline]

Construct linear expression as product of integer coefficient and linear expression.

Definition at line 337 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( int  c,
const BoolVar &  x 
) [inline]

Construct linear expression as sum of variable and integer.

Definition at line 343 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( int  c,
const LinExpr< BoolVar > &  e 
) [inline]

Construct linear expression as sum of linear expression and integer.

Definition at line 347 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( const BoolVar &  x,
int  c 
) [inline]

Construct linear expression as sum of integer and linear expression.

Definition at line 351 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( const LinExpr< BoolVar > &  e,
int  c 
) [inline]

Construct linear expression as sum of integer and variable.

Definition at line 355 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( const BoolVar &  x,
const BoolVar &  y 
) [inline]

Construct linear expression as sum of variables.

Definition at line 359 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( const BoolVar &  x,
const LinExpr< BoolVar > &  e 
) [inline]

Construct linear expression as sum of variable and linear expression.

Definition at line 363 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( const LinExpr< BoolVar > &  e,
const BoolVar &  x 
) [inline]

Construct linear expression as sum of linear expression and variable.

Definition at line 367 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator+ ( const LinExpr< BoolVar > &  e1,
const LinExpr< BoolVar > &  e2 
) [inline]

Construct linear expression as sum of linear expressions.

Definition at line 371 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( int  c,
const BoolVar &  x 
) [inline]

Construct linear expression as sum of variable and integer.

Definition at line 376 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( int  c,
const LinExpr< BoolVar > &  e 
) [inline]

Construct linear expression as sum of linear expression and integer.

Definition at line 380 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const BoolVar &  x,
int  c 
) [inline]

Construct linear expression as sum of integer and linear expression.

Definition at line 384 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const LinExpr< BoolVar > &  e,
int  c 
) [inline]

Construct linear expression as sum of integer and variable.

Definition at line 388 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const BoolVar &  x,
const BoolVar &  y 
) [inline]

Construct linear expression as sum of variables.

Definition at line 392 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const BoolVar &  x,
const LinExpr< BoolVar > &  e 
) [inline]

Construct linear expression as sum of variable and linear expression.

Definition at line 396 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const LinExpr< BoolVar > &  e,
const BoolVar &  x 
) [inline]

Construct linear expression as sum of linear expression and variable.

Definition at line 400 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const LinExpr< BoolVar > &  e1,
const LinExpr< BoolVar > &  e2 
) [inline]

Construct linear expression as sum of linear expressions.

Definition at line 404 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const BoolVar &  x  )  [inline]

Construct linear expression as negative of variable.

Definition at line 408 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator- ( const LinExpr< BoolVar > &  e  )  [inline]

Construct linear expression as negative of linear expression.

Definition at line 412 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator* ( int  a,
const BoolVar &  x 
) [inline]

Construct linear expression as product of integer coefficient and integer variable.

Definition at line 417 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator* ( const BoolVar &  x,
int  a 
) [inline]

Construct linear expression as product of integer coefficient and integer variable.

Definition at line 421 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator* ( const LinExpr< BoolVar > &  e,
int  a 
) [inline]

Construct linear expression as product of integer coefficient and linear expression.

Definition at line 425 of file lin-expr.hpp.

LinExpr< BoolVar > Gecode::operator* ( int  a,
const LinExpr< BoolVar > &  e 
) [inline]

Construct linear expression as product of integer coefficient and linear expression.

Definition at line 429 of file lin-expr.hpp.

LinRel< IntVar > Gecode::operator== ( int  l,
const IntVar &  r 
) [inline]

Construct linear equality relation.

Definition at line 106 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( int  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear equality relation.

Definition at line 110 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( const IntVar &  l,
int  r 
) [inline]

Construct linear equality relation.

Definition at line 114 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( const LinExpr< IntVar > &  l,
int  r 
) [inline]

Construct linear equality relation.

Definition at line 118 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( const IntVar &  l,
const IntVar &  r 
) [inline]

Construct linear equality relation.

Definition at line 122 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( const IntVar &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear equality relation.

Definition at line 126 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( const LinExpr< IntVar > &  l,
const IntVar &  r 
) [inline]

Construct linear equality relation.

Definition at line 130 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator== ( const LinExpr< IntVar > &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear equality relation.

Definition at line 134 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( int  l,
const IntVar &  r 
) [inline]

Construct linear disequality relation.

Definition at line 139 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( int  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear disequality relation.

Definition at line 143 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( const IntVar &  l,
int  r 
) [inline]

Construct linear disequality relation.

Definition at line 147 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( const LinExpr< IntVar > &  l,
int  r 
) [inline]

Construct linear disequality relation.

Definition at line 151 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( const IntVar &  l,
const IntVar &  r 
) [inline]

Construct linear disequality relation.

Definition at line 155 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( const IntVar &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear disequality relation.

Definition at line 159 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( const LinExpr< IntVar > &  l,
const IntVar &  r 
) [inline]

Construct linear disequality relation.

Definition at line 163 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator!= ( const LinExpr< IntVar > &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear disequality relation.

Definition at line 167 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( int  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 172 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( int  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 176 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( const IntVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 180 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( const LinExpr< IntVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 184 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( const IntVar &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 188 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( const IntVar &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 192 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( const LinExpr< IntVar > &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 196 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator< ( const LinExpr< IntVar > &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 200 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( int  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 205 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( int  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 209 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( const IntVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 213 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( const LinExpr< IntVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 217 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( const IntVar &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 221 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( const IntVar &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 225 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( const LinExpr< IntVar > &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 229 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator<= ( const LinExpr< IntVar > &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 233 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( int  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 238 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( int  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 242 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( const IntVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 246 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( const LinExpr< IntVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 250 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( const IntVar &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 254 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( const IntVar &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 258 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( const LinExpr< IntVar > &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 262 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator> ( const LinExpr< IntVar > &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 266 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( int  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 271 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( int  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 275 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( const IntVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 279 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( const LinExpr< IntVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 283 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( const IntVar &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 287 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( const IntVar &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 291 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( const LinExpr< IntVar > &  l,
const IntVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 295 of file lin-rel.hpp.

LinRel< IntVar > Gecode::operator>= ( const LinExpr< IntVar > &  l,
const LinExpr< IntVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 299 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( int  l,
const BoolVar &  r 
) [inline]

Construct linear equality relation.

Definition at line 306 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( int  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear equality relation.

Definition at line 310 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( const BoolVar &  l,
int  r 
) [inline]

Construct linear equality relation.

Definition at line 314 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( const LinExpr< BoolVar > &  l,
int  r 
) [inline]

Construct linear equality relation.

Definition at line 318 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( const BoolVar &  l,
const BoolVar &  r 
) [inline]

Construct linear equality relation.

Definition at line 322 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( const BoolVar &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear equality relation.

Definition at line 326 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( const LinExpr< BoolVar > &  l,
const BoolVar &  r 
) [inline]

Construct linear equality relation.

Definition at line 330 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator== ( const LinExpr< BoolVar > &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear equality relation.

Definition at line 334 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( int  l,
const BoolVar &  r 
) [inline]

Construct linear disequality relation.

Definition at line 339 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( int  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear disequality relation.

Definition at line 343 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( const BoolVar &  l,
int  r 
) [inline]

Construct linear disequality relation.

Definition at line 347 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( const LinExpr< BoolVar > &  l,
int  r 
) [inline]

Construct linear disequality relation.

Definition at line 351 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( const BoolVar &  l,
const BoolVar &  r 
) [inline]

Construct linear disequality relation.

Definition at line 355 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( const BoolVar &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear disequality relation.

Definition at line 359 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( const LinExpr< BoolVar > &  l,
const BoolVar &  r 
) [inline]

Construct linear disequality relation.

Definition at line 363 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator!= ( const LinExpr< BoolVar > &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear disequality relation.

Definition at line 367 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( int  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 372 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( int  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 376 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( const BoolVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 380 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( const LinExpr< BoolVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 384 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( const BoolVar &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 388 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( const BoolVar &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 392 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( const LinExpr< BoolVar > &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 396 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator< ( const LinExpr< BoolVar > &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 400 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( int  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 405 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( int  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 409 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( const BoolVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 413 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( const LinExpr< BoolVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 417 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( const BoolVar &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 421 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( const BoolVar &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 425 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( const LinExpr< BoolVar > &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 429 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator<= ( const LinExpr< BoolVar > &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 433 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( int  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 438 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( int  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 442 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( const BoolVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 446 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( const LinExpr< BoolVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 450 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( const BoolVar &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 454 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( const BoolVar &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 458 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( const LinExpr< BoolVar > &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 462 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator> ( const LinExpr< BoolVar > &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 466 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( int  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 471 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( int  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 475 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( const BoolVar &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 479 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( const LinExpr< BoolVar > &  l,
int  r 
) [inline]

Construct linear inequality relation.

Definition at line 483 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( const BoolVar &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 487 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( const BoolVar &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 491 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( const LinExpr< BoolVar > &  l,
const BoolVar &  r 
) [inline]

Construct linear inequality relation.

Definition at line 495 of file lin-rel.hpp.

LinRel< BoolVar > Gecode::operator>= ( const LinExpr< BoolVar > &  l,
const LinExpr< BoolVar > &  r 
) [inline]

Construct linear inequality relation.

Definition at line 499 of file lin-rel.hpp.