Generated on Thu Apr 11 13:59:26 2019 for Gecode by doxygen 1.6.3

transcendental.cpp File Reference

#include "test/float.hh"
#include <gecode/minimodel.hh>
#include <cmath>
#include <algorithm>

Go to the source code of this file.

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)