|
class | AbsXX |
| Test for absolute value constraint with shared variables More...
|
|
class | AbsXY |
| Test for absolute value constraint More...
|
|
class | Div |
| Test for division constraint More...
|
|
class | DivSol |
| Test for division constraint when solution is ensured More...
|
|
class | MaxNary |
| Test for n-ary maximum constraint More...
|
|
class | MaxNaryShared |
| Test for n-ary maximum constraint with shared variables More...
|
|
class | MaxXXX |
| Test for binary maximum constraint with shared variables 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 | MaxXYZ |
| Test for binary maximum constraint More...
|
|
class | MinNary |
| Test for n-ary minimmum constraint More...
|
|
class | MinNaryShared |
| Test for n-ary minimmum constraint with shared variables More...
|
|
class | MinXXX |
| Test for binary minimum constraint with shared variables 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 | MinXYZ |
| Test for binary minimum constraint More...
|
|
class | MultXXX |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXXY |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXXYSol |
| Test for multiplication constraint with shared variables when solution is ensured More...
|
|
class | MultXYX |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXYY |
| Test for multiplication constraint with shared variables More...
|
|
class | MultXYZ |
| Test for multiplication constraint More...
|
|
class | MultXYZSol |
| Test for multiplication constraint when solution is ensured More...
|
|
class | NRootXX |
| Test for nroot constraint with shared variables More...
|
|
class | NRootXY |
| Test for nroot constraint More...
|
|
class | NRootXYSol |
| Test for nroot constraint where solution is ensured More...
|
|
class | PowXX |
| Test for pow constraint with shared variables More...
|
|
class | PowXY |
| Test for pow constraint More...
|
|
class | PowXYSol |
| Test for pow constraint where solution is ensured More...
|
|
class | SqrtXX |
| Test for square root constraint with shared variables More...
|
|
class | SqrtXY |
| Test for square root constraint More...
|
|
class | SqrtXYSol |
| Test for square root constraint where solution is ensured More...
|
|
class | SqrXX |
| Test for squaring constraint with shared variables More...
|
|
class | SqrXY |
| Test for squaring constraint More...
|
|
class | SqrXYSol |
| Test for squaring constraint where solution is ensured More...
|
|
|
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