Classes |
class | Test::Float::Transcendental::ExpXY |
| Test for exponent constraint More...
|
class | Test::Float::Transcendental::ExpXYSol |
| Test for exponent constraint where solution is ensured More...
|
class | Test::Float::Transcendental::ExpXX |
| Test for exponent constraint with shared variables More...
|
class | Test::Float::Transcendental::LogXY |
| Test for logarithm constraint More...
|
class | Test::Float::Transcendental::LogXYSol |
| Test for logarithm constraint where solution is ensured More...
|
class | Test::Float::Transcendental::LogXX |
| Test for logarithm constraint with shared variables More...
|
class | Test::Float::Transcendental::LogNXY |
| Test for logarithm base n constraint More...
|
class | Test::Float::Transcendental::LogNXYSol |
| Test for logarithm base n constraint where solution is ensured More...
|
class | Test::Float::Transcendental::LogNXX |
| Test for logarithm base n constraint with shared variables More...
|
class | Test::Float::Transcendental::PowXY |
| Test for pow exponent n constraint More...
|
class | Test::Float::Transcendental::PowXYSol |
| Test for pow exponent n constraint where solution is ensured More...
|
class | Test::Float::Transcendental::PowXX |
| Test for pow exponent n constraint with shared variables More...
|
Namespaces |
namespace | Test |
| General test support.
|
namespace | Test::Float |
| Testing domain floats.
|
namespace | Test::Float::Transcendental |
| Tests for transcendental constraints
|
Variables |
const Gecode::FloatNum | Test::Float::Transcendental::step = 0.15 |
const Gecode::FloatNum | Test::Float::Transcendental::step2 = 2*step |
Gecode::FloatVal | Test::Float::Transcendental::a (-8, 5) |
Gecode::FloatVal | Test::Float::Transcendental::b (9, 12) |
Gecode::FloatVal | Test::Float::Transcendental::c (-8, 8) |
ExpXY | Test::Float::Transcendental::exp_xy_a ("A", a, step) |
ExpXY | Test::Float::Transcendental::exp_xy_b ("B", b, step) |
ExpXY | Test::Float::Transcendental::exp_xy_c ("C", c, step) |
ExpXYSol | Test::Float::Transcendental::exp_xy_sol_a ("A", a, step) |
ExpXYSol | Test::Float::Transcendental::exp_xy_sol_b ("B", b, step) |
ExpXYSol | Test::Float::Transcendental::exp_xy_sol_c ("C", c, step) |
ExpXX | Test::Float::Transcendental::exp_xx_a ("A", a, step) |
ExpXX | Test::Float::Transcendental::exp_xx_b ("B", b, step) |
ExpXX | Test::Float::Transcendental::exp_xx_c ("C", c, step) |
LogXY | Test::Float::Transcendental::log_xy_a ("A", a, step) |
LogXY | Test::Float::Transcendental::log_xy_b ("B", b, step) |
LogXY | Test::Float::Transcendental::log_xy_c ("C", c, step) |
LogXYSol | Test::Float::Transcendental::log_xy_sol_a ("A", a, step) |
LogXYSol | Test::Float::Transcendental::log_xy_sol_b ("B", b, step) |
LogXYSol | Test::Float::Transcendental::log_xy_sol_c ("C", c, step) |
LogXX | Test::Float::Transcendental::log_xx_a ("A", a, step) |
LogXX | Test::Float::Transcendental::log_xx_b ("B", b, step) |
LogXX | Test::Float::Transcendental::log_xx_c ("C", c, step) |
LogNXY | Test::Float::Transcendental::logn_xy_a_1 ("A", a,-1.5, step) |
LogNXY | Test::Float::Transcendental::logn_xy_b_1 ("B", b,-1.5, step) |
LogNXY | Test::Float::Transcendental::logn_xy_c_1 ("C", c,-1.5, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_a_1 ("A", a,-1.5, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_b_1 ("B", b,-1.5, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_c_1 ("C", c,-1.5, step) |
LogNXX | Test::Float::Transcendental::logn_xx_a_1 ("A", a,-1.5, step) |
LogNXX | Test::Float::Transcendental::logn_xx_b_1 ("B", b,-1.5, step) |
LogNXX | Test::Float::Transcendental::logn_xx_c_1 ("C", c,-1.5, step) |
LogNXY | Test::Float::Transcendental::logn_xy_a_2 ("A", a, 1.5, step) |
LogNXY | Test::Float::Transcendental::logn_xy_b_2 ("B", b, 1.5, step) |
LogNXY | Test::Float::Transcendental::logn_xy_c_2 ("C", c, 1.5, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_a_2 ("A", a, 1.5, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_b_2 ("B", b, 1.5, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_c_2 ("C", c, 1.5, step) |
LogNXX | Test::Float::Transcendental::logn_xx_a_2 ("A", a, 1.5, step) |
LogNXX | Test::Float::Transcendental::logn_xx_b_2 ("B", b, 1.5, step) |
LogNXX | Test::Float::Transcendental::logn_xx_c_2 ("C", c, 1.5, step) |
LogNXY | Test::Float::Transcendental::logn_xy_a_3 ("A", a, 0, step) |
LogNXY | Test::Float::Transcendental::logn_xy_b_3 ("B", b, 0, step) |
LogNXY | Test::Float::Transcendental::logn_xy_c_3 ("C", c, 0, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_a_3 ("A", a, 0, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_b_3 ("B", b, 0, step) |
LogNXYSol | Test::Float::Transcendental::logn_xy_sol_c_3 ("C", c, 0, step) |
LogNXX | Test::Float::Transcendental::logn_xx_a_3 ("A", a, 0, step) |
LogNXX | Test::Float::Transcendental::logn_xx_b_3 ("B", b, 0, step) |
LogNXX | Test::Float::Transcendental::logn_xx_c_3 ("C", c, 0, step) |
PowXY | Test::Float::Transcendental::pow_xy_a_1 ("A", a,-1.5, step) |
PowXY | Test::Float::Transcendental::pow_xy_b_1 ("B", b,-1.5, step) |
PowXY | Test::Float::Transcendental::pow_xy_c_1 ("C", c,-1.5, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_a_1 ("A", a,-1.5, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_b_1 ("B", b,-1.5, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_c_1 ("C", c,-1.5, step) |
PowXX | Test::Float::Transcendental::pow_xx_a_1 ("A", a,-1.5, step) |
PowXX | Test::Float::Transcendental::pow_xx_b_1 ("B", b,-1.5, step) |
PowXX | Test::Float::Transcendental::pow_xx_c_1 ("C", c,-1.5, step) |
PowXY | Test::Float::Transcendental::pow_xy_a_2 ("A", a, 1.5, step) |
PowXY | Test::Float::Transcendental::pow_xy_b_2 ("B", b, 1.5, step) |
PowXY | Test::Float::Transcendental::pow_xy_c_2 ("C", c, 1.5, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_a_2 ("A", a, 1.5, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_b_2 ("B", b, 1.5, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_c_2 ("C", c, 1.5, step) |
PowXX | Test::Float::Transcendental::pow_xx_a_2 ("A", a, 1.5, step) |
PowXX | Test::Float::Transcendental::pow_xx_b_2 ("B", b, 1.5, step) |
PowXX | Test::Float::Transcendental::pow_xx_c_2 ("C", c, 1.5, step) |
PowXY | Test::Float::Transcendental::pow_xy_a_3 ("A", a, 0, step) |
PowXY | Test::Float::Transcendental::pow_xy_b_3 ("B", b, 0, step) |
PowXY | Test::Float::Transcendental::pow_xy_c_3 ("C", c, 0, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_a_3 ("A", a, 0, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_b_3 ("B", b, 0, step) |
PowXYSol | Test::Float::Transcendental::pow_xy_sol_c_3 ("C", c, 0, step) |
PowXX | Test::Float::Transcendental::pow_xx_a_3 ("A", a, 0, step) |
PowXX | Test::Float::Transcendental::pow_xx_b_3 ("B", b, 0, step) |
PowXX | Test::Float::Transcendental::pow_xx_c_3 ("C", c, 0, step) |