Functions | |
LinExpr | Gecode::operator+ (int, const IntVar &) |
Construct linear expression as sum of integer variable and integer. | |
LinExpr | Gecode::operator+ (int, const BoolVar &) |
Construct linear expression as sum of Boolean variable and integer. | |
LinExpr | Gecode::operator+ (int, const LinExpr &) |
Construct linear expression as sum of linear expression and integer. | |
LinExpr | Gecode::operator+ (const IntVar &, int) |
Construct linear expression as sum of integer variable and integer. | |
LinExpr | Gecode::operator+ (const BoolVar &, int) |
Construct linear expression as sum of Boolean variable and integer. | |
LinExpr | Gecode::operator+ (const LinExpr &, int) |
Construct linear expression as sum of linear expression and integer. | |
LinExpr | Gecode::operator+ (const IntVar &, const IntVar &) |
Construct linear expression as sum of integer variables. | |
LinExpr | Gecode::operator+ (const IntVar &, const BoolVar &) |
Construct linear expression as sum of integer and Boolean variable. | |
LinExpr | Gecode::operator+ (const BoolVar &, const IntVar &) |
Construct linear expression as sum of Boolean and integer variable. | |
LinExpr | Gecode::operator+ (const BoolVar &, const BoolVar &) |
Construct linear expression as sum of Boolean variables. | |
LinExpr | Gecode::operator+ (const IntVar &, const LinExpr &) |
Construct linear expression as sum of integer variable and linear expression. | |
LinExpr | Gecode::operator+ (const BoolVar &, const LinExpr &) |
Construct linear expression as sum of Boolean variable and linear expression. | |
LinExpr | Gecode::operator+ (const LinExpr &, const IntVar &) |
Construct linear expression as sum of linear expression and integer variable. | |
LinExpr | Gecode::operator+ (const LinExpr &, const BoolVar &) |
Construct linear expression as sum of linear expression and Boolean variable. | |
LinExpr | Gecode::operator+ (const LinExpr &, const LinExpr &) |
Construct linear expression as sum of linear expressions. | |
LinExpr | Gecode::operator- (int, const IntVar &) |
Construct linear expression as sum of integer variable and integer. | |
LinExpr | Gecode::operator- (int, const BoolVar &) |
Construct linear expression as sum of Boolean variable and integer. | |
LinExpr | Gecode::operator- (int, const LinExpr &) |
Construct linear expression as sum of integer and linear expression. | |
LinExpr | Gecode::operator- (const IntVar &, int) |
Construct linear expression as sum of integer variable and integer. | |
LinExpr | Gecode::operator- (const BoolVar &, int) |
Construct linear expression as sum of Boolean variable and integer. | |
LinExpr | Gecode::operator- (const LinExpr &, int) |
Construct linear expression as sum of linear expression and integer. | |
LinExpr | Gecode::operator- (const IntVar &, const IntVar &) |
Construct linear expression as sum of integer variables. | |
LinExpr | Gecode::operator- (const IntVar &, const BoolVar &) |
Construct linear expression as sum of integer and Boolean variable. | |
LinExpr | Gecode::operator- (const BoolVar &, const IntVar &) |
Construct linear expression as sum of Boolean and integer variable. | |
LinExpr | Gecode::operator- (const BoolVar &, const BoolVar &) |
Construct linear expression as sum of Boolean variables. | |
LinExpr | Gecode::operator- (const IntVar &, const LinExpr &) |
Construct linear expression as sum of integer variable and linear expression. | |
LinExpr | Gecode::operator- (const BoolVar &, const LinExpr &) |
Construct linear expression as sum of Boolean variable and linear expression. | |
LinExpr | Gecode::operator- (const LinExpr &, const IntVar &) |
Construct linear expression as sum of linear expression and integer variable. | |
LinExpr | Gecode::operator- (const LinExpr &, const BoolVar &) |
Construct linear expression as sum of linear expression and Boolean variable. | |
LinExpr | Gecode::operator- (const LinExpr &, const LinExpr &) |
Construct linear expression as sum of linear expressions. | |
LinExpr | Gecode::operator- (const IntVar &) |
Construct linear expression as negative of integer variable. | |
LinExpr | Gecode::operator- (const BoolVar &) |
Construct linear expression as negative of Boolean variable. | |
LinExpr | Gecode::operator- (const LinExpr &) |
Construct linear expression as negative of linear expression. | |
LinExpr | Gecode::operator* (int, const IntVar &) |
Construct linear expression as product of integer coefficient and integer variable. | |
LinExpr | Gecode::operator* (int, const BoolVar &) |
Construct linear expression as product of integer coefficient and Boolean variable. | |
LinExpr | Gecode::operator* (const IntVar &, int) |
Construct linear expression as product of integer coefficient and integer variable. | |
LinExpr | Gecode::operator* (const BoolVar &, int) |
Construct linear expression as product of integer coefficient and Boolean variable. | |
LinExpr | Gecode::operator* (const LinExpr &, int) |
Construct linear expression as product of integer coefficient and linear expression. | |
LinExpr | Gecode::operator* (int, const LinExpr &) |
Construct linear expression as product of integer coefficient and linear expression. | |
LinExpr | Gecode::sum (const IntVarArgs &x) |
Construct linear expression as sum of integer variables. | |
LinExpr | Gecode::sum (const IntArgs &a, const IntVarArgs &x) |
Construct linear expression as sum of integer variables with coefficients. | |
LinExpr | Gecode::sum (const BoolVarArgs &x) |
Construct linear expression as sum of Boolean variables. | |
LinExpr | Gecode::sum (const IntArgs &a, const BoolVarArgs &x) |
Construct linear expression as sum of Boolean variables with coefficients. | |
LinRel | Gecode::operator== (int l, const IntVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (int l, const BoolVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (int l, const LinExpr &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const IntVar &l, int r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const BoolVar &l, int r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const LinExpr &l, int r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const IntVar &l, const IntVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const IntVar &l, const BoolVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const BoolVar &l, const IntVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const BoolVar &l, const BoolVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const IntVar &l, const LinExpr &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const BoolVar &l, const LinExpr &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const LinExpr &l, const IntVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const LinExpr &l, const BoolVar &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator== (const LinExpr &l, const LinExpr &r) |
Construct linear equality relation. | |
LinRel | Gecode::operator!= (int l, const IntVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (int l, const BoolVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (int l, const LinExpr &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const IntVar &l, int r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const BoolVar &l, int r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const LinExpr &l, int r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const IntVar &l, const IntVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const IntVar &l, const BoolVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const BoolVar &l, const IntVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const BoolVar &l, const BoolVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const IntVar &l, const LinExpr &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const BoolVar &l, const LinExpr &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const LinExpr &l, const IntVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const LinExpr &l, const BoolVar &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator!= (const LinExpr &l, const LinExpr &r) |
Construct linear disequality relation. | |
LinRel | Gecode::operator< (int l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (int l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (int l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const IntVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const BoolVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const LinExpr &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const IntVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const BoolVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const LinExpr &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const LinExpr &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator< (const LinExpr &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (int l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (int l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (int l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const IntVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const BoolVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const LinExpr &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const IntVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const BoolVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const LinExpr &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const LinExpr &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator<= (const LinExpr &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (int l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (int l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (int l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const IntVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const BoolVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const LinExpr &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const IntVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const BoolVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const LinExpr &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const LinExpr &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator> (const LinExpr &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (int l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (int l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (int l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const IntVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const BoolVar &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const LinExpr &l, int r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const IntVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const IntVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const BoolVar &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const BoolVar &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const IntVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const BoolVar &l, const LinExpr &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const LinExpr &l, const IntVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const LinExpr &l, const BoolVar &r) |
Construct linear inequality relation. | |
LinRel | Gecode::operator>= (const LinExpr &l, const LinExpr &r) |
Construct linear inequality relation. |
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.
LinExpr Gecode::operator+ | ( | int | c, |
const IntVar & | x | ||
) |
Construct linear expression as sum of integer variable and integer.
Definition at line 283 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | int | c, |
const BoolVar & | x | ||
) |
Construct linear expression as sum of Boolean variable and integer.
Definition at line 290 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | int | c, |
const LinExpr & | e | ||
) |
Construct linear expression as sum of linear expression and integer.
Definition at line 297 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const IntVar & | x, |
int | c | ||
) |
Construct linear expression as sum of integer variable and integer.
Definition at line 301 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, |
int | c | ||
) |
Construct linear expression as sum of Boolean variable and integer.
Definition at line 308 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const LinExpr & | e, |
int | c | ||
) |
Construct linear expression as sum of linear expression and integer.
Definition at line 315 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const IntVar & | x, |
const IntVar & | y | ||
) |
Construct linear expression as sum of integer variables.
Definition at line 319 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const IntVar & | x, |
const BoolVar & | y | ||
) |
Construct linear expression as sum of integer and Boolean variable.
Definition at line 328 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, |
const IntVar & | y | ||
) |
Construct linear expression as sum of Boolean and integer variable.
Definition at line 337 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, |
const BoolVar & | y | ||
) |
Construct linear expression as sum of Boolean variables.
Definition at line 346 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const IntVar & | x, |
const LinExpr & | e | ||
) |
Construct linear expression as sum of integer variable and linear expression.
Definition at line 355 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, |
const LinExpr & | e | ||
) |
Construct linear expression as sum of Boolean variable and linear expression.
Definition at line 362 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const LinExpr & | e, |
const IntVar & | x | ||
) |
Construct linear expression as sum of linear expression and integer variable.
Definition at line 369 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const LinExpr & | e, |
const BoolVar & | x | ||
) |
Construct linear expression as sum of linear expression and Boolean variable.
Definition at line 376 of file lin-expr.cpp.
LinExpr Gecode::operator+ | ( | const LinExpr & | e1, |
const LinExpr & | e2 | ||
) |
Construct linear expression as sum of linear expressions.
Definition at line 383 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | int | c, |
const IntVar & | x | ||
) |
Construct linear expression as sum of integer variable and integer.
Definition at line 388 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | int | c, |
const BoolVar & | x | ||
) |
Construct linear expression as sum of Boolean variable and integer.
Definition at line 395 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | int | c, |
const LinExpr & | e | ||
) |
Construct linear expression as sum of integer and linear expression.
Definition at line 402 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const IntVar & | x, |
int | c | ||
) |
Construct linear expression as sum of integer variable and integer.
Definition at line 406 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const BoolVar & | x, |
int | c | ||
) |
Construct linear expression as sum of Boolean variable and integer.
Definition at line 413 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const LinExpr & | e, |
int | c | ||
) |
Construct linear expression as sum of linear expression and integer.
Definition at line 420 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const IntVar & | x, |
const IntVar & | y | ||
) |
Construct linear expression as sum of integer variables.
Definition at line 424 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const IntVar & | x, |
const BoolVar & | y | ||
) |
Construct linear expression as sum of integer and Boolean variable.
Definition at line 433 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const BoolVar & | x, |
const IntVar & | y | ||
) |
Construct linear expression as sum of Boolean and integer variable.
Definition at line 442 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const BoolVar & | x, |
const BoolVar & | y | ||
) |
Construct linear expression as sum of Boolean variables.
Definition at line 451 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const IntVar & | x, |
const LinExpr & | e | ||
) |
Construct linear expression as sum of integer variable and linear expression.
Definition at line 460 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const BoolVar & | x, |
const LinExpr & | e | ||
) |
Construct linear expression as sum of Boolean variable and linear expression.
Definition at line 467 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const LinExpr & | e, |
const IntVar & | x | ||
) |
Construct linear expression as sum of linear expression and integer variable.
Definition at line 474 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const LinExpr & | e, |
const BoolVar & | x | ||
) |
Construct linear expression as sum of linear expression and Boolean variable.
Definition at line 481 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const LinExpr & | e1, |
const LinExpr & | e2 | ||
) |
Construct linear expression as sum of linear expressions.
Definition at line 488 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const IntVar & | x | ) |
Construct linear expression as negative of integer variable.
Definition at line 493 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const BoolVar & | x | ) |
Construct linear expression as negative of Boolean variable.
Definition at line 500 of file lin-expr.cpp.
LinExpr Gecode::operator- | ( | const LinExpr & | e | ) |
Construct linear expression as negative of linear expression.
Definition at line 507 of file lin-expr.cpp.
LinExpr Gecode::operator* | ( | int | a, |
const IntVar & | x | ||
) |
Construct linear expression as product of integer coefficient and integer variable.
Definition at line 512 of file lin-expr.cpp.
LinExpr Gecode::operator* | ( | int | a, |
const BoolVar & | x | ||
) |
Construct linear expression as product of integer coefficient and Boolean variable.
Definition at line 522 of file lin-expr.cpp.
LinExpr Gecode::operator* | ( | const IntVar & | x, |
int | a | ||
) |
Construct linear expression as product of integer coefficient and integer variable.
Definition at line 532 of file lin-expr.cpp.
LinExpr Gecode::operator* | ( | const BoolVar & | x, |
int | a | ||
) |
Construct linear expression as product of integer coefficient and Boolean variable.
Definition at line 542 of file lin-expr.cpp.
LinExpr Gecode::operator* | ( | const LinExpr & | e, |
int | a | ||
) |
Construct linear expression as product of integer coefficient and linear expression.
Definition at line 552 of file lin-expr.cpp.
LinExpr Gecode::operator* | ( | int | a, |
const LinExpr & | e | ||
) |
Construct linear expression as product of integer coefficient and linear expression.
Definition at line 559 of file lin-expr.cpp.
LinExpr Gecode::sum | ( | const IntVarArgs & | x | ) |
Construct linear expression as sum of integer variables.
Definition at line 567 of file lin-expr.cpp.
LinExpr Gecode::sum | ( | const IntArgs & | a, |
const IntVarArgs & | x | ||
) |
Construct linear expression as sum of integer variables with coefficients.
Definition at line 571 of file lin-expr.cpp.
LinExpr Gecode::sum | ( | const BoolVarArgs & | x | ) |
Construct linear expression as sum of Boolean variables.
Definition at line 575 of file lin-expr.cpp.
LinExpr Gecode::sum | ( | const IntArgs & | a, |
const BoolVarArgs & | x | ||
) |
Construct linear expression as sum of Boolean variables with coefficients.
Definition at line 579 of file lin-expr.cpp.
LinRel Gecode::operator== | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 47 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 51 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | int | l, |
const LinExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 55 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 59 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 63 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const LinExpr & | l, |
int | r | ||
) |
Construct linear equality relation.
Definition at line 67 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 71 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 75 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 79 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 83 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const IntVar & | l, |
const LinExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 87 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const BoolVar & | l, |
const LinExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 91 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const LinExpr & | l, |
const IntVar & | r | ||
) |
Construct linear equality relation.
Definition at line 95 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const LinExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear equality relation.
Definition at line 99 of file lin-rel.cpp.
LinRel Gecode::operator== | ( | const LinExpr & | l, |
const LinExpr & | r | ||
) |
Construct linear equality relation.
Definition at line 103 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 108 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 112 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | int | l, |
const LinExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 116 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 120 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 124 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const LinExpr & | l, |
int | r | ||
) |
Construct linear disequality relation.
Definition at line 128 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 132 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 136 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 140 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 144 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const IntVar & | l, |
const LinExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 148 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const BoolVar & | l, |
const LinExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 152 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const LinExpr & | l, |
const IntVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 156 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const LinExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear disequality relation.
Definition at line 160 of file lin-rel.cpp.
LinRel Gecode::operator!= | ( | const LinExpr & | l, |
const LinExpr & | r | ||
) |
Construct linear disequality relation.
Definition at line 164 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 169 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 173 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | int | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 177 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 181 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 185 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const LinExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 189 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 193 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 197 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 201 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 205 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const IntVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 209 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const BoolVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 213 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const LinExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 217 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const LinExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 221 of file lin-rel.cpp.
LinRel Gecode::operator< | ( | const LinExpr & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 225 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 230 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 234 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | int | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 238 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 242 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 246 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const LinExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 250 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 254 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 258 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 262 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 266 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const IntVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 270 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const BoolVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 274 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const LinExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 278 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const LinExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 282 of file lin-rel.cpp.
LinRel Gecode::operator<= | ( | const LinExpr & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 286 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 291 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 295 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | int | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 299 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 303 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 307 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const LinExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 311 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 315 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 319 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 323 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 327 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const IntVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 331 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const BoolVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 335 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const LinExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 339 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const LinExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 343 of file lin-rel.cpp.
LinRel Gecode::operator> | ( | const LinExpr & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 347 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | int | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 352 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | int | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 356 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | int | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 360 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const IntVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 364 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const BoolVar & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 368 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const LinExpr & | l, |
int | r | ||
) |
Construct linear inequality relation.
Definition at line 372 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const IntVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 376 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const IntVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 380 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const BoolVar & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 384 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const BoolVar & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 388 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const IntVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 392 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const BoolVar & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 396 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const LinExpr & | l, |
const IntVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 400 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const LinExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear inequality relation.
Definition at line 404 of file lin-rel.cpp.
LinRel Gecode::operator>= | ( | const LinExpr & | l, |
const LinExpr & | r | ||
) |
Construct linear inequality relation.
Definition at line 408 of file lin-rel.cpp.