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... | |
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.
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.
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.
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.
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.
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.
Construct linear expression as sum of integer variables.
Definition at line 628 of file int-expr.cpp.
Construct linear expression as sum of integer and Boolean variable.
Definition at line 637 of file int-expr.cpp.
Construct linear expression as sum of Boolean and integer variable.
Definition at line 646 of file int-expr.cpp.
Construct linear expression as sum of Boolean variables.
Definition at line 655 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 664 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 671 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 678 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 685 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 692 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 697 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 705 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 713 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 717 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 725 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 733 of file int-expr.cpp.
Construct linear expression as sum of integer variables.
Definition at line 737 of file int-expr.cpp.
Construct linear expression as sum of integer and Boolean variable.
Definition at line 746 of file int-expr.cpp.
Construct linear expression as sum of Boolean and integer variable.
Definition at line 755 of file int-expr.cpp.
Construct linear expression as sum of Boolean variables.
Definition at line 764 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 773 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 780 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 787 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 794 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 801 of file int-expr.cpp.
LinIntExpr Gecode::operator- | ( | const IntVar & | x | ) |
Construct linear expression as negative of integer variable.
Definition at line 806 of file int-expr.cpp.
LinIntExpr Gecode::operator- | ( | const BoolVar & | x | ) |
Construct linear expression as negative of Boolean variable.
Definition at line 813 of file int-expr.cpp.
LinIntExpr Gecode::operator- | ( | const LinIntExpr & | e | ) |
Construct linear expression as negative of linear expression.
Definition at line 820 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 825 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 835 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 845 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 855 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 865 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 872 of file int-expr.cpp.
LinIntExpr Gecode::sum | ( | const IntVarArgs & | x | ) |
Construct linear expression as sum of integer variables.
Definition at line 880 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 884 of file int-expr.cpp.
LinIntExpr Gecode::sum | ( | const BoolVarArgs & | x | ) |
Construct linear expression as sum of Boolean variables.
Definition at line 888 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 892 of file int-expr.cpp.
Construct linear expression as sum of IntArgs Slice elements.
Definition at line 896 of file int-expr.cpp.
Construct linear expression as sum of IntArgs Matrix elements.
Definition at line 901 of file int-expr.cpp.
LinIntExpr Gecode::sum | ( | const IntArgs & | args | ) |
Construct linear expression as sum of IntArgs.
Definition at line 906 of file int-expr.cpp.
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.