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