Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1

Namespaces

 Gecode
 Gecode toplevel namespace
 

Functions

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

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.

Definition at line 578 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 586 of file int-expr.cpp.

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

Construct linear expression as sum of linear expression and integer.

Definition at line 594 of file int-expr.cpp.

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

Construct linear expression as sum of integer variable and integer.

Definition at line 598 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 606 of file int-expr.cpp.

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

Construct linear expression as sum of linear expression and integer.

Definition at line 614 of file int-expr.cpp.

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

Construct linear expression as sum of integer variables.

Definition at line 618 of file int-expr.cpp.

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

Construct linear expression as sum of integer and Boolean variable.

Definition at line 627 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean and integer variable.

Definition at line 636 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variables.

Definition at line 645 of file int-expr.cpp.

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

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

Definition at line 654 of file int-expr.cpp.

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

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

Definition at line 661 of file int-expr.cpp.

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

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

Definition at line 668 of file int-expr.cpp.

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

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

Definition at line 675 of file int-expr.cpp.

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

Construct linear expression as sum of linear expressions.

Definition at line 682 of file int-expr.cpp.

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

Construct linear expression as sum of integer variable and integer.

Definition at line 687 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 695 of file int-expr.cpp.

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

Construct linear expression as sum of integer and linear expression.

Definition at line 703 of file int-expr.cpp.

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

Construct linear expression as sum of integer variable and integer.

Definition at line 707 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variable and integer.

Definition at line 715 of file int-expr.cpp.

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

Construct linear expression as sum of linear expression and integer.

Definition at line 723 of file int-expr.cpp.

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

Construct linear expression as sum of integer variables.

Definition at line 727 of file int-expr.cpp.

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

Construct linear expression as sum of integer and Boolean variable.

Definition at line 736 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean and integer variable.

Definition at line 745 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variables.

Definition at line 754 of file int-expr.cpp.

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

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

Definition at line 763 of file int-expr.cpp.

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

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

Definition at line 770 of file int-expr.cpp.

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

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

Definition at line 777 of file int-expr.cpp.

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

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

Definition at line 784 of file int-expr.cpp.

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

Construct linear expression as sum of linear expressions.

Definition at line 791 of file int-expr.cpp.

LinIntExpr Gecode::operator- ( const IntVar x)

Construct linear expression as negative of integer variable.

Definition at line 796 of file int-expr.cpp.

LinIntExpr Gecode::operator- ( const BoolVar x)

Construct linear expression as negative of Boolean variable.

Definition at line 803 of file int-expr.cpp.

LinIntExpr Gecode::operator- ( const LinIntExpr e)

Construct linear expression as negative of linear expression.

Definition at line 810 of file int-expr.cpp.

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

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

Definition at line 815 of file int-expr.cpp.

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

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

Definition at line 825 of file int-expr.cpp.

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

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

Definition at line 835 of file int-expr.cpp.

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

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

Definition at line 845 of file int-expr.cpp.

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

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

Definition at line 855 of file int-expr.cpp.

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

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

Definition at line 862 of file int-expr.cpp.

LinIntExpr Gecode::sum ( const IntVarArgs x)

Construct linear expression as sum of integer variables.

Definition at line 870 of file int-expr.cpp.

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

Construct linear expression as sum of integer variables with coefficients.

Definition at line 874 of file int-expr.cpp.

LinIntExpr Gecode::sum ( const BoolVarArgs x)

Construct linear expression as sum of Boolean variables.

Definition at line 878 of file int-expr.cpp.

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

Construct linear expression as sum of Boolean variables with coefficients.

Definition at line 882 of file int-expr.cpp.

LinIntExpr Gecode::sum ( const IntArgs args)

Construct linear expression as sum of IntArgs.

Definition at line 896 of file int-expr.cpp.

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear equality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear disequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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

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

Construct linear inequality relation.

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