Generated on Tue Dec 13 2011 10:02:33 for Gecode by doxygen 1.7.4
Linear expressions and relations

Functions

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

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

Construct linear expression as sum of integer variable and integer.

Definition at line 283 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 290 of file lin-expr.cpp.

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

Construct linear expression as sum of linear expression and integer.

Definition at line 297 of file lin-expr.cpp.

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

Construct linear expression as sum of integer variable and integer.

Definition at line 301 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

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

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

Construct linear expression as sum of linear expression and integer.

Definition at line 315 of file lin-expr.cpp.

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

Construct linear expression as sum of integer variables.

Definition at line 319 of file lin-expr.cpp.

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

Construct linear expression as sum of integer and Boolean variable.

Definition at line 328 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean and integer variable.

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

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

Construct linear expression as sum of Boolean variables.

Definition at line 346 of file lin-expr.cpp.

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

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

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

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

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

Definition at line 362 of file lin-expr.cpp.

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

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

Definition at line 369 of file lin-expr.cpp.

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

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

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

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

Construct linear expression as sum of linear expressions.

Definition at line 383 of file lin-expr.cpp.

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

Construct linear expression as sum of integer variable and integer.

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

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 395 of file lin-expr.cpp.

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

Construct linear expression as sum of integer and linear expression.

Definition at line 402 of file lin-expr.cpp.

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

Construct linear expression as sum of integer variable and integer.

Definition at line 406 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 413 of file lin-expr.cpp.

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

Construct linear expression as sum of linear expression and integer.

Definition at line 420 of file lin-expr.cpp.

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

Construct linear expression as sum of integer variables.

Definition at line 424 of file lin-expr.cpp.

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

Construct linear expression as sum of integer and Boolean variable.

Definition at line 433 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean and integer variable.

Definition at line 442 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean variables.

Definition at line 451 of file lin-expr.cpp.

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

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

Definition at line 460 of file lin-expr.cpp.

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

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

Definition at line 467 of file lin-expr.cpp.

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

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

Definition at line 474 of file lin-expr.cpp.

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

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

Definition at line 481 of file lin-expr.cpp.

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

Construct linear expression as sum of linear expressions.

Definition at line 488 of file lin-expr.cpp.

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

Construct linear expression as negative of integer variable.

Definition at line 493 of file lin-expr.cpp.

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

Construct linear expression as negative of Boolean variable.

Definition at line 500 of file lin-expr.cpp.

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

Construct linear expression as negative of linear expression.

Definition at line 507 of file lin-expr.cpp.

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

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

Definition at line 512 of file lin-expr.cpp.

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

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

Definition at line 522 of file lin-expr.cpp.

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

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

Definition at line 532 of file lin-expr.cpp.

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

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

Definition at line 542 of file lin-expr.cpp.

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

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

Definition at line 552 of file lin-expr.cpp.

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

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

Definition at line 559 of file lin-expr.cpp.

LinExpr Gecode::sum ( const IntVarArgs &  x)

Construct linear expression as sum of integer variables.

Definition at line 567 of file lin-expr.cpp.

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

Construct linear expression as sum of integer variables with coefficients.

Definition at line 571 of file lin-expr.cpp.

LinExpr Gecode::sum ( const BoolVarArgs &  x)

Construct linear expression as sum of Boolean variables.

Definition at line 575 of file lin-expr.cpp.

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

Construct linear expression as sum of Boolean variables with coefficients.

Definition at line 579 of file lin-expr.cpp.

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

Construct linear equality relation.

Definition at line 47 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 51 of file lin-rel.cpp.

LinRel Gecode::operator== ( int  l,
const LinExpr &  r 
)

Construct linear equality relation.

Definition at line 55 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 59 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 63 of file lin-rel.cpp.

LinRel Gecode::operator== ( const LinExpr &  l,
int  r 
)

Construct linear equality relation.

Definition at line 67 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 71 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 75 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 79 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 83 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 87 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 91 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 95 of file lin-rel.cpp.

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

Construct linear equality relation.

Definition at line 99 of file lin-rel.cpp.

LinRel Gecode::operator== ( const LinExpr &  l,
const LinExpr &  r 
)

Construct linear equality relation.

Definition at line 103 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 108 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 112 of file lin-rel.cpp.

LinRel Gecode::operator!= ( int  l,
const LinExpr &  r 
)

Construct linear disequality relation.

Definition at line 116 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 120 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 124 of file lin-rel.cpp.

LinRel Gecode::operator!= ( const LinExpr &  l,
int  r 
)

Construct linear disequality relation.

Definition at line 128 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 132 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 136 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 140 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 144 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 148 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 152 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 156 of file lin-rel.cpp.

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

Construct linear disequality relation.

Definition at line 160 of file lin-rel.cpp.

LinRel Gecode::operator!= ( const LinExpr &  l,
const LinExpr &  r 
)

Construct linear disequality relation.

Definition at line 164 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 169 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 173 of file lin-rel.cpp.

LinRel Gecode::operator< ( int  l,
const LinExpr &  r 
)

Construct linear inequality relation.

Definition at line 177 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 181 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 185 of file lin-rel.cpp.

LinRel Gecode::operator< ( const LinExpr &  l,
int  r 
)

Construct linear inequality relation.

Definition at line 189 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 193 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 197 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 201 of file lin-rel.cpp.

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

LinRel Gecode::operator< ( const LinExpr &  l,
const LinExpr &  r 
)

Construct linear inequality relation.

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

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

Construct linear inequality relation.

Definition at line 230 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 234 of file lin-rel.cpp.

LinRel Gecode::operator<= ( int  l,
const LinExpr &  r 
)

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

LinRel Gecode::operator<= ( const LinExpr &  l,
int  r 
)

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

Definition at line 270 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 274 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 278 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 282 of file lin-rel.cpp.

LinRel Gecode::operator<= ( const LinExpr &  l,
const LinExpr &  r 
)

Construct linear inequality relation.

Definition at line 286 of file lin-rel.cpp.

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

LinRel Gecode::operator> ( int  l,
const LinExpr &  r 
)

Construct linear inequality relation.

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

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

Construct linear inequality relation.

Definition at line 303 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 307 of file lin-rel.cpp.

LinRel Gecode::operator> ( const LinExpr &  l,
int  r 
)

Construct linear inequality relation.

Definition at line 311 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 315 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 319 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 323 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 327 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 331 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 335 of file lin-rel.cpp.

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

LinRel Gecode::operator> ( const LinExpr &  l,
const LinExpr &  r 
)

Construct linear inequality relation.

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

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

Construct linear inequality relation.

Definition at line 352 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 356 of file lin-rel.cpp.

LinRel Gecode::operator>= ( int  l,
const LinExpr &  r 
)

Construct linear inequality relation.

Definition at line 360 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 364 of file lin-rel.cpp.

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

Construct linear inequality relation.

Definition at line 368 of file lin-rel.cpp.

LinRel Gecode::operator>= ( const LinExpr &  l,
int  r 
)

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

Definition at line 404 of file lin-rel.cpp.

LinRel Gecode::operator>= ( const LinExpr &  l,
const LinExpr &  r 
)

Construct linear inequality relation.

Definition at line 408 of file lin-rel.cpp.