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 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.
Construct linear expression as sum of integer variables.
Definition at line 618 of file int-expr.cpp.
Construct linear expression as sum of integer and Boolean variable.
Definition at line 627 of file int-expr.cpp.
Construct linear expression as sum of Boolean and integer variable.
Definition at line 636 of file int-expr.cpp.
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.
Construct linear expression as sum of integer variables.
Definition at line 727 of file int-expr.cpp.
Construct linear expression as sum of integer and Boolean variable.
Definition at line 736 of file int-expr.cpp.
Construct linear expression as sum of Boolean and integer variable.
Definition at line 745 of file int-expr.cpp.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.