Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1
int-expr.cpp File Reference

Go to the source code of this file.

Classes

class  Gecode::LinIntExpr::Node
 Nodes for linear expressions. More...
 

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 Slice< IntArgs > &slice)
 Construct linear expression as sum of IntArgs Slice elements. More...
 
LinIntExpr Gecode::sum (const Matrix< IntArgs > &matrix)
 Construct linear expression as sum of IntArgs Matrix elements. More...
 
LinIntExpr Gecode::sum (const IntArgs &args)
 Construct linear expression as sum of IntArgs. More...
 
IntVar Gecode::expr (Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
 Post linear expression and return its value. More...
 

Function Documentation

◆ operator+() [1/15]

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

Construct linear expression as sum of integer variable and integer.

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

◆ operator+() [2/15]

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

Construct linear expression as sum of Boolean variable and integer.

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

◆ operator+() [3/15]

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

Construct linear expression as sum of linear expression and integer.

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

◆ operator+() [4/15]

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

Construct linear expression as sum of integer variable and integer.

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

◆ operator+() [5/15]

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

Construct linear expression as sum of Boolean variable and integer.

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

◆ operator+() [6/15]

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

Construct linear expression as sum of linear expression and integer.

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

◆ operator+() [7/15]

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

Construct linear expression as sum of integer variables.

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

◆ operator+() [8/15]

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

Construct linear expression as sum of integer and Boolean variable.

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

◆ operator+() [9/15]

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

Construct linear expression as sum of Boolean and integer variable.

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

◆ operator+() [10/15]

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

Construct linear expression as sum of Boolean variables.

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

◆ operator+() [11/15]

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

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

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

◆ operator+() [12/15]

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

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

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

◆ operator+() [13/15]

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

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

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

◆ operator+() [14/15]

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

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

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

◆ operator+() [15/15]

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

Construct linear expression as sum of linear expressions.

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

◆ operator-() [1/18]

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

Construct linear expression as sum of integer variable and integer.

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

◆ operator-() [2/18]

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

Construct linear expression as sum of Boolean variable and integer.

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

◆ operator-() [3/18]

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

Construct linear expression as sum of integer and linear expression.

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

◆ operator-() [4/18]

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

Construct linear expression as sum of integer variable and integer.

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

◆ operator-() [5/18]

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

Construct linear expression as sum of Boolean variable and integer.

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

◆ operator-() [6/18]

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

Construct linear expression as sum of linear expression and integer.

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

◆ operator-() [7/18]

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

Construct linear expression as sum of integer variables.

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

◆ operator-() [8/18]

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

Construct linear expression as sum of integer and Boolean variable.

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

◆ operator-() [9/18]

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

Construct linear expression as sum of Boolean and integer variable.

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

◆ operator-() [10/18]

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

Construct linear expression as sum of Boolean variables.

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

◆ operator-() [11/18]

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

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

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

◆ operator-() [12/18]

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

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

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

◆ operator-() [13/18]

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

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

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

◆ operator-() [14/18]

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

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

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

◆ operator-() [15/18]

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

Construct linear expression as sum of linear expressions.

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

◆ operator-() [16/18]

LinIntExpr Gecode::operator- ( const IntVar x)

Construct linear expression as negative of integer variable.

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

◆ operator-() [17/18]

LinIntExpr Gecode::operator- ( const BoolVar x)

Construct linear expression as negative of Boolean variable.

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

◆ operator-() [18/18]

LinIntExpr Gecode::operator- ( const LinIntExpr e)

Construct linear expression as negative of linear expression.

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

◆ operator*() [1/6]

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

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

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

◆ operator*() [2/6]

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

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

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

◆ operator*() [3/6]

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

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

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

◆ operator*() [4/6]

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

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

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

◆ operator*() [5/6]

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

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

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

◆ operator*() [6/6]

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

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

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

◆ sum() [1/7]

LinIntExpr Gecode::sum ( const IntVarArgs x)

Construct linear expression as sum of integer variables.

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

◆ sum() [2/7]

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

Construct linear expression as sum of integer variables with coefficients.

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

◆ sum() [3/7]

LinIntExpr Gecode::sum ( const BoolVarArgs x)

Construct linear expression as sum of Boolean variables.

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

◆ sum() [4/7]

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

Construct linear expression as sum of Boolean variables with coefficients.

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

◆ sum() [5/7]

LinIntExpr Gecode::sum ( const Slice< IntArgs > &  slice)

Construct linear expression as sum of IntArgs Slice elements.

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

◆ sum() [6/7]

LinIntExpr Gecode::sum ( const Matrix< IntArgs > &  matrix)

Construct linear expression as sum of IntArgs Matrix elements.

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

◆ sum() [7/7]

LinIntExpr Gecode::sum ( const IntArgs args)

Construct linear expression as sum of IntArgs.

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

◆ expr()

IntVar Gecode::expr ( Home  home,
const LinIntExpr e,
const IntPropLevels ipls 
)

Post linear expression and return its value.

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