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

trigonometric.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::Trigonometric::SinXY
 Test for sinus constraint More...
class  Test::Float::Trigonometric::SinXYSol
 Test for sinus constraint where solution is ensured More...
class  Test::Float::Trigonometric::SinXX
 Test for sinus constraint with shared variables More...
class  Test::Float::Trigonometric::CosXY
 Test for cosinus constraint More...
class  Test::Float::Trigonometric::CosXYSol
 Test for cosinus constraint where solution is ensured More...
class  Test::Float::Trigonometric::CosXX
 Test for cosinus constraint with shared variables More...
class  Test::Float::Trigonometric::TanXY
 Test for tangent constraint More...
class  Test::Float::Trigonometric::TanXYSol
 Test for tangent constraint where solution is ensured More...
class  Test::Float::Trigonometric::TanXX
 Test for tangent constraint with shared variables More...
class  Test::Float::Trigonometric::ASinXY
 Test for asinus constraint More...
class  Test::Float::Trigonometric::ASinXYSol
 Test for asinus constraint where solution is ensured More...
class  Test::Float::Trigonometric::ASinXX
 Test for asinus constraint with shared variables More...
class  Test::Float::Trigonometric::ACosXY
 Test for acosinus constraint More...
class  Test::Float::Trigonometric::ACosXYSol
 Test for acosinus constraint where solution is ensured More...
class  Test::Float::Trigonometric::ACosXX
 Test for acosinus constraint with shared variables More...
class  Test::Float::Trigonometric::ATanXY
 Test for atangent constraint More...
class  Test::Float::Trigonometric::ATanXYSol
 Test for atangent constraint where solution is ensured More...
class  Test::Float::Trigonometric::ATanXX
 Test for atangent constraint with shared variables More...

Namespaces

namespace  Test
 

General test support.


namespace  Test::Float
 

Testing domain floats.


namespace  Test::Float::Trigonometric
 

Tests for trigonometric constraints


Variables

const Gecode::FloatNum Test::Float::Trigonometric::step = 0.15
const Gecode::FloatNum Test::Float::Trigonometric::step2 = 2*step
Gecode::FloatVal Test::Float::Trigonometric::a (-8, 5)
Gecode::FloatVal Test::Float::Trigonometric::b (9, 12)
Gecode::FloatVal Test::Float::Trigonometric::c (-8, 8)
SinXY Test::Float::Trigonometric::sin_xy_a ("A", a, step)
SinXY Test::Float::Trigonometric::sin_xy_b ("B", b, step)
SinXY Test::Float::Trigonometric::sin_xy_c ("C", c, step)
SinXYSol Test::Float::Trigonometric::sin_xy_sol_a ("A", a, step)
SinXYSol Test::Float::Trigonometric::sin_xy_sol_b ("B", b, step)
SinXYSol Test::Float::Trigonometric::sin_xy_sol_c ("C", c, step)
SinXX Test::Float::Trigonometric::sin_xx_a ("A", a, step)
SinXX Test::Float::Trigonometric::sin_xx_b ("B", b, step)
SinXX Test::Float::Trigonometric::sin_xx_c ("C", c, step)
CosXY Test::Float::Trigonometric::cos_xy_a ("A", a, step)
CosXY Test::Float::Trigonometric::cos_xy_b ("B", b, step)
CosXY Test::Float::Trigonometric::cos_xy_c ("C", c, step)
CosXYSol Test::Float::Trigonometric::cos_xy_sol_a ("A", a, step)
CosXYSol Test::Float::Trigonometric::cos_xy_sol_b ("B", b, step)
CosXYSol Test::Float::Trigonometric::cos_xy_sol_c ("C", c, step)
CosXX Test::Float::Trigonometric::cos_xx_a ("A", a, step)
CosXX Test::Float::Trigonometric::cos_xx_b ("B", b, step)
CosXX Test::Float::Trigonometric::cos_xx_c ("C", c, step)
TanXY Test::Float::Trigonometric::tan_xy_a ("A", a, step)
TanXY Test::Float::Trigonometric::tan_xy_b ("B", b, step)
TanXY Test::Float::Trigonometric::tan_xy_c ("C", c, step)
TanXYSol Test::Float::Trigonometric::tan_xy_sol_a ("A", a, step)
TanXYSol Test::Float::Trigonometric::tan_xy_sol_b ("B", b, step)
TanXYSol Test::Float::Trigonometric::tan_xy_sol_c ("C", c, step)
TanXX Test::Float::Trigonometric::tan_xx_a ("A", a, step)
TanXX Test::Float::Trigonometric::tan_xx_b ("B", b, step)
TanXX Test::Float::Trigonometric::tan_xx_c ("C", c, step)
ASinXY Test::Float::Trigonometric::asin_xy_a ("A", a, step)
ASinXY Test::Float::Trigonometric::asin_xy_b ("B", b, step)
ASinXY Test::Float::Trigonometric::asin_xy_c ("C", c, step)
ASinXYSol Test::Float::Trigonometric::asin_xy_sol_a ("A", a, step)
ASinXYSol Test::Float::Trigonometric::asin_xy_sol_b ("B", b, step)
ASinXYSol Test::Float::Trigonometric::asin_xy_sol_c ("C", c, step)
ASinXX Test::Float::Trigonometric::asin_xx_a ("A", a, step)
ASinXX Test::Float::Trigonometric::asin_xx_b ("B", b, step)
ASinXX Test::Float::Trigonometric::asin_xx_c ("C", c, step)
ACosXY Test::Float::Trigonometric::acos_xy_a ("A", a, step)
ACosXY Test::Float::Trigonometric::acos_xy_b ("B", b, step)
ACosXY Test::Float::Trigonometric::acos_xy_c ("C", c, step)
ACosXYSol Test::Float::Trigonometric::acos_xy_sol_a ("A", a, step)
ACosXYSol Test::Float::Trigonometric::acos_xy_sol_b ("B", b, step)
ACosXYSol Test::Float::Trigonometric::acos_xy_sol_c ("C", c, step)
ACosXX Test::Float::Trigonometric::acos_xx_a ("A", a, step)
ACosXX Test::Float::Trigonometric::acos_xx_b ("B", b, step)
ACosXX Test::Float::Trigonometric::acos_xx_c ("C", c, step)
ATanXY Test::Float::Trigonometric::atan_xy_a ("A", a, step)
ATanXY Test::Float::Trigonometric::atan_xy_b ("B", b, step)
ATanXY Test::Float::Trigonometric::atan_xy_c ("C", c, step)
ATanXYSol Test::Float::Trigonometric::atan_xy_sol_a ("A", a, step)
ATanXYSol Test::Float::Trigonometric::atan_xy_sol_b ("B", b, step)
ATanXYSol Test::Float::Trigonometric::atan_xy_sol_c ("C", c, step)
ATanXX Test::Float::Trigonometric::atan_xx_a ("A", a, step)
ATanXX Test::Float::Trigonometric::atan_xx_b ("B", b, step)
ATanXX Test::Float::Trigonometric::atan_xx_c ("C", c, step)