|
class | MultXYZ |
| Test for multiplication constraint More...
|
|
class | MultXXY |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXYX |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXYY |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXXX |
| Test for multiplication constraint with shared variables More...
|
|
class | SqrXY |
| Test for squaring constraint More...
|
|
class | SqrXX |
| Test for squaring constraint with shared variables More...
|
|
class | SqrtXY |
| Test for square root constraint More...
|
|
class | SqrtXX |
| Test for square root constraint with shared variables More...
|
|
class | DivMod |
| Test for division/modulo constraint More...
|
|
class | Div |
| Test for division constraint More...
|
|
class | Mod |
| Test for modulo constraint More...
|
|
class | AbsXY |
| Test for absolute value constraint More...
|
|
class | AbsXX |
| Test for absolute value constraint with shared variables More...
|
|
class | MinXYZ |
| Test for binary minimum constraint More...
|
|
class | MinXXY |
| Test for binary minimum constraint with shared variables More...
|
|
class | MinXYX |
| Test for binary minimum constraint with shared variables More...
|
|
class | MinXYY |
| Test for binary minimum constraint with shared variables More...
|
|
class | MinXXX |
| Test for binary minimum constraint with shared variables More...
|
|
class | MaxXYZ |
| Test for binary maximum constraint More...
|
|
class | MaxXXY |
| Test for binary maximum constraint with shared variables More...
|
|
class | MaxXYX |
| Test for binary maximum constraint with shared variables More...
|
|
class | MaxXYY |
| Test for binary maximum constraint with shared variables More...
|
|
class | MaxXXX |
| Test for binary maximum constraint with shared variables More...
|
|
class | MinNary |
| Test for n-ary minimmum constraint More...
|
|
class | MinNaryShared |
| Test for n-ary minimmum constraint with shared variables More...
|
|
class | MaxNary |
| Test for n-ary maximum constraint More...
|
|
class | MaxNaryShared |
| Test for n-ary maximum constraint with shared variables More...
|
|
|
const int | va [7] |
|
const int | vb [9] |
|
Gecode::IntSet | a (va, 7) |
|
Gecode::IntSet | b (vb, 9) |
|
Gecode::IntSet | c (-8, 8) |
|
MultXYZ | mult_xyz_b_a ("A", a, Gecode::ICL_BND) |
|
MultXYZ | mult_xyz_b_b ("B", b, Gecode::ICL_BND) |
|
MultXYZ | mult_xyz_b_c ("C", c, Gecode::ICL_BND) |
|
MultXXY | mult_xxy_b_a ("A", a, Gecode::ICL_BND) |
|
MultXXY | mult_xxy_b_b ("B", b, Gecode::ICL_BND) |
|
MultXXY | mult_xxy_b_c ("C", c, Gecode::ICL_BND) |
|
MultXYX | mult_xyx_b_a ("A", a, Gecode::ICL_BND) |
|
MultXYX | mult_xyx_b_b ("B", b, Gecode::ICL_BND) |
|
MultXYX | mult_xyx_b_c ("C", c, Gecode::ICL_BND) |
|
MultXYY | mult_xyy_b_a ("A", a, Gecode::ICL_BND) |
|
MultXYY | mult_xyy_b_b ("B", b, Gecode::ICL_BND) |
|
MultXYY | mult_xyy_b_c ("C", c, Gecode::ICL_BND) |
|
MultXXX | mult_xxx_b_a ("A", a, Gecode::ICL_BND) |
|
MultXXX | mult_xxx_b_b ("B", b, Gecode::ICL_BND) |
|
MultXXX | mult_xxx_b_c ("C", c, Gecode::ICL_BND) |
|
MultXYZ | mult_xyz_d_a ("A", a, Gecode::ICL_DOM) |
|
MultXYZ | mult_xyz_d_b ("B", b, Gecode::ICL_DOM) |
|
MultXYZ | mult_xyz_d_c ("C", c, Gecode::ICL_DOM) |
|
MultXXY | mult_xxy_d_a ("A", a, Gecode::ICL_DOM) |
|
MultXXY | mult_xxy_d_b ("B", b, Gecode::ICL_DOM) |
|
MultXXY | mult_xxy_d_c ("C", c, Gecode::ICL_DOM) |
|
MultXYX | mult_xyx_d_a ("A", a, Gecode::ICL_DOM) |
|
MultXYX | mult_xyx_d_b ("B", b, Gecode::ICL_DOM) |
|
MultXYX | mult_xyx_d_c ("C", c, Gecode::ICL_DOM) |
|
MultXYY | mult_xyy_d_a ("A", a, Gecode::ICL_DOM) |
|
MultXYY | mult_xyy_d_b ("B", b, Gecode::ICL_DOM) |
|
MultXYY | mult_xyy_d_c ("C", c, Gecode::ICL_DOM) |
|
MultXXX | mult_xxx_d_a ("A", a, Gecode::ICL_DOM) |
|
MultXXX | mult_xxx_d_b ("B", b, Gecode::ICL_DOM) |
|
MultXXX | mult_xxx_d_c ("C", c, Gecode::ICL_DOM) |
|
SqrXY | sqr_xy_b_a ("A", a, Gecode::ICL_BND) |
|
SqrXY | sqr_xy_b_b ("B", b, Gecode::ICL_BND) |
|
SqrXY | sqr_xy_b_c ("C", c, Gecode::ICL_BND) |
|
SqrXY | sqr_xy_d_a ("A", a, Gecode::ICL_DOM) |
|
SqrXY | sqr_xy_d_b ("B", b, Gecode::ICL_DOM) |
|
SqrXY | sqr_xy_d_c ("C", c, Gecode::ICL_DOM) |
|
SqrXX | sqr_xx_b_a ("A", a, Gecode::ICL_BND) |
|
SqrXX | sqr_xx_b_b ("B", b, Gecode::ICL_BND) |
|
SqrXX | sqr_xx_b_c ("C", c, Gecode::ICL_BND) |
|
SqrXX | sqr_xx_d_a ("A", a, Gecode::ICL_DOM) |
|
SqrXX | sqr_xx_d_b ("B", b, Gecode::ICL_DOM) |
|
SqrXX | sqr_xx_d_c ("C", c, Gecode::ICL_DOM) |
|
SqrtXY | sqrt_xy_b_a ("A", a, Gecode::ICL_BND) |
|
SqrtXY | sqrt_xy_b_b ("B", b, Gecode::ICL_BND) |
|
SqrtXY | sqrt_xy_b_c ("C", c, Gecode::ICL_BND) |
|
SqrtXY | sqrt_xy_d_a ("A", a, Gecode::ICL_DOM) |
|
SqrtXY | sqrt_xy_d_b ("B", b, Gecode::ICL_DOM) |
|
SqrtXY | sqrt_xy_d_c ("C", c, Gecode::ICL_DOM) |
|
SqrtXX | sqrt_xx_b_a ("A", a, Gecode::ICL_BND) |
|
SqrtXX | sqrt_xx_b_b ("B", b, Gecode::ICL_BND) |
|
SqrtXX | sqrt_xx_b_c ("C", c, Gecode::ICL_BND) |
|
SqrtXX | sqrt_xx_d_a ("A", a, Gecode::ICL_DOM) |
|
SqrtXX | sqrt_xx_d_b ("B", b, Gecode::ICL_DOM) |
|
SqrtXX | sqrt_xx_d_c ("C", c, Gecode::ICL_DOM) |
|
DivMod | divmod_a_bnd ("A", a) |
|
DivMod | divmod_b_bnd ("B", b) |
|
DivMod | divmod_c_bnd ("C", c) |
|
Div | div_a_bnd ("A", a) |
|
Div | div_b_bnd ("B", b) |
|
Div | div_c_bnd ("C", c) |
|
Mod | mod_a_bnd ("A", a) |
|
Mod | mod_b_bnd ("B", b) |
|
Mod | mod_c_bnd ("C", c) |
|
AbsXY | abs_xy_b_a ("A", a, Gecode::ICL_BND) |
|
AbsXY | abs_xy_b_b ("B", b, Gecode::ICL_BND) |
|
AbsXY | abs_xy_b_c ("C", c, Gecode::ICL_BND) |
|
AbsXY | abs_xy_d_a ("A", a, Gecode::ICL_DOM) |
|
AbsXY | abs_xy_d_b ("B", b, Gecode::ICL_DOM) |
|
AbsXY | abs_xy_d_c ("C", c, Gecode::ICL_DOM) |
|
AbsXX | abs_xx_b_a ("A", a, Gecode::ICL_BND) |
|
AbsXX | abs_xx_b_b ("B", b, Gecode::ICL_BND) |
|
AbsXX | abs_xx_b_c ("C", c, Gecode::ICL_BND) |
|
AbsXX | abs_xx_d_a ("A", a, Gecode::ICL_DOM) |
|
AbsXX | abs_xx_d_b ("B", b, Gecode::ICL_DOM) |
|
AbsXX | abs_xx_d_c ("C", c, Gecode::ICL_DOM) |
|
MinXYZ | min_xyz_b_a ("A", a, Gecode::ICL_BND) |
|
MinXYZ | min_xyz_b_b ("B", b, Gecode::ICL_BND) |
|
MinXYZ | min_xyz_b_c ("C", c, Gecode::ICL_BND) |
|
MinXYZ | min_xyz_d_a ("A", a, Gecode::ICL_DOM) |
|
MinXYZ | min_xyz_d_b ("B", b, Gecode::ICL_DOM) |
|
MinXYZ | min_xyz_d_c ("C", c, Gecode::ICL_DOM) |
|
MinXXY | min_xxy_b_a ("A", a, Gecode::ICL_BND) |
|
MinXXY | min_xxy_b_b ("B", b, Gecode::ICL_BND) |
|
MinXXY | min_xxy_b_c ("C", c, Gecode::ICL_BND) |
|
MinXXY | min_xxy_d_a ("A", a, Gecode::ICL_DOM) |
|
MinXXY | min_xxy_d_b ("B", b, Gecode::ICL_DOM) |
|
MinXXY | min_xxy_d_c ("C", c, Gecode::ICL_DOM) |
|
MinXYX | min_xyx_b_a ("A", a, Gecode::ICL_BND) |
|
MinXYX | min_xyx_b_b ("B", b, Gecode::ICL_BND) |
|
MinXYX | min_xyx_b_c ("C", c, Gecode::ICL_BND) |
|
MinXYX | min_xyx_d_a ("A", a, Gecode::ICL_DOM) |
|
MinXYX | min_xyx_d_b ("B", b, Gecode::ICL_DOM) |
|
MinXYX | min_xyx_d_c ("C", c, Gecode::ICL_DOM) |
|
MinXYY | min_xyy_b_a ("A", a, Gecode::ICL_BND) |
|
MinXYY | min_xyy_b_b ("B", b, Gecode::ICL_BND) |
|
MinXYY | min_xyy_b_c ("C", c, Gecode::ICL_BND) |
|
MinXYY | min_xyy_d_a ("A", a, Gecode::ICL_DOM) |
|
MinXYY | min_xyy_d_b ("B", b, Gecode::ICL_DOM) |
|
MinXYY | min_xyy_d_c ("C", c, Gecode::ICL_DOM) |
|
MinXXX | min_xxx_b_a ("A", a, Gecode::ICL_BND) |
|
MinXXX | min_xxx_b_b ("B", b, Gecode::ICL_BND) |
|
MinXXX | min_xxx_b_c ("C", c, Gecode::ICL_BND) |
|
MinXXX | min_xxx_d_a ("A", a, Gecode::ICL_DOM) |
|
MinXXX | min_xxx_d_b ("B", b, Gecode::ICL_DOM) |
|
MinXXX | min_xxx_d_c ("C", c, Gecode::ICL_DOM) |
|
MaxXYZ | max_xyz_b_a ("A", a, Gecode::ICL_BND) |
|
MaxXYZ | max_xyz_b_b ("B", b, Gecode::ICL_BND) |
|
MaxXYZ | max_xyz_b_c ("C", c, Gecode::ICL_BND) |
|
MaxXYZ | max_xyz_d_a ("A", a, Gecode::ICL_DOM) |
|
MaxXYZ | max_xyz_d_b ("B", b, Gecode::ICL_DOM) |
|
MaxXYZ | max_xyz_d_c ("C", c, Gecode::ICL_DOM) |
|
MaxXXY | max_xxy_b_a ("A", a, Gecode::ICL_BND) |
|
MaxXXY | max_xxy_b_b ("B", b, Gecode::ICL_BND) |
|
MaxXXY | max_xxy_b_c ("C", c, Gecode::ICL_BND) |
|
MaxXXY | max_xxy_d_a ("A", a, Gecode::ICL_DOM) |
|
MaxXXY | max_xxy_d_b ("B", b, Gecode::ICL_DOM) |
|
MaxXXY | max_xxy_d_c ("C", c, Gecode::ICL_DOM) |
|
MaxXYX | max_xyx_b_a ("A", a, Gecode::ICL_BND) |
|
MaxXYX | max_xyx_b_b ("B", b, Gecode::ICL_BND) |
|
MaxXYX | max_xyx_b_c ("C", c, Gecode::ICL_BND) |
|
MaxXYX | max_xyx_d_a ("A", a, Gecode::ICL_DOM) |
|
MaxXYX | max_xyx_d_b ("B", b, Gecode::ICL_DOM) |
|
MaxXYX | max_xyx_d_c ("C", c, Gecode::ICL_DOM) |
|
MaxXYY | max_xyy_b_a ("A", a, Gecode::ICL_BND) |
|
MaxXYY | max_xyy_b_b ("B", b, Gecode::ICL_BND) |
|
MaxXYY | max_xyy_b_c ("C", c, Gecode::ICL_BND) |
|
MaxXYY | max_xyy_d_a ("A", a, Gecode::ICL_DOM) |
|
MaxXYY | max_xyy_d_b ("B", b, Gecode::ICL_DOM) |
|
MaxXYY | max_xyy_d_c ("C", c, Gecode::ICL_DOM) |
|
MaxXXX | max_xxx_b_a ("A", a, Gecode::ICL_BND) |
|
MaxXXX | max_xxx_b_b ("B", b, Gecode::ICL_BND) |
|
MaxXXX | max_xxx_b_c ("C", c, Gecode::ICL_BND) |
|
MaxXXX | max_xxx_d_a ("A", a, Gecode::ICL_DOM) |
|
MaxXXX | max_xxx_d_b ("B", b, Gecode::ICL_DOM) |
|
MaxXXX | max_xxx_d_c ("C", c, Gecode::ICL_DOM) |
|
MinNary | min_nary_b (Gecode::ICL_BND) |
|
MinNary | min_nary_d (Gecode::ICL_DOM) |
|
MinNaryShared | min_s_nary_b (Gecode::ICL_BND) |
|
MinNaryShared | min_s_nary_d (Gecode::ICL_DOM) |
|
MaxNary | max_nary_b (Gecode::ICL_BND) |
|
MaxNary | max_nary_d (Gecode::ICL_DOM) |
|
MaxNaryShared | max_s_nary_b (Gecode::ICL_BND) |
|
MaxNaryShared | max_s_nary_d (Gecode::ICL_DOM) |
|
Tests for arithmetic constraints