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
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