Generated on Tue May 22 09:41:49 2018 for Gecode by doxygen 1.6.3

Test::Float::Arithmetic Namespace Reference

Tests for arithmetic constraints More...

Classes

class  MultXYZ
 Test for multiplication constraint More...
class  MultXYZSol
 Test for multiplication constraint when solution is ensured More...
class  MultXXY
 Test for multiplication constraint with shared variables More...
class  MultXXYSol
 Test for multiplication constraint with shared variables when solution is ensured More...
class  MultXYX
 Test for multiplication constraint with shared variables More...
class  MultXYY
 Test for multiplication constraint with shared variables More...
class  MultXXX
 Test for multiplication constraint with shared variables More...
class  Div
 Test for division constraint More...
class  DivSol
 Test for division constraint when solution is ensured More...
class  SqrXY
 Test for squaring constraint More...
class  SqrXYSol
 Test for squaring constraint where solution is ensured More...
class  SqrXX
 Test for squaring constraint with shared variables More...
class  SqrtXY
 Test for square root constraint More...
class  SqrtXYSol
 Test for square root constraint where solution is ensured More...
class  SqrtXX
 Test for square root constraint with shared variables More...
class  PowXY
 Test for pow constraint More...
class  PowXYSol
 Test for pow constraint where solution is ensured More...
class  PowXX
 Test for pow constraint with shared variables More...
class  NRootXY
 Test for nroot constraint More...
class  NRootXYSol
 Test for nroot constraint where solution is ensured More...
class  NRootXX
 Test for nroot constraint with shared variables More...
class  AbsXY
 Test for absolute value constraint More...
class  AbsXX
 Test for absolute value constraint with shared variables More...
class  MinXYZ
 Test for binary minimum constraint More...
class  MinXXY
 Test for binary minimum constraint with shared variables More...
class  MinXYX
 Test for binary minimum constraint with shared variables More...
class  MinXYY
 Test for binary minimum constraint with shared variables More...
class  MinXXX
 Test for binary minimum constraint with shared variables More...
class  MaxXYZ
 Test for binary maximum constraint More...
class  MaxXXY
 Test for binary maximum constraint with shared variables More...
class  MaxXYX
 Test for binary maximum constraint with shared variables More...
class  MaxXYY
 Test for binary maximum constraint with shared variables More...
class  MaxXXX
 Test for binary maximum constraint with shared variables More...
class  MinNary
 Test for n-ary minimmum constraint More...
class  MinNaryShared
 Test for n-ary minimmum constraint with shared variables More...
class  MaxNary
 Test for n-ary maximum constraint More...
class  MaxNaryShared
 Test for n-ary maximum 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)
MultXXY mult_xxy_a ("A", a, step)
MultXXY mult_xxy_b ("B", b, step)
MultXXY mult_xxy_c ("C", c, step)
MultXXYSol mult_xxy_sol_a ("A", a, step)
MultXXYSol mult_xxy_sol_b ("B", b, step)
MultXXYSol mult_xxy_sol_c ("C", c, step)
MultXYX mult_xyx_a ("A", a, step)
MultXYX mult_xyx_b ("B", b, step)
MultXYX mult_xyx_c ("C", c, step)
MultXYY mult_xyy_a ("A", a, step)
MultXYY mult_xyy_b ("B", b, step)
MultXYY mult_xyy_c ("C", c, step)
MultXXX mult_xxx_a ("A", a, step)
MultXXX mult_xxx_b ("B", b, step)
MultXXX mult_xxx_c ("C", c, step)
MultXYZ mult_xyz_a ("A", a, step)
MultXYZ mult_xyz_b ("B", b, step)
MultXYZ mult_xyz_c ("C", c, step)
MultXYZSol mult_xyz_sol_a ("A", a, step)
MultXYZSol mult_xyz_sol_b ("B", b, step)
MultXYZSol mult_xyz_sol_c ("C", c, step)
Div div_a ("A", a, step)
Div div_b ("B", b, step)
Div div_c ("C", c, step)
DivSol div_sol_a ("A", a, step)
DivSol div_sol_b ("B", b, step)
DivSol div_sol_c ("C", c, step)
SqrXY sqr_xy_a ("A", a, step)
SqrXY sqr_xy_b ("B", b, step)
SqrXY sqr_xy_c ("C", c, step)
SqrXYSol sqr_xy_sol_a ("A", a, step)
SqrXYSol sqr_xy_sol_b ("B", b, step)
SqrXYSol sqr_xy_sol_c ("C", c, step)
SqrXX sqr_xx_a ("A", a, step)
SqrXX sqr_xx_b ("B", b, step)
SqrXX sqr_xx_c ("C", c, step)
SqrtXY sqrt_xy_a ("A", a, step)
SqrtXY sqrt_xy_b ("B", b, step)
SqrtXY sqrt_xy_c ("C", c, step)
SqrtXYSol sqrt_xy_sol_a ("A", a, step)
SqrtXYSol sqrt_xy_sol_b ("B", b, step)
SqrtXYSol sqrt_xy_sol_c ("C", c, step)
SqrtXX sqrt_xx_a ("A", a, step)
SqrtXX sqrt_xx_b ("B", b, step)
SqrtXX sqrt_xx_c ("C", c, step)
PowXY pow_xy_a_1 ("A", a, 2, step)
PowXY pow_xy_b_1 ("B", b, 2, step)
PowXY pow_xy_c_1 ("C", c, 2, step)
PowXYSol pow_xy_sol_a_1 ("A", a, 2, step)
PowXYSol pow_xy_sol_b_1 ("B", b, 2, step)
PowXYSol pow_xy_sol_c_1 ("C", c, 2, step)
PowXX pow_xx_a_1 ("A", a, 2, step)
PowXX pow_xx_b_1 ("B", b, 2, step)
PowXX pow_xx_c_1 ("C", c, 2, step)
PowXY pow_xy_a_2 ("A", a, 3, step)
PowXY pow_xy_b_2 ("B", b, 3, step)
PowXY pow_xy_c_2 ("C", c, 3, step)
PowXYSol pow_xy_sol_a_2 ("A", a, 3, step)
PowXYSol pow_xy_sol_b_2 ("B", b, 3, step)
PowXYSol pow_xy_sol_c_2 ("C", c, 3, step)
PowXX pow_xx_a_2 ("A", a, 3, step)
PowXX pow_xx_b_2 ("B", b, 3, step)
PowXX pow_xx_c_2 ("C", c, 3, 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)
NRootXY nroot_xy_a_1 ("A", a, 2, step)
NRootXY nroot_xy_b_1 ("B", b, 2, step)
NRootXY nroot_xy_c_1 ("C", c, 2, step)
NRootXYSol nroot_xy_sol_a_1 ("A", a, 2, step)
NRootXYSol nroot_xy_sol_b_1 ("B", b, 2, step)
NRootXYSol nroot_xy_sol_c_1 ("C", c, 2, step)
NRootXX nroot_xx_a_1 ("A", a, 2, step)
NRootXX nroot_xx_b_1 ("B", b, 2, step)
NRootXX nroot_xx_c_1 ("C", c, 2, step)
NRootXY nroot_xy_a_2 ("A", a, 3, step)
NRootXY nroot_xy_b_2 ("B", b, 3, step)
NRootXY nroot_xy_c_2 ("C", c, 3, step)
NRootXYSol nroot_xy_sol_a_2 ("A", a, 3, step)
NRootXYSol nroot_xy_sol_b_2 ("B", b, 3, step)
NRootXYSol nroot_xy_sol_c_2 ("C", c, 3, step)
NRootXX nroot_xx_a_2 ("A", a, 3, step)
NRootXX nroot_xx_b_2 ("B", b, 3, step)
NRootXX nroot_xx_c_2 ("C", c, 3, step)
NRootXY nroot_xy_a_3 ("A", a, 0, step)
NRootXY nroot_xy_b_3 ("B", b, 0, step)
NRootXY nroot_xy_c_3 ("C", c, 0, step)
NRootXYSol nroot_xy_sol_a_3 ("A", a, 0, step)
NRootXYSol nroot_xy_sol_b_3 ("B", b, 0, step)
NRootXYSol nroot_xy_sol_c_3 ("C", c, 0, step)
NRootXX nroot_xx_a_3 ("A", a, 0, step)
NRootXX nroot_xx_b_3 ("B", b, 0, step)
NRootXX nroot_xx_c_3 ("C", c, 0, step)
AbsXY abs_xy_a ("A", a, step)
AbsXY abs_xy_b ("B", b, step)
AbsXY abs_xy_c ("C", c, step)
AbsXX abs_xx_a ("A", a, step)
AbsXX abs_xx_b ("B", b, step)
AbsXX abs_xx_c ("C", c, step)
MinXYZ min_xyz_a ("A", a, step)
MinXYZ min_xyz_b ("B", b, step)
MinXYZ min_xyz_c ("C", c, step)
MinXXY min_xxy_a ("A", a, step)
MinXXY min_xxy_b ("B", b, step)
MinXXY min_xxy_c ("C", c, step)
MinXYX min_xyx_a ("A", a, step)
MinXYX min_xyx_b ("B", b, step)
MinXYX min_xyx_c ("C", c, step)
MinXYY min_xyy_a ("A", a, step)
MinXYY min_xyy_b ("B", b, step)
MinXYY min_xyy_c ("C", c, step)
MinXXX min_xxx_a ("A", a, step)
MinXXX min_xxx_b ("B", b, step)
MinXXX min_xxx_c ("C", c, step)
MaxXYZ max_xyz_a ("A", a, step)
MaxXYZ max_xyz_b ("B", b, step)
MaxXYZ max_xyz_c ("C", c, step)
MaxXXY max_xxy_a ("A", a, step)
MaxXXY max_xxy_b ("B", b, step)
MaxXXY max_xxy_c ("C", c, step)
MaxXYX max_xyx_a ("A", a, step)
MaxXYX max_xyx_b ("B", b, step)
MaxXYX max_xyx_c ("C", c, step)
MaxXYY max_xyy_a ("A", a, step)
MaxXYY max_xyy_b ("B", b, step)
MaxXYY max_xyy_c ("C", c, step)
MaxXXX max_xxx_a ("A", a, step)
MaxXXX max_xxx_b ("B", b, step)
MaxXXX max_xxx_c ("C", c, step)
MinNary min_nary
MinNaryShared min_s_nary
MaxNary max_nary
MaxNaryShared max_s_nary

Detailed Description

Tests for arithmetic constraints