|
LinIntExpr | Gecode::operator+ (int, const IntVar &) |
| Construct linear expression as sum of integer variable and integer.
|
LinIntExpr | Gecode::operator+ (int, const BoolVar &) |
| Construct linear expression as sum of Boolean variable and integer.
|
LinIntExpr | Gecode::operator+ (int, const LinIntExpr &) |
| Construct linear expression as sum of linear expression and integer.
|
LinIntExpr | Gecode::operator+ (const IntVar &, int) |
| Construct linear expression as sum of integer variable and integer.
|
LinIntExpr | Gecode::operator+ (const BoolVar &, int) |
| Construct linear expression as sum of Boolean variable and integer.
|
LinIntExpr | Gecode::operator+ (const LinIntExpr &, int) |
| Construct linear expression as sum of linear expression and integer.
|
LinIntExpr | Gecode::operator+ (const IntVar &, const IntVar &) |
| Construct linear expression as sum of integer variables.
|
LinIntExpr | Gecode::operator+ (const IntVar &, const BoolVar &) |
| Construct linear expression as sum of integer and Boolean variable.
|
LinIntExpr | Gecode::operator+ (const BoolVar &, const IntVar &) |
| Construct linear expression as sum of Boolean and integer variable.
|
LinIntExpr | Gecode::operator+ (const BoolVar &, const BoolVar &) |
| Construct linear expression as sum of Boolean variables.
|
LinIntExpr | Gecode::operator+ (const IntVar &, const LinIntExpr &) |
| Construct linear expression as sum of integer variable and linear expression.
|
LinIntExpr | Gecode::operator+ (const BoolVar &, const LinIntExpr &) |
| Construct linear expression as sum of Boolean variable and linear expression.
|
LinIntExpr | Gecode::operator+ (const LinIntExpr &, const IntVar &) |
| Construct linear expression as sum of linear expression and integer variable.
|
LinIntExpr | Gecode::operator+ (const LinIntExpr &, const BoolVar &) |
| Construct linear expression as sum of linear expression and Boolean variable.
|
LinIntExpr | Gecode::operator+ (const LinIntExpr &, const LinIntExpr &) |
| Construct linear expression as sum of linear expressions.
|
LinIntExpr | Gecode::operator- (int, const IntVar &) |
| Construct linear expression as sum of integer variable and integer.
|
LinIntExpr | Gecode::operator- (int, const BoolVar &) |
| Construct linear expression as sum of Boolean variable and integer.
|
LinIntExpr | Gecode::operator- (int, const LinIntExpr &) |
| Construct linear expression as sum of integer and linear expression.
|
LinIntExpr | Gecode::operator- (const IntVar &, int) |
| Construct linear expression as sum of integer variable and integer.
|
LinIntExpr | Gecode::operator- (const BoolVar &, int) |
| Construct linear expression as sum of Boolean variable and integer.
|
LinIntExpr | Gecode::operator- (const LinIntExpr &, int) |
| Construct linear expression as sum of linear expression and integer.
|
LinIntExpr | Gecode::operator- (const IntVar &, const IntVar &) |
| Construct linear expression as sum of integer variables.
|
LinIntExpr | Gecode::operator- (const IntVar &, const BoolVar &) |
| Construct linear expression as sum of integer and Boolean variable.
|
LinIntExpr | Gecode::operator- (const BoolVar &, const IntVar &) |
| Construct linear expression as sum of Boolean and integer variable.
|
LinIntExpr | Gecode::operator- (const BoolVar &, const BoolVar &) |
| Construct linear expression as sum of Boolean variables.
|
LinIntExpr | Gecode::operator- (const IntVar &, const LinIntExpr &) |
| Construct linear expression as sum of integer variable and linear expression.
|
LinIntExpr | Gecode::operator- (const BoolVar &, const LinIntExpr &) |
| Construct linear expression as sum of Boolean variable and linear expression.
|
LinIntExpr | Gecode::operator- (const LinIntExpr &, const IntVar &) |
| Construct linear expression as sum of linear expression and integer variable.
|
LinIntExpr | Gecode::operator- (const LinIntExpr &, const BoolVar &) |
| Construct linear expression as sum of linear expression and Boolean variable.
|
LinIntExpr | Gecode::operator- (const LinIntExpr &, const LinIntExpr &) |
| Construct linear expression as sum of linear expressions.
|
LinIntExpr | Gecode::operator- (const IntVar &) |
| Construct linear expression as negative of integer variable.
|
LinIntExpr | Gecode::operator- (const BoolVar &) |
| Construct linear expression as negative of Boolean variable.
|
LinIntExpr | Gecode::operator- (const LinIntExpr &) |
| Construct linear expression as negative of linear expression.
|
LinIntExpr | Gecode::operator* (int, const IntVar &) |
| Construct linear expression as product of integer coefficient and integer variable.
|
LinIntExpr | Gecode::operator* (int, const BoolVar &) |
| Construct linear expression as product of integer coefficient and Boolean variable.
|
LinIntExpr | Gecode::operator* (const IntVar &, int) |
| Construct linear expression as product of integer coefficient and integer variable.
|
LinIntExpr | Gecode::operator* (const BoolVar &, int) |
| Construct linear expression as product of integer coefficient and Boolean variable.
|
LinIntExpr | Gecode::operator* (const LinIntExpr &, int) |
| Construct linear expression as product of integer coefficient and linear expression.
|
LinIntExpr | Gecode::operator* (int, const LinIntExpr &) |
| Construct linear expression as product of integer coefficient and linear expression.
|
LinIntExpr | Gecode::sum (const IntVarArgs &x) |
| Construct linear expression as sum of integer variables.
|
LinIntExpr | Gecode::sum (const IntArgs &a, const IntVarArgs &x) |
| Construct linear expression as sum of integer variables with coefficients.
|
LinIntExpr | Gecode::sum (const BoolVarArgs &x) |
| Construct linear expression as sum of Boolean variables.
|
LinIntExpr | Gecode::sum (const IntArgs &a, const BoolVarArgs &x) |
| Construct linear expression as sum of Boolean variables with coefficients.
|
LinIntExpr | Gecode::sum (const IntArgs &args) |
| Construct linear expression as sum of IntArgs.
|
LinIntRel | Gecode::operator== (int l, const IntVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (int l, const BoolVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (int l, const LinIntExpr &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const IntVar &l, int r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const BoolVar &l, int r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const LinIntExpr &l, int r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const IntVar &l, const IntVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const IntVar &l, const BoolVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const BoolVar &l, const IntVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const BoolVar &l, const BoolVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const IntVar &l, const LinIntExpr &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const BoolVar &l, const LinIntExpr &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const LinIntExpr &l, const IntVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const LinIntExpr &l, const BoolVar &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator== (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear equality relation.
|
LinIntRel | Gecode::operator!= (int l, const IntVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (int l, const BoolVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (int l, const LinIntExpr &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const IntVar &l, int r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const BoolVar &l, int r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const LinIntExpr &l, int r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const IntVar &l, const IntVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const IntVar &l, const BoolVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const BoolVar &l, const IntVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const BoolVar &l, const BoolVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const IntVar &l, const LinIntExpr &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const BoolVar &l, const LinIntExpr &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const LinIntExpr &l, const IntVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const LinIntExpr &l, const BoolVar &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator!= (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear disequality relation.
|
LinIntRel | Gecode::operator< (int l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (int l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (int l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const IntVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const BoolVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const LinIntExpr &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator< (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (int l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (int l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (int l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const IntVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const BoolVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const LinIntExpr &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator<= (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (int l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (int l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (int l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const IntVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const BoolVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const LinIntExpr &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator> (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (int l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (int l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (int l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const IntVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const BoolVar &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const LinIntExpr &l, int r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation.
|
LinIntRel | Gecode::operator>= (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation.
|
LinFloatExpr | Gecode::operator+ (const FloatVal &, const FloatVar &) |
| Construct linear float expression as sum of float variable and float.
|
LinFloatExpr | Gecode::operator+ (const FloatVal &, const LinFloatExpr &) |
| Construct linear float expression as sum of linear float expression and float.
|
LinFloatExpr | Gecode::operator+ (const FloatVar &, const FloatVal &) |
| Construct linear float expression as sum of float variable and float.
|
LinFloatExpr | Gecode::operator+ (const LinFloatExpr &, const FloatVal &) |
| Construct linear float expression as sum of linear float expression and float.
|
LinFloatExpr | Gecode::operator+ (const FloatVar &, const FloatVar &) |
| Construct linear float expression as sum of float variables.
|
LinFloatExpr | Gecode::operator+ (const FloatVar &, const LinFloatExpr &) |
| Construct linear float expression as sum of float variable and linear float expression.
|
LinFloatExpr | Gecode::operator+ (const LinFloatExpr &, const FloatVar &) |
| Construct linear float expression as sum of linear float expression and float variable.
|
LinFloatExpr | Gecode::operator+ (const LinFloatExpr &, const LinFloatExpr &) |
| Construct linear float expression as sum of linear float expressions.
|
LinFloatExpr | Gecode::operator- (const FloatVal &, const FloatVar &) |
| Construct linear float expression as sum of float variable and float.
|
LinFloatExpr | Gecode::operator- (const FloatVal &, const LinFloatExpr &) |
| Construct linear float expression as sum of float and linear float expression.
|
LinFloatExpr | Gecode::operator- (const FloatVar &, const FloatVal &) |
| Construct linear float expression as sum of float variable and float.
|
LinFloatExpr | Gecode::operator- (const LinFloatExpr &, const FloatVal &) |
| Construct linear float expression as sum of linear float expression and float.
|
LinFloatExpr | Gecode::operator- (const FloatVar &, const FloatVar &) |
| Construct linear float expression as sum of float variables.
|
LinFloatExpr | Gecode::operator- (const FloatVar &, const LinFloatExpr &) |
| Construct linear float expression as sum of float variable and linear float expression.
|
LinFloatExpr | Gecode::operator- (const LinFloatExpr &, const FloatVar &) |
| Construct linear float expression as sum of linear float expression and float variable.
|
LinFloatExpr | Gecode::operator- (const LinFloatExpr &, const LinFloatExpr &) |
| Construct linear float expression as sum of linear float expressions.
|
LinFloatExpr | Gecode::operator- (const FloatVar &) |
| Construct linear float expression as negative of float variable.
|
LinFloatExpr | Gecode::operator- (const LinFloatExpr &) |
| Construct linear float expression as negative of linear float expression.
|
LinFloatExpr | Gecode::operator* (const FloatVal &, const FloatVar &) |
| Construct linear float expression as product of float coefficient and float variable.
|
LinFloatExpr | Gecode::operator* (const FloatVar &, const FloatVal &) |
| Construct linear float expression as product of float coefficient and float variable.
|
LinFloatExpr | Gecode::operator* (const LinFloatExpr &, const FloatVal &) |
| Construct linear float expression as product of float coefficient and linear float expression.
|
LinFloatExpr | Gecode::operator* (const FloatVal &, const LinFloatExpr &) |
| Construct linear float expression as product of float coefficient and linear float expression.
|
LinFloatExpr | Gecode::sum (const FloatVarArgs &x) |
| Construct linear float expression as sum of float variables.
|
LinFloatExpr | Gecode::sum (const FloatValArgs &a, const FloatVarArgs &x) |
| Construct linear float expression as sum of float variables with coefficients.
|
LinFloatRel | Gecode::operator== (const FloatVal &l, const FloatVar &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const FloatVar &l, const FloatVal &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const FloatVar &l, const FloatVar &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float equality relation.
|
LinFloatRel | Gecode::operator!= (const FloatVal &l, const FloatVar &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const FloatVar &l, const FloatVal &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const FloatVar &l, const FloatVar &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator!= (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float disequality relation.
|
LinFloatRel | Gecode::operator< (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator> (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation.
|
LinFloatRel | Gecode::operator>= (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation.
|
SetExpr | Gecode::singleton (const LinIntExpr &) |
| Singleton expression.
|
SetExpr | Gecode::operator- (const SetExpr &) |
| Complement expression.
|
SetExpr | Gecode::operator& (const SetExpr &, const SetExpr &) |
| Intersection of set expressions.
|
SetExpr | Gecode::operator| (const SetExpr &, const SetExpr &) |
| Union of set expressions.
|
SetExpr | Gecode::operator+ (const SetExpr &, const SetExpr &) |
| Disjoint union of set expressions.
|
SetExpr | Gecode::operator- (const SetExpr &, const SetExpr &) |
| Difference of set expressions.
|
SetExpr | Gecode::inter (const SetVarArgs &) |
| Intersection of set variables.
|
SetExpr | Gecode::setunion (const SetVarArgs &) |
| Union of set variables.
|
SetExpr | Gecode::setdunion (const SetVarArgs &) |
| Disjoint union of set variables.
|
LinIntExpr | Gecode::cardinality (const SetExpr &) |
| Cardinality of set expression.
|
LinIntExpr | Gecode::min (const SetExpr &) |
| Minimum element of set expression.
|
LinIntExpr | Gecode::max (const SetExpr &) |
| Minimum element of set expression.
|
SetRel | Gecode::operator== (const SetExpr &, const SetExpr &) |
| Equality of set expressions.
|
SetRel | Gecode::operator!= (const SetExpr &, const SetExpr &) |
| Disequality of set expressions.
|
SetCmpRel | Gecode::operator<= (const SetExpr &, const SetExpr &) |
| Subset of set expressions.
|
BoolExpr | Gecode::operator<= (const SetCmpRel &, const SetExpr &) |
| Subset of set expressions.
|
SetCmpRel | Gecode::operator>= (const SetExpr &, const SetExpr &) |
| Superset of set expressions.
|
BoolExpr | Gecode::operator>= (const SetCmpRel &, const SetExpr &) |
| Superset of set expressions.
|
SetRel | Gecode::operator|| (const SetExpr &, const SetExpr &) |
| Disjointness of set expressions.
|
BoolExpr | Gecode::operator! (const BoolExpr &) |
| Negated Boolean expression.
|
BoolExpr | Gecode::operator&& (const BoolExpr &, const BoolExpr &) |
| Conjunction of Boolean expressions.
|
BoolExpr | Gecode::operator|| (const BoolExpr &, const BoolExpr &) |
| Disjunction of Boolean expressions.
|
BoolExpr | Gecode::operator^ (const BoolExpr &, const BoolExpr &) |
| Exclusive-or of Boolean expressions.
|
BoolExpr | Gecode::operator!= (const BoolExpr &, const BoolExpr &) |
| Non-equivalence of Boolean expressions.
|
BoolExpr | Gecode::operator== (const BoolExpr &, const BoolExpr &) |
| Equivalence of Boolean expressions.
|
BoolExpr | Gecode::operator>> (const BoolExpr &, const BoolExpr &) |
| Implication of Boolean expressions.
|
BoolExpr | Gecode::operator<< (const BoolExpr &, const BoolExpr &) |
| Reverse implication of Boolean expressions.
|
BoolExpr | Gecode::dom (const IntVar &x, int n) |
| Return expression for .
|
BoolExpr | Gecode::dom (const IntVar &x, int l, int m) |
| Return expression for .
|
BoolExpr | Gecode::dom (const IntVar &x, const IntSet &s) |
| Return expression for .
|
BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, int i) |
| Return expression for .
|
BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, int i, int j) |
| Return expression for .
|
BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, const IntSet &s) |
| Return expression for .
|
BoolExpr | Gecode::dom (const FloatVar &x, const FloatVal &n) |
| Return expression for .
|
BoolExpr | Gecode::dom (const FloatVar &x, FloatNum l, FloatNum u) |
| Return expression for .
|
BoolExpr | Gecode::operator== (const SetExpr &s, const LinIntExpr &x) |
| Return expression for .
|
BoolExpr | Gecode::operator== (const LinIntExpr &x, const SetExpr &s) |
| Return expression for .
|
BoolExpr | Gecode::operator== (const LinIntExpr &, IntSet)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator== (IntSet, const LinIntExpr &)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator!= (const SetExpr &s, const LinIntExpr &x) |
| Return expression for .
|
BoolExpr | Gecode::operator!= (const LinIntExpr &x, const SetExpr &s) |
| Return expression for .
|
BoolExpr | Gecode::operator!= (const LinIntExpr &, IntSet)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator!= (IntSet, const LinIntExpr &)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator<= (const SetExpr &s, const LinIntExpr &x) |
| Return expression for .
|
BoolExpr | Gecode::operator<= (const LinIntExpr &x, const SetExpr &s) |
| Return expression for .
|
BoolExpr | Gecode::operator<= (const LinIntExpr &, IntSet)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator<= (IntSet, const LinIntExpr &)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator< (const SetExpr &s, const LinIntExpr &x) |
| Return expression for .
|
BoolExpr | Gecode::operator< (const LinIntExpr &x, const SetExpr &s) |
| Return expression for .
|
BoolExpr | Gecode::operator< (const LinIntExpr &, IntSet)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator< (IntSet, const LinIntExpr &)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator>= (const SetExpr &s, const LinIntExpr &x) |
| Return expression for .
|
BoolExpr | Gecode::operator>= (const LinIntExpr &x, const SetExpr &s) |
| Return expression for .
|
BoolExpr | Gecode::operator>= (const LinIntExpr &, IntSet)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator>= (IntSet, const LinIntExpr &)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator> (const SetExpr &s, const LinIntExpr &x) |
| Return expression for .
|
BoolExpr | Gecode::operator> (const LinIntExpr &x, const SetExpr &s) |
| Return expression for .
|
BoolExpr | Gecode::operator> (const LinIntExpr &, IntSet)=delete |
| Prevent comparison with IntSet.
|
BoolExpr | Gecode::operator> (IntSet, const LinIntExpr &)=delete |
| Prevent comparison with IntSet.
|
IntVar | Gecode::expr (Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
| Post linear expression and return its value.
|
FloatVar | Gecode::expr (Home home, const LinFloatExpr &e) |
| Post float expression and return its value.
|
SetVar | Gecode::expr (Home home, const SetExpr &e) |
| Post set expression and return its value.
|
BoolVar | Gecode::expr (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
| Post Boolean expression and return its value.
|
void | Gecode::rel (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
| Post Boolean relation.
|
LinIntExpr | Gecode::operator* (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::operator/ (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::operator% (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::abs (const LinIntExpr &e) |
| Return expression for .
|
LinIntExpr | Gecode::min (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::min (const IntVarArgs &x) |
| Return expression for .
|
LinIntExpr | Gecode::max (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::max (const IntVarArgs &x) |
| Return expression for .
|
LinIntExpr | Gecode::sqr (const LinIntExpr &x) |
| Return expression for .
|
LinIntExpr | Gecode::sqrt (const LinIntExpr &x) |
| Return expression for .
|
LinIntExpr | Gecode::pow (const LinIntExpr &x, int n) |
| Return expression for .
|
LinIntExpr | Gecode::nroot (const LinIntExpr &x, int n) |
| Return expression for .
|
LinIntExpr | Gecode::element (const IntVarArgs &x, const LinIntExpr &y) |
| Return expression for .
|
BoolExpr | Gecode::element (const BoolVarArgs &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::element (const IntArgs &x, const LinIntExpr &y) |
| Return expression for .
|
LinIntExpr | Gecode::ite (const BoolExpr &b, const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for if-then-else .
|
LinFloatExpr | Gecode::operator* (const FloatVar &, const FloatVar &) |
| Return expression as product of float variables.
|
LinFloatExpr | Gecode::operator* (const FloatVar &, const LinFloatExpr &) |
| Return expression as product of float variable and linear float expression.
|
LinFloatExpr | Gecode::operator* (const LinFloatExpr &, const FloatVar &) |
| Return expression as product of linear float expression and float variable.
|
LinFloatExpr | Gecode::abs (const LinFloatExpr &e) |
| Return expression for .
|
LinFloatExpr | Gecode::min (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for .
|
LinFloatExpr | Gecode::min (const FloatVarArgs &x) |
| Return expression for .
|
LinFloatExpr | Gecode::max (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for .
|
LinFloatExpr | Gecode::max (const FloatVarArgs &x) |
| Return expression for .
|
LinFloatExpr | Gecode::operator* (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for .
|
LinFloatExpr | Gecode::operator/ (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for .
|
LinFloatExpr | Gecode::sqr (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::sqrt (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::pow (const LinFloatExpr &x, int n) |
| Return expression for .
|
LinFloatExpr | Gecode::nroot (const LinFloatExpr &x, int n) |
| Return expression for .
|
LinFloatExpr | Gecode::exp (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::log (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::asin (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::sin (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::acos (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::cos (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::atan (const LinFloatExpr &x) |
| Return expression for .
|
LinFloatExpr | Gecode::tan (const LinFloatExpr &x) |
| Return expression for .
|
BoolVar | Gecode::channel (Home home, IntVar x, IntPropLevel ipl=IPL_DEF) |
| Return Boolean variable equal to .
|
IntVar | Gecode::channel (Home home, BoolVar b, IntPropLevel ipl=IPL_DEF) |
| Return integer variable equal to .
|
IntVar | Gecode::channel (Home home, FloatVar f) |
| Return integer variable equal to .
|
SetVar | Gecode::channel (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Return set variable equal to .
|
void | Gecode::atmost (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atleast (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::exactly (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post lexical order between x and y.
|
void | Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post lexical order between x and y.
|
void | Gecode::values (Home home, const IntVarArgs &x, IntSet y, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
void | Gecode::channel (Home home, const IntVarArgs &x, SetVar y) |
| Post constraint .
|
void | Gecode::range (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
| Post constraint .
|
void | Gecode::roots (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
| Post constraint .
|
template<class A> |
Slice< A >::ArgsType | Gecode::operator+ (const Slice< A > &x, const Slice< A > &y) |
| Concatenate x and y.
|
template<class A> |
Slice< A >::ArgsType | Gecode::operator+ (const Slice< A > &x, const typename ArrayTraits< A >::ArgsType &y) |
| Concatenate x and y.
|
template<class A> |
Slice< A >::ArgsType | Gecode::operator+ (const typename ArrayTraits< A >::ArgsType &x, const Slice< A > &y) |
| Concatenate x and y.
|
template<class A> |
Slice< A >::ArgsType | Gecode::operator+ (const Slice< A > &x, const typename ArrayTraits< A >::ValueType &y) |
| Concatenate x and y.
|
template<class A> |
Slice< A >::ArgsType | Gecode::operator+ (const typename ArrayTraits< A >::ValueType &x, const Slice< A > &y) |
| Concatenate x and y.
|
LinIntExpr | Gecode::sum (const Slice< IntArgs > &slice) |
| Construct linear expression as sum of IntArgs Slice elements.
|
LinIntExpr | Gecode::sum (const Matrix< IntArgs > &matrix) |
| Construct linear expression as sum of IntArgs Matrix elements.
|