|
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