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

## step

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

Definition at line 315 of file transcendental.cpp.

## step2

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

Definition at line 316 of file transcendental.cpp.

## a

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

## b

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

## c

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

## exp_xy_a

ExpXY Test::Float::Transcendental::exp_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## exp_xy_b

ExpXY Test::Float::Transcendental::exp_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## exp_xy_c

ExpXY Test::Float::Transcendental::exp_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## exp_xy_sol_a

ExpXYSol Test::Float::Transcendental::exp_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## exp_xy_sol_b

ExpXYSol Test::Float::Transcendental::exp_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## exp_xy_sol_c

ExpXYSol Test::Float::Transcendental::exp_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## exp_xx_a

ExpXX Test::Float::Transcendental::exp_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## exp_xx_b

ExpXX Test::Float::Transcendental::exp_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## exp_xx_c

ExpXX Test::Float::Transcendental::exp_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## log_xy_a

LogXY Test::Float::Transcendental::log_xy_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## log_xy_b

LogXY Test::Float::Transcendental::log_xy_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## log_xy_c

LogXY Test::Float::Transcendental::log_xy_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## log_xy_sol_a

LogXYSol Test::Float::Transcendental::log_xy_sol_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## log_xy_sol_b

LogXYSol Test::Float::Transcendental::log_xy_sol_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## log_xy_sol_c

LogXYSol Test::Float::Transcendental::log_xy_sol_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## log_xx_a

LogXX Test::Float::Transcendental::log_xx_a("A", a, step) | ( | "A" | ,
|  | a | ,
|  | step | )

## log_xx_b

LogXX Test::Float::Transcendental::log_xx_b("B", b, step) | ( | "B" | ,
|  | b | ,
|  | step | )

## log_xx_c

LogXX Test::Float::Transcendental::log_xx_c("C", c, step) | ( | "C" | ,
|  | c | ,
|  | step | )

## logn_xy_a_1

LogNXY Test::Float::Transcendental::logn_xy_a_1("A", a,-1.5, step) | ( | "A" | ,
|  | a | ,
|  | -1. | 5,
|  | step | )

## logn_xy_b_1

LogNXY Test::Float::Transcendental::logn_xy_b_1("B", b,-1.5, step) | ( | "B" | ,
|  | b | ,
|  | -1. | 5,
|  | step | )

## logn_xy_c_1

LogNXY Test::Float::Transcendental::logn_xy_c_1("C", c,-1.5, step) | ( | "C" | ,
|  | c | ,
|  | -1. | 5,
|  | step | )

## logn_xy_sol_a_1

LogNXYSol Test::Float::Transcendental::logn_xy_sol_a_1("A", a,-1.5, step) | ( | "A" | ,
|  | a | ,
|  | -1. | 5,
|  | step | )

## logn_xy_sol_b_1

LogNXYSol Test::Float::Transcendental::logn_xy_sol_b_1("B", b,-1.5, step) | ( | "B" | ,
|  | b | ,
|  | -1. | 5,
|  | step | )

## logn_xy_sol_c_1

LogNXYSol Test::Float::Transcendental::logn_xy_sol_c_1("C", c,-1.5, step) | ( | "C" | ,
|  | c | ,
|  | -1. | 5,
|  | step | )

## logn_xx_a_1

LogNXX Test::Float::Transcendental::logn_xx_a_1("A", a,-1.5, step) | ( | "A" | ,
|  | a | ,
|  | -1. | 5,
|  | step | )

## logn_xx_b_1

LogNXX Test::Float::Transcendental::logn_xx_b_1("B", b,-1.5, step) | ( | "B" | ,
|  | b | ,
|  | -1. | 5,
|  | step | )

## logn_xx_c_1

LogNXX Test::Float::Transcendental::logn_xx_c_1("C", c,-1.5, step) | ( | "C" | ,
|  | c | ,
|  | -1. | 5,
|  | step | )

## logn_xy_a_2

LogNXY Test::Float::Transcendental::logn_xy_a_2("A", a, 1.5, step) | ( | "A" | ,
|  | a | ,
|  | 1. | 5,
|  | step | )

## logn_xy_b_2

LogNXY Test::Float::Transcendental::logn_xy_b_2("B", b, 1.5, step) | ( | "B" | ,
|  | b | ,
|  | 1. | 5,
|  | step | )

## logn_xy_c_2

LogNXY Test::Float::Transcendental::logn_xy_c_2("C", c, 1.5, step) | ( | "C" | ,
|  | c | ,
|  | 1. | 5,
|  | step | )

## logn_xy_sol_a_2

LogNXYSol Test::Float::Transcendental::logn_xy_sol_a_2("A", a, 1.5, step) | ( | "A" | ,
|  | a | ,
|  | 1. | 5,
|  | step | )

## logn_xy_sol_b_2

LogNXYSol Test::Float::Transcendental::logn_xy_sol_b_2("B", b, 1.5, step) | ( | "B" | ,
|  | b | ,
|  | 1. | 5,
|  | step | )

## logn_xy_sol_c_2

LogNXYSol Test::Float::Transcendental::logn_xy_sol_c_2("C", c, 1.5, step) | ( | "C" | ,
|  | c | ,
|  | 1. | 5,
|  | step | )

## logn_xx_a_2

LogNXX Test::Float::Transcendental::logn_xx_a_2("A", a, 1.5, step) | ( | "A" | ,
|  | a | ,
|  | 1. | 5,
|  | step | )

## logn_xx_b_2

LogNXX Test::Float::Transcendental::logn_xx_b_2("B", b, 1.5, step) | ( | "B" | ,
|  | b | ,
|  | 1. | 5,
|  | step | )

## logn_xx_c_2

LogNXX Test::Float::Transcendental::logn_xx_c_2("C", c, 1.5, step) | ( | "C" | ,
|  | c | ,
|  | 1. | 5,
|  | step | )

## logn_xy_a_3

LogNXY Test::Float::Transcendental::logn_xy_a_3("A", a, 0, step) | ( | "A" | ,
|  | a | ,
|  | 0 | ,
|  | step | )

## logn_xy_b_3

LogNXY Test::Float::Transcendental::logn_xy_b_3("B", b, 0, step) | ( | "B" | ,
|  | b | ,
|  | 0 | ,
|  | step | )

## logn_xy_c_3

LogNXY Test::Float::Transcendental::logn_xy_c_3("C", c, 0, step) | ( | "C" | ,
|  | c | ,
|  | 0 | ,
|  | step | )

## logn_xy_sol_a_3

LogNXYSol Test::Float::Transcendental::logn_xy_sol_a_3("A", a, 0, step) | ( | "A" | ,
|  | a | ,
|  | 0 | ,
|  | step | )

## logn_xy_sol_b_3

LogNXYSol Test::Float::Transcendental::logn_xy_sol_b_3("B", b, 0, step) | ( | "B" | ,
|  | b | ,
|  | 0 | ,
|  | step | )

## logn_xy_sol_c_3

LogNXYSol Test::Float::Transcendental::logn_xy_sol_c_3("C", c, 0, step) | ( | "C" | ,
|  | c | ,
|  | 0 | ,
|  | step | )

## logn_xx_a_3

LogNXX Test::Float::Transcendental::logn_xx_a_3("A", a, 0, step) | ( | "A" | ,
|  | a | ,
|  | 0 | ,
|  | step | )

## logn_xx_b_3

LogNXX Test::Float::Transcendental::logn_xx_b_3("B", b, 0, step) | ( | "B" | ,
|  | b | ,
|  | 0 | ,
|  | step | )

## logn_xx_c_3

LogNXX Test::Float::Transcendental::logn_xx_c_3("C", c, 0, step) | ( | "C" | ,
|  | c | ,
|  | 0 | ,
|  | step | )

## pow_xy_a_1

PowXY Test::Float::Transcendental::pow_xy_a_1("A", a,-1.5, step) | ( | "A" | ,
|  | a | ,
|  | -1. | 5,
|  | step | )

## pow_xy_b_1

PowXY Test::Float::Transcendental::pow_xy_b_1("B", b,-1.5, step) | ( | "B" | ,
|  | b | ,
|  | -1. | 5,
|  | step | )

## pow_xy_c_1

PowXY Test::Float::Transcendental::pow_xy_c_1("C", c,-1.5, step) | ( | "C" | ,
|  | c | ,
|  | -1. | 5,
|  | step | )

## pow_xy_sol_a_1

PowXYSol Test::Float::Transcendental::pow_xy_sol_a_1("A", a,-1.5, step) | ( | "A" | ,
|  | a | ,
|  | -1. | 5,
|  | step | )

## pow_xy_sol_b_1

PowXYSol Test::Float::Transcendental::pow_xy_sol_b_1("B", b,-1.5, step) | ( | "B" | ,
|  | b | ,
|  | -1. | 5,
|  | step | )

## pow_xy_sol_c_1

PowXYSol Test::Float::Transcendental::pow_xy_sol_c_1("C", c,-1.5, step) | ( | "C" | ,
|  | c | ,
|  | -1. | 5,
|  | step | )

## pow_xx_a_1

PowXX Test::Float::Transcendental::pow_xx_a_1("A", a,-1.5, step) | ( | "A" | ,
|  | a | ,
|  | -1. | 5,
|  | step | )

## pow_xx_b_1

PowXX Test::Float::Transcendental::pow_xx_b_1("B", b,-1.5, step) | ( | "B" | ,
|  | b | ,
|  | -1. | 5,
|  | step | )

## pow_xx_c_1

PowXX Test::Float::Transcendental::pow_xx_c_1("C", c,-1.5, step) | ( | "C" | ,
|  | c | ,
|  | -1. | 5,
|  | step | )

## pow_xy_a_2

PowXY Test::Float::Transcendental::pow_xy_a_2("A", a, 1.5, step) | ( | "A" | ,
|  | a | ,
|  | 1. | 5,
|  | step | )

## pow_xy_b_2

PowXY Test::Float::Transcendental::pow_xy_b_2("B", b, 1.5, step) | ( | "B" | ,
|  | b | ,
|  | 1. | 5,
|  | step | )

## pow_xy_c_2

PowXY Test::Float::Transcendental::pow_xy_c_2("C", c, 1.5, step) | ( | "C" | ,
|  | c | ,
|  | 1. | 5,
|  | step | )

## pow_xy_sol_a_2

PowXYSol Test::Float::Transcendental::pow_xy_sol_a_2("A", a, 1.5, step) | ( | "A" | ,
|  | a | ,
|  | 1. | 5,
|  | step | )

## pow_xy_sol_b_2

PowXYSol Test::Float::Transcendental::pow_xy_sol_b_2("B", b, 1.5, step) | ( | "B" | ,
|  | b | ,
|  | 1. | 5,
|  | step | )

## pow_xy_sol_c_2

PowXYSol Test::Float::Transcendental::pow_xy_sol_c_2("C", c, 1.5, step) | ( | "C" | ,
|  | c | ,
|  | 1. | 5,
|  | step | )

## pow_xx_a_2

PowXX Test::Float::Transcendental::pow_xx_a_2("A", a, 1.5, step) | ( | "A" | ,
|  | a | ,
|  | 1. | 5,
|  | step | )

## pow_xx_b_2

PowXX Test::Float::Transcendental::pow_xx_b_2("B", b, 1.5, step) | ( | "B" | ,
|  | b | ,
|  | 1. | 5,
|  | step | )

## pow_xx_c_2

PowXX Test::Float::Transcendental::pow_xx_c_2("C", c, 1.5, step) | ( | "C" | ,
|  | c | ,
|  | 1. | 5,
|  | step | )

## pow_xy_a_3

PowXY Test::Float::Transcendental::pow_xy_a_3("A", a, 0, step) | ( | "A" | ,
|  | a | ,
|  | 0 | ,
|  | step | )

## pow_xy_b_3

PowXY Test::Float::Transcendental::pow_xy_b_3("B", b, 0, step) | ( | "B" | ,
|  | b | ,
|  | 0 | ,
|  | step | )

## pow_xy_c_3

PowXY Test::Float::Transcendental::pow_xy_c_3("C", c, 0, step) | ( | "C" | ,
|  | c | ,
|  | 0 | ,
|  | step | )

## pow_xy_sol_a_3

PowXYSol Test::Float::Transcendental::pow_xy_sol_a_3("A", a, 0, step) | ( | "A" | ,
|  | a | ,
|  | 0 | ,
|  | step | )

## pow_xy_sol_b_3

PowXYSol Test::Float::Transcendental::pow_xy_sol_b_3("B", b, 0, step) | ( | "B" | ,
|  | b | ,
|  | 0 | ,
|  | step | )

## pow_xy_sol_c_3

PowXYSol Test::Float::Transcendental::pow_xy_sol_c_3("C", c, 0, step) | ( | "C" | ,
|  | c | ,
|  | 0 | ,
|  | step | )

## pow_xx_a_3

PowXX Test::Float::Transcendental::pow_xx_a_3("A", a, 0, step) | ( | "A" | ,
|  | a | ,
|  | 0 | ,
|  | step | )

## pow_xx_b_3

PowXX Test::Float::Transcendental::pow_xx_b_3("B", b, 0, step) | ( | "B" | ,
|  | b | ,
|  | 0 | ,
|  | step | )

## pow_xx_c_3

PowXX Test::Float::Transcendental::pow_xx_c_3("C", c, 0, step) | ( | "C" | ,
|  | c | ,
|  | 0 | ,
|  | step | )