|
| const Gecode::FloatNum | step = 0.15 |
| |
| const Gecode::FloatNum | step2 = 2*step |
| |
| Gecode::FloatVal | a (-8, 5) |
| |
| Gecode::FloatVal | b (9, 12) |
| |
| Gecode::FloatVal | c (-8, 8) |
| |
| SinXY | sin_xy_a ("A", a, step) |
| |
| SinXY | sin_xy_b ("B", b, step) |
| |
| SinXY | sin_xy_c ("C", c, step) |
| |
| SinXYSol | sin_xy_sol_a ("A", a, step) |
| |
| SinXYSol | sin_xy_sol_b ("B", b, step) |
| |
| SinXYSol | sin_xy_sol_c ("C", c, step) |
| |
| SinXX | sin_xx_a ("A", a, step) |
| |
| SinXX | sin_xx_b ("B", b, step) |
| |
| SinXX | sin_xx_c ("C", c, step) |
| |
| CosXY | cos_xy_a ("A", a, step) |
| |
| CosXY | cos_xy_b ("B", b, step) |
| |
| CosXY | cos_xy_c ("C", c, step) |
| |
| CosXYSol | cos_xy_sol_a ("A", a, step) |
| |
| CosXYSol | cos_xy_sol_b ("B", b, step) |
| |
| CosXYSol | cos_xy_sol_c ("C", c, step) |
| |
| CosXX | cos_xx_a ("A", a, step) |
| |
| CosXX | cos_xx_b ("B", b, step) |
| |
| CosXX | cos_xx_c ("C", c, step) |
| |
| TanXY | tan_xy_a ("A", a, step) |
| |
| TanXY | tan_xy_b ("B", b, step) |
| |
| TanXY | tan_xy_c ("C", c, step) |
| |
| TanXYSol | tan_xy_sol_a ("A", a, step) |
| |
| TanXYSol | tan_xy_sol_b ("B", b, step) |
| |
| TanXYSol | tan_xy_sol_c ("C", c, step) |
| |
| TanXX | tan_xx_a ("A", a, step) |
| |
| TanXX | tan_xx_b ("B", b, step) |
| |
| TanXX | tan_xx_c ("C", c, step) |
| |
| ASinXY | asin_xy_a ("A", a, step) |
| |
| ASinXY | asin_xy_b ("B", b, step) |
| |
| ASinXY | asin_xy_c ("C", c, step) |
| |
| ASinXYSol | asin_xy_sol_a ("A", a, step) |
| |
| ASinXYSol | asin_xy_sol_b ("B", b, step) |
| |
| ASinXYSol | asin_xy_sol_c ("C", c, step) |
| |
| ASinXX | asin_xx_a ("A", a, step) |
| |
| ASinXX | asin_xx_b ("B", b, step) |
| |
| ASinXX | asin_xx_c ("C", c, step) |
| |
| ACosXY | acos_xy_a ("A", a, step) |
| |
| ACosXY | acos_xy_b ("B", b, step) |
| |
| ACosXY | acos_xy_c ("C", c, step) |
| |
| ACosXYSol | acos_xy_sol_a ("A", a, step) |
| |
| ACosXYSol | acos_xy_sol_b ("B", b, step) |
| |
| ACosXYSol | acos_xy_sol_c ("C", c, step) |
| |
| ACosXX | acos_xx_a ("A", a, step) |
| |
| ACosXX | acos_xx_b ("B", b, step) |
| |
| ACosXX | acos_xx_c ("C", c, step) |
| |
| ATanXY | atan_xy_a ("A", a, step) |
| |
| ATanXY | atan_xy_b ("B", b, step) |
| |
| ATanXY | atan_xy_c ("C", c, step) |
| |
| ATanXYSol | atan_xy_sol_a ("A", a, step) |
| |
| ATanXYSol | atan_xy_sol_b ("B", b, step) |
| |
| ATanXYSol | atan_xy_sol_c ("C", c, step) |
| |
| ATanXX | atan_xx_a ("A", a, step) |
| |
| ATanXX | atan_xx_b ("B", b, step) |
| |
| ATanXX | atan_xx_c ("C", c, step) |
| |
Tests for trigonometric constraints