Generated on Fri Oct 19 11:26:28 2018 for Gecode by doxygen 1.6.3

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