Linear expressions and relations
[Direct modeling support]
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. |
Detailed Description
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.
Function Documentation
LinExpr Gecode::operator+ | ( | int | c, | |
const IntVar & | x | |||
) |
Construct linear expression as sum of integer variable and integer.
LinExpr Gecode::operator+ | ( | int | c, | |
const BoolVar & | x | |||
) |
Construct linear expression as sum of Boolean variable and integer.
LinExpr Gecode::operator+ | ( | int | c, | |
const LinExpr & | e | |||
) |
Construct linear expression as sum of linear expression and integer.
LinExpr Gecode::operator+ | ( | const IntVar & | x, | |
int | c | |||
) |
Construct linear expression as sum of integer variable and integer.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, | |
int | c | |||
) |
Construct linear expression as sum of Boolean variable and integer.
LinExpr Gecode::operator+ | ( | const LinExpr & | e, | |
int | c | |||
) |
Construct linear expression as sum of linear expression and integer.
LinExpr Gecode::operator+ | ( | const IntVar & | x, | |
const IntVar & | y | |||
) |
Construct linear expression as sum of integer variables.
LinExpr Gecode::operator+ | ( | const IntVar & | x, | |
const BoolVar & | y | |||
) |
Construct linear expression as sum of integer and Boolean variable.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, | |
const IntVar & | y | |||
) |
Construct linear expression as sum of Boolean and integer variable.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, | |
const BoolVar & | y | |||
) |
Construct linear expression as sum of Boolean variables.
LinExpr Gecode::operator+ | ( | const IntVar & | x, | |
const LinExpr & | e | |||
) |
Construct linear expression as sum of integer variable and linear expression.
LinExpr Gecode::operator+ | ( | const BoolVar & | x, | |
const LinExpr & | e | |||
) |
Construct linear expression as sum of Boolean variable and linear expression.
LinExpr Gecode::operator+ | ( | const LinExpr & | e, | |
const IntVar & | x | |||
) |
Construct linear expression as sum of linear expression and integer variable.
LinExpr Gecode::operator+ | ( | const LinExpr & | e, | |
const BoolVar & | x | |||
) |
Construct linear expression as sum of linear expression and Boolean variable.
LinExpr Gecode::operator+ | ( | const LinExpr & | e1, | |
const LinExpr & | e2 | |||
) |
Construct linear expression as sum of linear expressions.
LinExpr Gecode::operator- | ( | int | c, | |
const IntVar & | x | |||
) |
Construct linear expression as sum of integer variable and integer.
LinExpr Gecode::operator- | ( | int | c, | |
const BoolVar & | x | |||
) |
Construct linear expression as sum of Boolean variable and integer.
LinExpr Gecode::operator- | ( | int | c, | |
const LinExpr & | e | |||
) |
Construct linear expression as sum of integer and linear expression.
LinExpr Gecode::operator- | ( | const IntVar & | x, | |
int | c | |||
) |
Construct linear expression as sum of integer variable and integer.
LinExpr Gecode::operator- | ( | const BoolVar & | x, | |
int | c | |||
) |
Construct linear expression as sum of Boolean variable and integer.
LinExpr Gecode::operator- | ( | const LinExpr & | e, | |
int | c | |||
) |
Construct linear expression as sum of linear expression and integer.
LinExpr Gecode::operator- | ( | const IntVar & | x, | |
const IntVar & | y | |||
) |
Construct linear expression as sum of integer variables.
LinExpr Gecode::operator- | ( | const IntVar & | x, | |
const BoolVar & | y | |||
) |
Construct linear expression as sum of integer and Boolean variable.
LinExpr Gecode::operator- | ( | const BoolVar & | x, | |
const IntVar & | y | |||
) |
Construct linear expression as sum of Boolean and integer variable.
LinExpr Gecode::operator- | ( | const BoolVar & | x, | |
const BoolVar & | y | |||
) |
Construct linear expression as sum of Boolean variables.
LinExpr Gecode::operator- | ( | const IntVar & | x, | |
const LinExpr & | e | |||
) |
Construct linear expression as sum of integer variable and linear expression.
LinExpr Gecode::operator- | ( | const BoolVar & | x, | |
const LinExpr & | e | |||
) |
Construct linear expression as sum of Boolean variable and linear expression.
LinExpr Gecode::operator- | ( | const LinExpr & | e, | |
const IntVar & | x | |||
) |
Construct linear expression as sum of linear expression and integer variable.
LinExpr Gecode::operator- | ( | const LinExpr & | e, | |
const BoolVar & | x | |||
) |
Construct linear expression as sum of linear expression and Boolean variable.
LinExpr Gecode::operator- | ( | const LinExpr & | e1, | |
const LinExpr & | e2 | |||
) |
Construct linear expression as sum of linear expressions.
LinExpr Gecode::operator- | ( | const IntVar & | x | ) |
Construct linear expression as negative of integer variable.
LinExpr Gecode::operator- | ( | const BoolVar & | x | ) |
Construct linear expression as negative of Boolean variable.
LinExpr Gecode::operator- | ( | const LinExpr & | e | ) |
Construct linear expression as negative of linear expression.
LinExpr Gecode::operator* | ( | int | a, | |
const IntVar & | x | |||
) |
Construct linear expression as product of integer coefficient and integer variable.
LinExpr Gecode::operator* | ( | int | a, | |
const BoolVar & | x | |||
) |
Construct linear expression as product of integer coefficient and Boolean variable.
LinExpr Gecode::operator* | ( | const IntVar & | x, | |
int | a | |||
) |
Construct linear expression as product of integer coefficient and integer variable.
LinExpr Gecode::operator* | ( | const BoolVar & | x, | |
int | a | |||
) |
Construct linear expression as product of integer coefficient and Boolean variable.
LinExpr Gecode::operator* | ( | const LinExpr & | e, | |
int | a | |||
) |
Construct linear expression as product of integer coefficient and linear expression.
LinExpr Gecode::operator* | ( | int | a, | |
const LinExpr & | e | |||
) |
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.