Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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)