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... | |
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.
LinIntExpr Gecode::operator+ | ( | int | c, |
const IntVar & | x | ||
) |
Construct linear expression as sum of integer variable and integer.
Definition at line 574 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 582 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 590 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 594 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 602 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 610 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 614 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 623 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 632 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 641 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 650 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 657 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 664 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 671 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 678 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 683 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 691 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 699 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 703 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 711 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 719 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 723 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 732 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 741 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 750 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 759 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 766 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 773 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 780 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 787 of file int-expr.cpp.
LinIntExpr Gecode::operator- | ( | const IntVar & | x | ) |
Construct linear expression as negative of integer variable.
Definition at line 792 of file int-expr.cpp.
LinIntExpr Gecode::operator- | ( | const BoolVar & | x | ) |
Construct linear expression as negative of Boolean variable.
Definition at line 799 of file int-expr.cpp.
LinIntExpr Gecode::operator- | ( | const LinIntExpr & | e | ) |
Construct linear expression as negative of linear expression.
Definition at line 806 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 811 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 821 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 831 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 841 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 851 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 858 of file int-expr.cpp.
LinIntExpr Gecode::sum | ( | const IntVarArgs & | x | ) |
Construct linear expression as sum of integer variables.
Definition at line 866 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 870 of file int-expr.cpp.
LinIntExpr Gecode::sum | ( | const BoolVarArgs & | x | ) |
Construct linear expression as sum of Boolean variables.
Definition at line 874 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 878 of file int-expr.cpp.
LinIntExpr Gecode::sum | ( | const IntArgs & | args | ) |
Construct linear expression as sum of IntArgs.
Definition at line 892 of file int-expr.cpp.
Construct linear equality relation.
Definition at line 43 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 47 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 51 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 55 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 59 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 63 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 67 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 71 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 75 of file int-rel.cpp.
Construct linear equality relation.
Definition at line 79 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 83 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 87 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 91 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 95 of file int-rel.cpp.
LinIntRel Gecode::operator== | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 99 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 104 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 108 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 112 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 116 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 120 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 124 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 128 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 132 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 136 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 140 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 144 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 148 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 152 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 156 of file int-rel.cpp.
LinIntRel Gecode::operator!= | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 160 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 165 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 169 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 173 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 177 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 181 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 185 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 189 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 193 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 197 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 201 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 205 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 209 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 213 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 217 of file int-rel.cpp.
LinIntRel Gecode::operator< | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 221 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 226 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 230 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 234 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 238 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 242 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 246 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 250 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 254 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 258 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 262 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 266 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 270 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 274 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 278 of file int-rel.cpp.
LinIntRel Gecode::operator<= | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 282 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 287 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 291 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 295 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 299 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 303 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 307 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 311 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 315 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 319 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 323 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 327 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 331 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 335 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 339 of file int-rel.cpp.
LinIntRel Gecode::operator> | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 343 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 348 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 352 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | int | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 356 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 360 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 364 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 368 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 372 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 376 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 380 of file int-rel.cpp.
Construct linear inequality relation.
Definition at line 384 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const IntVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 388 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const BoolVar & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 392 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 396 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 400 of file int-rel.cpp.
LinIntRel Gecode::operator>= | ( | const LinIntExpr & | l, |
const LinIntExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 404 of file int-rel.cpp.