Test::Float::Transcendental Namespace Reference
Tests for transcendental constraints More...
Classes | |
class | ExpXY |
Test for exponent constraint More... | |
class | ExpXYSol |
Test for exponent constraint where solution is ensured More... | |
class | ExpXX |
Test for exponent constraint with shared variables More... | |
class | LogXY |
Test for logarithm constraint More... | |
class | LogXYSol |
Test for logarithm constraint where solution is ensured More... | |
class | LogXX |
Test for logarithm constraint with shared variables More... | |
class | LogNXY |
Test for logarithm base n constraint More... | |
class | LogNXYSol |
Test for logarithm base n constraint where solution is ensured More... | |
class | LogNXX |
Test for logarithm base n constraint with shared variables More... | |
class | PowXY |
Test for pow exponent n constraint More... | |
class | PowXYSol |
Test for pow exponent n constraint where solution is ensured More... | |
class | PowXX |
Test for pow exponent n constraint with shared variables More... | |
Variables | |
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) |
ExpXY | exp_xy_a ("A", a, step) |
ExpXY | exp_xy_b ("B", b, step) |
ExpXY | exp_xy_c ("C", c, step) |
ExpXYSol | exp_xy_sol_a ("A", a, step) |
ExpXYSol | exp_xy_sol_b ("B", b, step) |
ExpXYSol | exp_xy_sol_c ("C", c, step) |
ExpXX | exp_xx_a ("A", a, step) |
ExpXX | exp_xx_b ("B", b, step) |
ExpXX | exp_xx_c ("C", c, step) |
LogXY | log_xy_a ("A", a, step) |
LogXY | log_xy_b ("B", b, step) |
LogXY | log_xy_c ("C", c, step) |
LogXYSol | log_xy_sol_a ("A", a, step) |
LogXYSol | log_xy_sol_b ("B", b, step) |
LogXYSol | log_xy_sol_c ("C", c, step) |
LogXX | log_xx_a ("A", a, step) |
LogXX | log_xx_b ("B", b, step) |
LogXX | log_xx_c ("C", c, step) |
LogNXY | logn_xy_a_1 ("A", a,-1.5, step) |
LogNXY | logn_xy_b_1 ("B", b,-1.5, step) |
LogNXY | logn_xy_c_1 ("C", c,-1.5, step) |
LogNXYSol | logn_xy_sol_a_1 ("A", a,-1.5, step) |
LogNXYSol | logn_xy_sol_b_1 ("B", b,-1.5, step) |
LogNXYSol | logn_xy_sol_c_1 ("C", c,-1.5, step) |
LogNXX | logn_xx_a_1 ("A", a,-1.5, step) |
LogNXX | logn_xx_b_1 ("B", b,-1.5, step) |
LogNXX | logn_xx_c_1 ("C", c,-1.5, step) |
LogNXY | logn_xy_a_2 ("A", a, 1.5, step) |
LogNXY | logn_xy_b_2 ("B", b, 1.5, step) |
LogNXY | logn_xy_c_2 ("C", c, 1.5, step) |
LogNXYSol | logn_xy_sol_a_2 ("A", a, 1.5, step) |
LogNXYSol | logn_xy_sol_b_2 ("B", b, 1.5, step) |
LogNXYSol | logn_xy_sol_c_2 ("C", c, 1.5, step) |
LogNXX | logn_xx_a_2 ("A", a, 1.5, step) |
LogNXX | logn_xx_b_2 ("B", b, 1.5, step) |
LogNXX | logn_xx_c_2 ("C", c, 1.5, step) |
LogNXY | logn_xy_a_3 ("A", a, 0, step) |
LogNXY | logn_xy_b_3 ("B", b, 0, step) |
LogNXY | logn_xy_c_3 ("C", c, 0, step) |
LogNXYSol | logn_xy_sol_a_3 ("A", a, 0, step) |
LogNXYSol | logn_xy_sol_b_3 ("B", b, 0, step) |
LogNXYSol | logn_xy_sol_c_3 ("C", c, 0, step) |
LogNXX | logn_xx_a_3 ("A", a, 0, step) |
LogNXX | logn_xx_b_3 ("B", b, 0, step) |
LogNXX | logn_xx_c_3 ("C", c, 0, step) |
PowXY | pow_xy_a_1 ("A", a,-1.5, step) |
PowXY | pow_xy_b_1 ("B", b,-1.5, step) |
PowXY | pow_xy_c_1 ("C", c,-1.5, step) |
PowXYSol | pow_xy_sol_a_1 ("A", a,-1.5, step) |
PowXYSol | pow_xy_sol_b_1 ("B", b,-1.5, step) |
PowXYSol | pow_xy_sol_c_1 ("C", c,-1.5, step) |
PowXX | pow_xx_a_1 ("A", a,-1.5, step) |
PowXX | pow_xx_b_1 ("B", b,-1.5, step) |
PowXX | pow_xx_c_1 ("C", c,-1.5, step) |
PowXY | pow_xy_a_2 ("A", a, 1.5, step) |
PowXY | pow_xy_b_2 ("B", b, 1.5, step) |
PowXY | pow_xy_c_2 ("C", c, 1.5, step) |
PowXYSol | pow_xy_sol_a_2 ("A", a, 1.5, step) |
PowXYSol | pow_xy_sol_b_2 ("B", b, 1.5, step) |
PowXYSol | pow_xy_sol_c_2 ("C", c, 1.5, step) |
PowXX | pow_xx_a_2 ("A", a, 1.5, step) |
PowXX | pow_xx_b_2 ("B", b, 1.5, step) |
PowXX | pow_xx_c_2 ("C", c, 1.5, 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) |
Detailed Description
Tests for transcendental constraints
Variable Documentation
const Gecode::FloatNum Test::Float::Transcendental::step = 0.15 |
Definition at line 315 of file transcendental.cpp.
Definition at line 316 of file transcendental.cpp.
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) |
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) |