Generated on Thu Apr 11 13:59:34 2019 for Gecode by doxygen 1.6.3

Linear expressions and relations
[Direct modeling support]

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


Functions

LinIntExpr Gecode::operator+ (int, const IntVar &)
 Construct linear expression as sum of integer variable and integer.
LinIntExpr Gecode::operator+ (int, const BoolVar &)
 Construct linear expression as sum of Boolean variable and integer.
LinIntExpr Gecode::operator+ (int, const LinIntExpr &)
 Construct linear expression as sum of linear expression and integer.
LinIntExpr Gecode::operator+ (const IntVar &, int)
 Construct linear expression as sum of integer variable and integer.
LinIntExpr Gecode::operator+ (const BoolVar &, int)
 Construct linear expression as sum of Boolean variable and integer.
LinIntExpr Gecode::operator+ (const LinIntExpr &, int)
 Construct linear expression as sum of linear expression and integer.
LinIntExpr Gecode::operator+ (const IntVar &, const IntVar &)
 Construct linear expression as sum of integer variables.
LinIntExpr Gecode::operator+ (const IntVar &, const BoolVar &)
 Construct linear expression as sum of integer and Boolean variable.
LinIntExpr Gecode::operator+ (const BoolVar &, const IntVar &)
 Construct linear expression as sum of Boolean and integer variable.
LinIntExpr Gecode::operator+ (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of Boolean variables.
LinIntExpr Gecode::operator+ (const IntVar &, const LinIntExpr &)
 Construct linear expression as sum of integer variable and linear expression.
LinIntExpr Gecode::operator+ (const BoolVar &, const LinIntExpr &)
 Construct linear expression as sum of Boolean variable and linear expression.
LinIntExpr Gecode::operator+ (const LinIntExpr &, const IntVar &)
 Construct linear expression as sum of linear expression and integer variable.
LinIntExpr Gecode::operator+ (const LinIntExpr &, const BoolVar &)
 Construct linear expression as sum of linear expression and Boolean variable.
LinIntExpr Gecode::operator+ (const LinIntExpr &, const LinIntExpr &)
 Construct linear expression as sum of linear expressions.
LinIntExpr Gecode::operator- (int, const IntVar &)
 Construct linear expression as sum of integer variable and integer.
LinIntExpr Gecode::operator- (int, const BoolVar &)
 Construct linear expression as sum of Boolean variable and integer.
LinIntExpr Gecode::operator- (int, const LinIntExpr &)
 Construct linear expression as sum of integer and linear expression.
LinIntExpr Gecode::operator- (const IntVar &, int)
 Construct linear expression as sum of integer variable and integer.
LinIntExpr Gecode::operator- (const BoolVar &, int)
 Construct linear expression as sum of Boolean variable and integer.
LinIntExpr Gecode::operator- (const LinIntExpr &, int)
 Construct linear expression as sum of linear expression and integer.
LinIntExpr Gecode::operator- (const IntVar &, const IntVar &)
 Construct linear expression as sum of integer variables.
LinIntExpr Gecode::operator- (const IntVar &, const BoolVar &)
 Construct linear expression as sum of integer and Boolean variable.
LinIntExpr Gecode::operator- (const BoolVar &, const IntVar &)
 Construct linear expression as sum of Boolean and integer variable.
LinIntExpr Gecode::operator- (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of Boolean variables.
LinIntExpr Gecode::operator- (const IntVar &, const LinIntExpr &)
 Construct linear expression as sum of integer variable and linear expression.
LinIntExpr Gecode::operator- (const BoolVar &, const LinIntExpr &)
 Construct linear expression as sum of Boolean variable and linear expression.
LinIntExpr Gecode::operator- (const LinIntExpr &, const IntVar &)
 Construct linear expression as sum of linear expression and integer variable.
LinIntExpr Gecode::operator- (const LinIntExpr &, const BoolVar &)
 Construct linear expression as sum of linear expression and Boolean variable.
LinIntExpr Gecode::operator- (const LinIntExpr &, const LinIntExpr &)
 Construct linear expression as sum of linear expressions.
LinIntExpr Gecode::operator- (const IntVar &)
 Construct linear expression as negative of integer variable.
LinIntExpr Gecode::operator- (const BoolVar &)
 Construct linear expression as negative of Boolean variable.
LinIntExpr Gecode::operator- (const LinIntExpr &)
 Construct linear expression as negative of linear expression.
LinIntExpr Gecode::operator* (int, const IntVar &)
 Construct linear expression as product of integer coefficient and integer variable.
LinIntExpr Gecode::operator* (int, const BoolVar &)
 Construct linear expression as product of integer coefficient and Boolean variable.
LinIntExpr Gecode::operator* (const IntVar &, int)
 Construct linear expression as product of integer coefficient and integer variable.
LinIntExpr Gecode::operator* (const BoolVar &, int)
 Construct linear expression as product of integer coefficient and Boolean variable.
LinIntExpr Gecode::operator* (const LinIntExpr &, int)
 Construct linear expression as product of integer coefficient and linear expression.
LinIntExpr Gecode::operator* (int, const LinIntExpr &)
 Construct linear expression as product of integer coefficient and linear expression.
LinIntExpr Gecode::sum (const IntVarArgs &x)
 Construct linear expression as sum of integer variables.
LinIntExpr Gecode::sum (const IntArgs &a, const IntVarArgs &x)
 Construct linear expression as sum of integer variables with coefficients.
LinIntExpr Gecode::sum (const BoolVarArgs &x)
 Construct linear expression as sum of Boolean variables.
LinIntExpr Gecode::sum (const IntArgs &a, const BoolVarArgs &x)
 Construct linear expression as sum of Boolean variables with coefficients.
LinIntExpr Gecode::sum (const IntArgs &args)
 Construct linear expression as sum of IntArgs.
LinIntRel Gecode::operator== (int l, const IntVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (int l, const BoolVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (int l, const LinIntExpr &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const IntVar &l, int r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const BoolVar &l, int r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const LinIntExpr &l, int r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const IntVar &l, const IntVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const IntVar &l, const BoolVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const BoolVar &l, const IntVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const BoolVar &l, const BoolVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const IntVar &l, const LinIntExpr &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const BoolVar &l, const LinIntExpr &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const LinIntExpr &l, const IntVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const LinIntExpr &l, const BoolVar &r)
 Construct linear equality relation.
LinIntRel Gecode::operator== (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear equality relation.
LinIntRel Gecode::operator!= (int l, const IntVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (int l, const BoolVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (int l, const LinIntExpr &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const IntVar &l, int r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const BoolVar &l, int r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const LinIntExpr &l, int r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const IntVar &l, const IntVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const IntVar &l, const BoolVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const BoolVar &l, const IntVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const BoolVar &l, const BoolVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const IntVar &l, const LinIntExpr &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const BoolVar &l, const LinIntExpr &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const LinIntExpr &l, const IntVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const LinIntExpr &l, const BoolVar &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator!= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear disequality relation.
LinIntRel Gecode::operator< (int l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (int l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (int l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const IntVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const BoolVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const LinIntExpr &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator< (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (int l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (int l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (int l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const IntVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const BoolVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const LinIntExpr &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator<= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (int l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (int l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (int l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const IntVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const BoolVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const LinIntExpr &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator> (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (int l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (int l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (int l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const IntVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const BoolVar &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const LinIntExpr &l, int r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation.
LinIntRel Gecode::operator>= (const LinIntExpr &l, const LinIntExpr &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 operators.


Function Documentation

LinIntExpr Gecode::operator+ ( int  c,
const IntVar &  x 
)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator+ ( int  c,
const BoolVar &  x 
)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator+ ( int  c,
const LinIntExpr &  e 
)

Construct linear expression as sum of linear expression and integer.

LinIntExpr Gecode::operator+ ( const IntVar &  x,
int  c 
)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator+ ( const BoolVar &  x,
int  c 
)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator+ ( const LinIntExpr &  e,
int  c 
)

Construct linear expression as sum of linear expression and integer.

LinIntExpr Gecode::operator+ ( const IntVar &  x,
const IntVar &  y 
)

Construct linear expression as sum of integer variables.

LinIntExpr Gecode::operator+ ( const IntVar &  x,
const BoolVar &  y 
)

Construct linear expression as sum of integer and Boolean variable.

LinIntExpr Gecode::operator+ ( const BoolVar &  x,
const IntVar &  y 
)

Construct linear expression as sum of Boolean and integer variable.

LinIntExpr Gecode::operator+ ( const BoolVar &  x,
const BoolVar &  y 
)

Construct linear expression as sum of Boolean variables.

LinIntExpr Gecode::operator+ ( const IntVar &  x,
const LinIntExpr &  e 
)

Construct linear expression as sum of integer variable and linear expression.

LinIntExpr Gecode::operator+ ( const BoolVar &  x,
const LinIntExpr &  e 
)

Construct linear expression as sum of Boolean variable and linear expression.

LinIntExpr Gecode::operator+ ( const LinIntExpr &  e,
const IntVar &  x 
)

Construct linear expression as sum of linear expression and integer variable.

LinIntExpr Gecode::operator+ ( const LinIntExpr &  e,
const BoolVar &  x 
)

Construct linear expression as sum of linear expression and Boolean variable.

LinIntExpr Gecode::operator+ ( const LinIntExpr &  e1,
const LinIntExpr &  e2 
)

Construct linear expression as sum of linear expressions.

LinIntExpr Gecode::operator- ( int  c,
const IntVar &  x 
)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator- ( int  c,
const BoolVar &  x 
)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator- ( int  c,
const LinIntExpr &  e 
)

Construct linear expression as sum of integer and linear expression.

LinIntExpr Gecode::operator- ( const IntVar &  x,
int  c 
)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator- ( const BoolVar &  x,
int  c 
)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator- ( const LinIntExpr &  e,
int  c 
)

Construct linear expression as sum of linear expression and integer.

LinIntExpr Gecode::operator- ( const IntVar &  x,
const IntVar &  y 
)

Construct linear expression as sum of integer variables.

LinIntExpr Gecode::operator- ( const IntVar &  x,
const BoolVar &  y 
)

Construct linear expression as sum of integer and Boolean variable.

LinIntExpr Gecode::operator- ( const BoolVar &  x,
const IntVar &  y 
)

Construct linear expression as sum of Boolean and integer variable.

LinIntExpr Gecode::operator- ( const BoolVar &  x,
const BoolVar &  y 
)

Construct linear expression as sum of Boolean variables.

LinIntExpr Gecode::operator- ( const IntVar &  x,
const LinIntExpr &  e 
)

Construct linear expression as sum of integer variable and linear expression.

LinIntExpr Gecode::operator- ( const BoolVar &  x,
const LinIntExpr &  e 
)

Construct linear expression as sum of Boolean variable and linear expression.

LinIntExpr Gecode::operator- ( const LinIntExpr &  e,
const IntVar &  x 
)

Construct linear expression as sum of linear expression and integer variable.

LinIntExpr Gecode::operator- ( const LinIntExpr &  e,
const BoolVar &  x 
)

Construct linear expression as sum of linear expression and Boolean variable.

LinIntExpr Gecode::operator- ( const LinIntExpr &  e1,
const LinIntExpr &  e2 
)

Construct linear expression as sum of linear expressions.

LinIntExpr Gecode::operator- ( const IntVar &  x  ) 

Construct linear expression as negative of integer variable.

LinIntExpr Gecode::operator- ( const BoolVar &  x  ) 

Construct linear expression as negative of Boolean variable.

LinIntExpr Gecode::operator- ( const LinIntExpr &  e  ) 

Construct linear expression as negative of linear expression.

LinIntExpr Gecode::operator* ( int  a,
const IntVar &  x 
)

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

LinIntExpr Gecode::operator* ( int  a,
const BoolVar &  x 
)

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

LinIntExpr Gecode::operator* ( const IntVar &  x,
int  a 
)

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

LinIntExpr Gecode::operator* ( const BoolVar &  x,
int  a 
)

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

LinIntExpr Gecode::operator* ( const LinIntExpr &  e,
int  a 
)

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

LinIntExpr Gecode::operator* ( int  a,
const LinIntExpr &  e 
)

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

LinIntExpr Gecode::sum ( const IntVarArgs &  x  ) 

Construct linear expression as sum of integer variables.

LinIntExpr Gecode::sum ( const IntArgs &  a,
const IntVarArgs &  x 
)

Construct linear expression as sum of integer variables with coefficients.

LinIntExpr Gecode::sum ( const BoolVarArgs &  x  ) 

Construct linear expression as sum of Boolean variables.

LinIntExpr Gecode::sum ( const IntArgs &  a,
const BoolVarArgs &  x 
)

Construct linear expression as sum of Boolean variables with coefficients.

LinIntExpr Gecode::sum ( const IntArgs &  args  ) 

Construct linear expression as sum of IntArgs.

LinIntRel Gecode::operator== ( int  l,
const IntVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( int  l,
const BoolVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( int  l,
const LinIntExpr &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const IntVar &  l,
int  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const BoolVar &  l,
int  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const LinIntExpr &  l,
int  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const IntVar &  l,
const IntVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const IntVar &  l,
const BoolVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const BoolVar &  l,
const IntVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const BoolVar &  l,
const BoolVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const IntVar &  l,
const LinIntExpr &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const BoolVar &  l,
const LinIntExpr &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const LinIntExpr &  l,
const IntVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const LinIntExpr &  l,
const BoolVar &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator== ( const LinIntExpr &  l,
const LinIntExpr &  r 
)

Construct linear equality relation.

LinIntRel Gecode::operator!= ( int  l,
const IntVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( int  l,
const BoolVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( int  l,
const LinIntExpr &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const IntVar &  l,
int  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const BoolVar &  l,
int  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const LinIntExpr &  l,
int  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const IntVar &  l,
const IntVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const IntVar &  l,
const BoolVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const BoolVar &  l,
const IntVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const BoolVar &  l,
const BoolVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const IntVar &  l,
const LinIntExpr &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const BoolVar &  l,
const LinIntExpr &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const LinIntExpr &  l,
const IntVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const LinIntExpr &  l,
const BoolVar &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator!= ( const LinIntExpr &  l,
const LinIntExpr &  r 
)

Construct linear disequality relation.

LinIntRel Gecode::operator< ( int  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( int  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( int  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const IntVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const BoolVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const LinIntExpr &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const IntVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const IntVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const BoolVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const BoolVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const IntVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const BoolVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const LinIntExpr &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const LinIntExpr &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator< ( const LinIntExpr &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( int  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( int  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( int  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const IntVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const BoolVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const LinIntExpr &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const IntVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const IntVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const BoolVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const BoolVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const IntVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const BoolVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const LinIntExpr &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const LinIntExpr &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator<= ( const LinIntExpr &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( int  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( int  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( int  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const IntVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const BoolVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const LinIntExpr &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const IntVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const IntVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const BoolVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const BoolVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const IntVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const BoolVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const LinIntExpr &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const LinIntExpr &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator> ( const LinIntExpr &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( int  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( int  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( int  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const IntVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const BoolVar &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const LinIntExpr &  l,
int  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const IntVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const IntVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const BoolVar &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const BoolVar &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const IntVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const BoolVar &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const LinIntExpr &  l,
const IntVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const LinIntExpr &  l,
const BoolVar &  r 
)

Construct linear inequality relation.

LinIntRel Gecode::operator>= ( const LinIntExpr &  l,
const LinIntExpr &  r 
)

Construct linear inequality relation.