Generated on Sat Feb 7 2015 02:01:54 for Gecode by doxygen 1.8.9.1
Test::Float::Transcendental Namespace Reference

Tests for transcendental constraints More...

Classes

class  ExpXX
 Test for exponent constraint with shared variables More...
 
class  ExpXY
 Test for exponent constraint More...
 
class  ExpXYSol
 Test for exponent constraint where solution is ensured More...
 
class  LogNXX
 Test for logarithm base n 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  LogXX
 Test for logarithm constraint with shared variables More...
 
class  LogXY
 Test for logarithm constraint More...
 
class  LogXYSol
 Test for logarithm constraint where solution is ensured More...
 
class  PowXX
 Test for pow exponent 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...
 

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 319 of file transcendental.cpp.

const Gecode::FloatNum Test::Float::Transcendental::step2 = 2*step

Definition at line 320 of file transcendental.cpp.

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)