|
| Test::Float::Arithmetic::PositiveNRootBounds | positive_nroot_bounds |
| Test::Float::Arithmetic::PowConsistency | pow_consistency |
| Test::Float::Arithmetic::MultZeroEndpoint | mult_zero_endpoint |
| const Gecode::FloatNum | step = 0.15 |
| Gecode::FloatVal | a (-8, 5) |
| Gecode::FloatVal | b (9, 12) |
| Gecode::FloatVal | c (-8, 8) |
| MultXXY | mult_xxy_a ("A", a, step) |
| MultXXY | mult_xxy_b ("B", b, step) |
| MultXXY | mult_xxy_c ("C", c, step) |
| MultXXYSol | mult_xxy_sol_a ("A", a, step) |
| MultXXYSol | mult_xxy_sol_b ("B", b, step) |
| MultXXYSol | mult_xxy_sol_c ("C", c, step) |
| MultXYX | mult_xyx_a ("A", a, step) |
| MultXYX | mult_xyx_b ("B", b, step) |
| MultXYX | mult_xyx_c ("C", c, step) |
| MultXYY | mult_xyy_a ("A", a, step) |
| MultXYY | mult_xyy_b ("B", b, step) |
| MultXYY | mult_xyy_c ("C", c, step) |
| MultXXX | mult_xxx_a ("A", a, step) |
| MultXXX | mult_xxx_b ("B", b, step) |
| MultXXX | mult_xxx_c ("C", c, step) |
| MultXYZ | mult_xyz_a ("A", a, step) |
| MultXYZ | mult_xyz_b ("B", b, step) |
| MultXYZ | mult_xyz_c ("C", c, step) |
| MultXYZSol | mult_xyz_sol_a ("A", a, step) |
| MultXYZSol | mult_xyz_sol_b ("B", b, step) |
| MultXYZSol | mult_xyz_sol_c ("C", c, step) |
| Div | div_a ("A", a, step) |
| Div | div_b ("B", b, step) |
| Div | div_c ("C", c, step) |
| DivSol | div_sol_a ("A", a, step) |
| DivSol | div_sol_b ("B", b, step) |
| DivSol | div_sol_c ("C", c, step) |
| SqrXY | sqr_xy_a ("A", a, step) |
| SqrXY | sqr_xy_b ("B", b, step) |
| SqrXY | sqr_xy_c ("C", c, step) |
| SqrXYSol | sqr_xy_sol_a ("A", a, step) |
| SqrXYSol | sqr_xy_sol_b ("B", b, step) |
| SqrXYSol | sqr_xy_sol_c ("C", c, step) |
| SqrXX | sqr_xx_a ("A", a, step) |
| SqrXX | sqr_xx_b ("B", b, step) |
| SqrXX | sqr_xx_c ("C", c, step) |
| SqrtXY | sqrt_xy_a ("A", a, step) |
| SqrtXY | sqrt_xy_b ("B", b, step) |
| SqrtXY | sqrt_xy_c ("C", c, step) |
| SqrtXYSol | sqrt_xy_sol_a ("A", a, step) |
| SqrtXYSol | sqrt_xy_sol_b ("B", b, step) |
| SqrtXYSol | sqrt_xy_sol_c ("C", c, step) |
| SqrtXX | sqrt_xx_a ("A", a, step) |
| SqrtXX | sqrt_xx_b ("B", b, step) |
| SqrtXX | sqrt_xx_c ("C", c, step) |
| PowXY | pow_xy_a_1 ("A", a, 2, step) |
| PowXY | pow_xy_b_1 ("B", b, 2, step) |
| PowXY | pow_xy_c_1 ("C", c, 2, step) |
| PowXYSol | pow_xy_sol_a_1 ("A", a, 2, step) |
| PowXYSol | pow_xy_sol_b_1 ("B", b, 2, step) |
| PowXYSol | pow_xy_sol_c_1 ("C", c, 2, step) |
| PowXX | pow_xx_a_1 ("A", a, 2, step) |
| PowXX | pow_xx_b_1 ("B", b, 2, step) |
| PowXX | pow_xx_c_1 ("C", c, 2, step) |
| PowXY | pow_xy_a_2 ("A", a, 3, step) |
| PowXY | pow_xy_b_2 ("B", b, 3, step) |
| PowXY | pow_xy_c_2 ("C", c, 3, step) |
| PowXYSol | pow_xy_sol_a_2 ("A", a, 3, step) |
| PowXYSol | pow_xy_sol_b_2 ("B", b, 3, step) |
| PowXYSol | pow_xy_sol_c_2 ("C", c, 3, step) |
| PowXX | pow_xx_a_2 ("A", a, 3, step) |
| PowXX | pow_xx_b_2 ("B", b, 3, step) |
| PowXX | pow_xx_c_2 ("C", c, 3, step) |
| PowXY | pow_xy_a_3 ("A", a, 0, step) |
| PowXY | pow_xy_b_3 ("B", b, 0, step) |
| PowXY | pow_xy_c_3 ("C", c, 0, step) |
| PowXYSol | pow_xy_sol_a_3 ("A", a, 0, step) |
| PowXYSol | pow_xy_sol_b_3 ("B", b, 0, step) |
| PowXYSol | pow_xy_sol_c_3 ("C", c, 0, step) |
| PowXX | pow_xx_a_3 ("A", a, 0, step) |
| PowXX | pow_xx_b_3 ("B", b, 0, step) |
| PowXX | pow_xx_c_3 ("C", c, 0, step) |
| NRootXY | nroot_xy_a_1 ("A", a, 2, step) |
| NRootXY | nroot_xy_b_1 ("B", b, 2, step) |
| NRootXY | nroot_xy_c_1 ("C", c, 2, step) |
| NRootXYSol | nroot_xy_sol_a_1 ("A", a, 2, step) |
| NRootXYSol | nroot_xy_sol_b_1 ("B", b, 2, step) |
| NRootXYSol | nroot_xy_sol_c_1 ("C", c, 2, step) |
| NRootXX | nroot_xx_a_1 ("A", a, 2, step) |
| NRootXX | nroot_xx_b_1 ("B", b, 2, step) |
| NRootXX | nroot_xx_c_1 ("C", c, 2, step) |
| NRootXY | nroot_xy_a_2 ("A", a, 3, step) |
| NRootXY | nroot_xy_b_2 ("B", b, 3, step) |
| NRootXY | nroot_xy_c_2 ("C", c, 3, step) |
| NRootXYSol | nroot_xy_sol_a_2 ("A", a, 3, step) |
| NRootXYSol | nroot_xy_sol_b_2 ("B", b, 3, step) |
| NRootXYSol | nroot_xy_sol_c_2 ("C", c, 3, step) |
| NRootXX | nroot_xx_a_2 ("A", a, 3, step) |
| NRootXX | nroot_xx_b_2 ("B", b, 3, step) |
| NRootXX | nroot_xx_c_2 ("C", c, 3, step) |
| NRootXY | nroot_xy_a_3 ("A", a, 0, step) |
| NRootXY | nroot_xy_b_3 ("B", b, 0, step) |
| NRootXY | nroot_xy_c_3 ("C", c, 0, step) |
| NRootXYSol | nroot_xy_sol_a_3 ("A", a, 0, step) |
| NRootXYSol | nroot_xy_sol_b_3 ("B", b, 0, step) |
| NRootXYSol | nroot_xy_sol_c_3 ("C", c, 0, step) |
| NRootXX | nroot_xx_a_3 ("A", a, 0, step) |
| NRootXX | nroot_xx_b_3 ("B", b, 0, step) |
| NRootXX | nroot_xx_c_3 ("C", c, 0, step) |
| AbsXY | abs_xy_a ("A", a, step) |
| AbsXY | abs_xy_b ("B", b, step) |
| AbsXY | abs_xy_c ("C", c, step) |
| AbsXX | abs_xx_a ("A", a, step) |
| AbsXX | abs_xx_b ("B", b, step) |
| AbsXX | abs_xx_c ("C", c, step) |
| MinXYZ | min_xyz_a ("A", a, step) |
| MinXYZ | min_xyz_b ("B", b, step) |
| MinXYZ | min_xyz_c ("C", c, step) |
| MinXXY | min_xxy_a ("A", a, step) |
| MinXXY | min_xxy_b ("B", b, step) |
| MinXXY | min_xxy_c ("C", c, step) |
| MinXYX | min_xyx_a ("A", a, step) |
| MinXYX | min_xyx_b ("B", b, step) |
| MinXYX | min_xyx_c ("C", c, step) |
| MinXYY | min_xyy_a ("A", a, step) |
| MinXYY | min_xyy_b ("B", b, step) |
| MinXYY | min_xyy_c ("C", c, step) |
| MinXXX | min_xxx_a ("A", a, step) |
| MinXXX | min_xxx_b ("B", b, step) |
| MinXXX | min_xxx_c ("C", c, step) |
| MaxXYZ | max_xyz_a ("A", a, step) |
| MaxXYZ | max_xyz_b ("B", b, step) |
| MaxXYZ | max_xyz_c ("C", c, step) |
| MaxXXY | max_xxy_a ("A", a, step) |
| MaxXXY | max_xxy_b ("B", b, step) |
| MaxXXY | max_xxy_c ("C", c, step) |
| MaxXYX | max_xyx_a ("A", a, step) |
| MaxXYX | max_xyx_b ("B", b, step) |
| MaxXYX | max_xyx_c ("C", c, step) |
| MaxXYY | max_xyy_a ("A", a, step) |
| MaxXYY | max_xyy_b ("B", b, step) |
| MaxXYY | max_xyy_c ("C", c, step) |
| MaxXXX | max_xxx_a ("A", a, step) |
| MaxXXX | max_xxx_b ("B", b, step) |
| MaxXXX | max_xxx_c ("C", c, step) |
| MinNary | min_nary |
| MinNaryShared | min_s_nary |
| MaxNary | max_nary |
| MaxNaryShared | max_s_nary |
Tests for arithmetic constraints