Tests for arithmetic constraints.
|
Classes |
| 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...
|
Variables |
| 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) |
