Test::Float::Trigonometric Namespace Reference

Tests for trigonometric constraints More...

## Classes

class | SinXY
| Test for sinus constraint More...
class | SinXYSol
| Test for sinus constraint where solution is ensured More...
class | SinXX
| Test for sinus constraint with shared variables More...
class | CosXY
| Test for cosinus constraint More...
class | CosXYSol
| Test for cosinus constraint where solution is ensured More...
class | CosXX
| Test for cosinus constraint with shared variables More...
class | TanXY
| Test for tangent constraint More...
class | TanXYSol
| Test for tangent constraint where solution is ensured More...
class | TanXX
| Test for tangent constraint with shared variables More...
class | ASinXY
| Test for asinus constraint More...
class | ASinXYSol
| Test for asinus constraint where solution is ensured More...
class | ASinXX
| Test for asinus constraint with shared variables More...
class | ACosXY
| Test for acosinus constraint More...
class | ACosXYSol
| Test for acosinus constraint where solution is ensured More...
class | ACosXX
| Test for acosinus constraint with shared variables More...
class | ATanXY
| Test for atangent constraint More...
class | ATanXYSol
| Test for atangent constraint where solution is ensured More...
class | ATanXX
| Test for atangent 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)
SinXY | sin_xy_a ("A", a, step)
SinXY | sin_xy_b ("B", b, step)
SinXY | sin_xy_c ("C", c, step)
SinXYSol | sin_xy_sol_a ("A", a, step)
SinXYSol | sin_xy_sol_b ("B", b, step)
SinXYSol | sin_xy_sol_c ("C", c, step)
SinXX | sin_xx_a ("A", a, step)
SinXX | sin_xx_b ("B", b, step)
SinXX | sin_xx_c ("C", c, step)
CosXY | cos_xy_a ("A", a, step)
CosXY | cos_xy_b ("B", b, step)
CosXY | cos_xy_c ("C", c, step)
CosXYSol | cos_xy_sol_a ("A", a, step)
CosXYSol | cos_xy_sol_b ("B", b, step)
CosXYSol | cos_xy_sol_c ("C", c, step)
CosXX | cos_xx_a ("A", a, step)
CosXX | cos_xx_b ("B", b, step)
CosXX | cos_xx_c ("C", c, step)
TanXY | tan_xy_a ("A", a, step)
TanXY | tan_xy_b ("B", b, step)
TanXY | tan_xy_c ("C", c, step)
TanXYSol | tan_xy_sol_a ("A", a, step)
TanXYSol | tan_xy_sol_b ("B", b, step)
TanXYSol | tan_xy_sol_c ("C", c, step)
TanXX | tan_xx_a ("A", a, step)
TanXX | tan_xx_b ("B", b, step)
TanXX | tan_xx_c ("C", c, step)
ASinXY | asin_xy_a ("A", a, step)
ASinXY | asin_xy_b ("B", b, step)
ASinXY | asin_xy_c ("C", c, step)
ASinXYSol | asin_xy_sol_a ("A", a, step)
ASinXYSol | asin_xy_sol_b ("B", b, step)
ASinXYSol | asin_xy_sol_c ("C", c, step)
ASinXX | asin_xx_a ("A", a, step)
ASinXX | asin_xx_b ("B", b, step)
ASinXX | asin_xx_c ("C", c, step)
ACosXY | acos_xy_a ("A", a, step)
ACosXY | acos_xy_b ("B", b, step)
ACosXY | acos_xy_c ("C", c, step)
ACosXYSol | acos_xy_sol_a ("A", a, step)
ACosXYSol | acos_xy_sol_b ("B", b, step)
ACosXYSol | acos_xy_sol_c ("C", c, step)
ACosXX | acos_xx_a ("A", a, step)
ACosXX | acos_xx_b ("B", b, step)
ACosXX | acos_xx_c ("C", c, step)
ATanXY | atan_xy_a ("A", a, step)
ATanXY | atan_xy_b ("B", b, step)
ATanXY | atan_xy_c ("C", c, step)
ATanXYSol | atan_xy_sol_a ("A", a, step)
ATanXYSol | atan_xy_sol_b ("B", b, step)
ATanXYSol | atan_xy_sol_c ("C", c, step)
ATanXX | atan_xx_a ("A", a, step)
ATanXX | atan_xx_b ("B", b, step)
ATanXX | atan_xx_c ("C", c, step)

## Detailed Description

Tests for trigonometric constraints

## Variable Documentation

## step

const Gecode::FloatNum Test::Float::Trigonometric::step = 0.15

Definition at line 431 of file trigonometric.cpp.

## step2

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

Definition at line 432 of file trigonometric.cpp.

## a

Gecode::FloatVal Test::Float::Trigonometric::a(-8, 5) | ( | - | 8,
|  | 5 | )

## b

Gecode::FloatVal Test::Float::Trigonometric::b(9, 12) | ( | 9 | ,
|  | 12 | )

## c

Gecode::FloatVal Test::Float::Trigonometric::c(-8, 8) | ( | - | 8,
|  | 8 | )

## sin_xy_a

SinXY Test::Float::Trigonometric::sin_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## sin_xy_b

SinXY Test::Float::Trigonometric::sin_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## sin_xy_c

SinXY Test::Float::Trigonometric::sin_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## sin_xy_sol_a

SinXYSol Test::Float::Trigonometric::sin_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## sin_xy_sol_b

SinXYSol Test::Float::Trigonometric::sin_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## sin_xy_sol_c

SinXYSol Test::Float::Trigonometric::sin_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## sin_xx_a

SinXX Test::Float::Trigonometric::sin_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## sin_xx_b

SinXX Test::Float::Trigonometric::sin_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## sin_xx_c

SinXX Test::Float::Trigonometric::sin_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## cos_xy_a

CosXY Test::Float::Trigonometric::cos_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## cos_xy_b

CosXY Test::Float::Trigonometric::cos_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## cos_xy_c

CosXY Test::Float::Trigonometric::cos_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## cos_xy_sol_a

CosXYSol Test::Float::Trigonometric::cos_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## cos_xy_sol_b

CosXYSol Test::Float::Trigonometric::cos_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## cos_xy_sol_c

CosXYSol Test::Float::Trigonometric::cos_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## cos_xx_a

CosXX Test::Float::Trigonometric::cos_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## cos_xx_b

CosXX Test::Float::Trigonometric::cos_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## cos_xx_c

CosXX Test::Float::Trigonometric::cos_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## tan_xy_a

TanXY Test::Float::Trigonometric::tan_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## tan_xy_b

TanXY Test::Float::Trigonometric::tan_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## tan_xy_c

TanXY Test::Float::Trigonometric::tan_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## tan_xy_sol_a

TanXYSol Test::Float::Trigonometric::tan_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## tan_xy_sol_b

TanXYSol Test::Float::Trigonometric::tan_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## tan_xy_sol_c

TanXYSol Test::Float::Trigonometric::tan_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## tan_xx_a

TanXX Test::Float::Trigonometric::tan_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## tan_xx_b

TanXX Test::Float::Trigonometric::tan_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## tan_xx_c

TanXX Test::Float::Trigonometric::tan_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## asin_xy_a

ASinXY Test::Float::Trigonometric::asin_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## asin_xy_b

ASinXY Test::Float::Trigonometric::asin_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## asin_xy_c

ASinXY Test::Float::Trigonometric::asin_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## asin_xy_sol_a

ASinXYSol Test::Float::Trigonometric::asin_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## asin_xy_sol_b

ASinXYSol Test::Float::Trigonometric::asin_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## asin_xy_sol_c

ASinXYSol Test::Float::Trigonometric::asin_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## asin_xx_a

ASinXX Test::Float::Trigonometric::asin_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## asin_xx_b

ASinXX Test::Float::Trigonometric::asin_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## asin_xx_c

ASinXX Test::Float::Trigonometric::asin_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## acos_xy_a

ACosXY Test::Float::Trigonometric::acos_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## acos_xy_b

ACosXY Test::Float::Trigonometric::acos_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## acos_xy_c

ACosXY Test::Float::Trigonometric::acos_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## acos_xy_sol_a

ACosXYSol Test::Float::Trigonometric::acos_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## acos_xy_sol_b

ACosXYSol Test::Float::Trigonometric::acos_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## acos_xy_sol_c

ACosXYSol Test::Float::Trigonometric::acos_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## acos_xx_a

ACosXX Test::Float::Trigonometric::acos_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## acos_xx_b

ACosXX Test::Float::Trigonometric::acos_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## acos_xx_c

ACosXX Test::Float::Trigonometric::acos_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## atan_xy_a

ATanXY Test::Float::Trigonometric::atan_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## atan_xy_b

ATanXY Test::Float::Trigonometric::atan_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## atan_xy_c

ATanXY Test::Float::Trigonometric::atan_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## atan_xy_sol_a

ATanXYSol Test::Float::Trigonometric::atan_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## atan_xy_sol_b

ATanXYSol Test::Float::Trigonometric::atan_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## atan_xy_sol_c

ATanXYSol Test::Float::Trigonometric::atan_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## atan_xx_a

ATanXX Test::Float::Trigonometric::atan_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## atan_xx_b

ATanXX Test::Float::Trigonometric::atan_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## atan_xx_c

ATanXX Test::Float::Trigonometric::atan_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )