Generated on Mon May 5 05:54:19 2008 for Gecode by doxygen 1.5.5

Test::Int::Arithmetic Namespace Reference


Detailed Description

Tests for arithmetic constraints.


Classes

class  MultXYZ
 Test for multiplication constraint. More...
class  MultXXY
 Test for multiplication constraint with shared variables. 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  SqrXY
 Test for squaring constraint. More...
class  SqrXX
 Test for squaring constraint with shared variables. More...
class  SqrtXY
 Test for square root constraint. More...
class  SqrtXX
 Test for square root 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 int va [7]
const int vb [9]
Gecode::IntSet a (va, 7)
Gecode::IntSet b (vb, 9)
Gecode::IntSet c (-8, 8)
MultXYZ mult_xyz_a ("A", a)
MultXYZ mult_xyz_b ("B", b)
MultXYZ mult_xyz_c ("C", c)
MultXXY mult_xxy_a ("A", a)
MultXXY mult_xxy_b ("B", b)
MultXXY mult_xxy_c ("C", c)
MultXYX mult_xyx_a ("A", a)
MultXYX mult_xyx_b ("B", b)
MultXYX mult_xyx_c ("C", c)
MultXYY mult_xyy_a ("A", a)
MultXYY mult_xyy_b ("B", b)
MultXYY mult_xyy_c ("C", c)
MultXXX mult_xxx_a ("A", a)
MultXXX mult_xxx_b ("B", b)
MultXXX mult_xxx_c ("C", c)
SqrXY sqr_xy_a ("A", a)
SqrXY sqr_xy_b ("B", b)
SqrXY sqr_xy_c ("C", c)
SqrXX sqr_xx_a ("A", a)
SqrXX sqr_xx_b ("B", b)
SqrXX sqr_xx_c ("C", c)
SqrtXY sqrt_xy_a ("A", a)
SqrtXY sqrt_xy_b ("B", b)
SqrtXY sqrt_xy_c ("C", c)
SqrtXX sqrt_xx_a ("A", a)
SqrtXX sqrt_xx_b ("B", b)
SqrtXX sqrt_xx_c ("C", c)
AbsXY abs_xy_bnd_a ("A", a, Gecode::ICL_BND)
AbsXY abs_xy_bnd_b ("B", b, Gecode::ICL_BND)
AbsXY abs_xy_bnd_c ("C", c, Gecode::ICL_BND)
AbsXY abs_xy_dom_a ("A", a, Gecode::ICL_DOM)
AbsXY abs_xy_dom_b ("B", b, Gecode::ICL_DOM)
AbsXY abs_xy_dom_c ("C", c, Gecode::ICL_DOM)
AbsXX abs_xx_bnd_a ("A", a, Gecode::ICL_BND)
AbsXX abs_xx_bnd_b ("B", b, Gecode::ICL_BND)
AbsXX abs_xx_bnd_c ("C", c, Gecode::ICL_BND)
AbsXX abs_xx_dom_a ("A", a, Gecode::ICL_DOM)
AbsXX abs_xx_dom_b ("B", b, Gecode::ICL_DOM)
AbsXX abs_xx_dom_c ("C", c, Gecode::ICL_DOM)
MinXYZ min_xyz_a ("A", a)
MinXYZ min_xyz_b ("B", b)
MinXYZ min_xyz_c ("C", c)
MinXXY min_xxy_a ("A", a)
MinXXY min_xxy_b ("B", b)
MinXXY min_xxy_c ("C", c)
MinXYX min_xyx_a ("A", a)
MinXYX min_xyx_b ("B", b)
MinXYX min_xyx_c ("C", c)
MinXYY min_xyy_a ("A", a)
MinXYY min_xyy_b ("B", b)
MinXYY min_xyy_c ("C", c)
MinXXX min_xxx_a ("A", a)
MinXXX min_xxx_b ("B", b)
MinXXX min_xxx_c ("C", c)
MaxXYZ max_xyz_a ("A", a)
MaxXYZ max_xyz_b ("B", b)
MaxXYZ max_xyz_c ("C", c)
MaxXXY max_xxy_a ("A", a)
MaxXXY max_xxy_b ("B", b)
MaxXXY max_xxy_c ("C", c)
MaxXYX max_xyx_a ("A", a)
MaxXYX max_xyx_b ("B", b)
MaxXYX max_xyx_c ("C", c)
MaxXYY max_xyy_a ("A", a)
MaxXYY max_xyy_b ("B", b)
MaxXYY max_xyy_c ("C", c)
MaxXXX max_xxx_a ("A", a)
MaxXXX max_xxx_b ("B", b)
MaxXXX max_xxx_c ("C", c)
MinNary min_nary
MinNaryShared min_s_nary
MaxNary max_nary
MaxNaryShared max_s_nary