Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Test::Float::Transcendental Namespace Reference

Tests for transcendental constraints More...

Classes

class  ExpXX
 Test for exponent constraint with shared variables More...
 
class  ExpXY
 Test for exponent constraint More...
 
class  ExpXYSol
 Test for exponent constraint where solution is ensured More...
 
class  LogNXX
 Test for logarithm base n 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  LogXX
 Test for logarithm constraint with shared variables More...
 
class  LogXY
 Test for logarithm constraint More...
 
class  LogXYSol
 Test for logarithm constraint where solution is ensured More...
 
class  PowXX
 Test for pow exponent 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...
 

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  )