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

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.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer and linear expression.

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

Construct linear expression as sum of integer and variable.

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

Construct linear expression as sum of variables.

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

Construct linear expression as sum of variable and linear expression.

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

Construct linear expression as sum of linear expression and variable.

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

Construct linear expression as sum of linear expressions.

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

Construct linear expression as sum of variable and integer.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer and linear expression.

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

Construct linear expression as sum of integer and variable.

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

Construct linear expression as sum of variables.

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

Construct linear expression as sum of variable and linear expression.

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

Construct linear expression as sum of linear expression and variable.

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

Construct linear expression as sum of linear expressions.

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

Construct linear expression as negative of variable.

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

Construct linear expression as negative of linear expression.

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

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

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

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

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

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

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

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

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

Construct linear expression as sum of variable and integer.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer and linear expression.

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

Construct linear expression as sum of integer and variable.

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

Construct linear expression as sum of variables.

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

Construct linear expression as sum of variable and linear expression.

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

Construct linear expression as sum of linear expression and variable.

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

Construct linear expression as sum of linear expressions.

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

Construct linear expression as sum of variable and integer.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer and linear expression.

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

Construct linear expression as sum of integer and variable.

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

Construct linear expression as sum of variables.

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

Construct linear expression as sum of variable and linear expression.

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

Construct linear expression as sum of linear expression and variable.

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

Construct linear expression as sum of linear expressions.

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

Construct linear expression as negative of variable.

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

Construct linear expression as negative of linear expression.

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

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

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

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

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

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

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

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

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.