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.

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

Definition at line 316 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)