Generated on Wed Mar 19 07:30:05 2008 for Gecode by doxygen 1.5.5

Arithmetic constraints
[Testing finite domain integers]


Classes

class  Test::Int::Arithmetic::MultXYZ
 Test for multiplication constraint. More...
class  Test::Int::Arithmetic::MultXXY
 Test for multiplication constraint with shared variables. More...
class  Test::Int::Arithmetic::MultXYX
 Test for multiplication constraint with shared variables. More...
class  Test::Int::Arithmetic::MultXYY
 Test for multiplication constraint with shared variables. More...
class  Test::Int::Arithmetic::MultXXX
 Test for multiplication constraint with shared variables. More...
class  Test::Int::Arithmetic::SqrXY
 Test for squaring constraint. More...
class  Test::Int::Arithmetic::SqrXX
 Test for squaring constraint with shared variables. More...
class  Test::Int::Arithmetic::SqrtXY
 Test for square root constraint. More...
class  Test::Int::Arithmetic::SqrtXX
 Test for square root constraint with shared variables. More...
class  Test::Int::Arithmetic::AbsXY
 Test for absolute value constraint. More...
class  Test::Int::Arithmetic::AbsXX
 Test for absolute value constraint with shared variables. More...
class  Test::Int::Arithmetic::MinXYZ
 Test for binary minimum constraint. More...
class  Test::Int::Arithmetic::MinXXY
 Test for binary minimum constraint with shared variables. More...
class  Test::Int::Arithmetic::MinXYX
 Test for binary minimum constraint with shared variables. More...
class  Test::Int::Arithmetic::MinXYY
 Test for binary minimum constraint with shared variables. More...
class  Test::Int::Arithmetic::MinXXX
 Test for binary minimum constraint with shared variables. More...
class  Test::Int::Arithmetic::MaxXYZ
 Test for binary maximum constraint. More...
class  Test::Int::Arithmetic::MaxXXY
 Test for binary maximum constraint with shared variables. More...
class  Test::Int::Arithmetic::MaxXYX
 Test for binary maximum constraint with shared variables. More...
class  Test::Int::Arithmetic::MaxXYY
 Test for binary maximum constraint with shared variables. More...
class  Test::Int::Arithmetic::MaxXXX
 Test for binary maximum constraint with shared variables. More...
class  Test::Int::Arithmetic::MinNary
 Test for n-ary minimmum constraint. More...
class  Test::Int::Arithmetic::MinNaryShared
 Test for n-ary minimmum constraint with shared variables. More...
class  Test::Int::Arithmetic::MaxNary
 Test for n-ary maximum constraint. More...
class  Test::Int::Arithmetic::MaxNaryShared
 Test for n-ary maximum constraint with shared variables. More...

Variables

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

Variable Documentation

const int Test::Int::Arithmetic::va[7]

Initial value:

 {
       Gecode::Int::Limits::min, Gecode::Int::Limits::min+1,
       -1,0,1,
       Gecode::Int::Limits::max-1, Gecode::Int::Limits::max
     }

Definition at line 486 of file arithmetic.cc.

const int Test::Int::Arithmetic::vb[9]

Initial value:

 {
       static_cast<int>(-sqrt(static_cast<double>
                              (-Gecode::Int::Limits::min))),
       -4,-2,-1,0,1,2,4,
       static_cast<int>(sqrt(static_cast<double>
                             (Gecode::Int::Limits::max)))
     }

Definition at line 491 of file arithmetic.cc.

Gecode::IntSet Test::Int::Arithmetic::a(va, 7)

Gecode::IntSet Test::Int::Arithmetic::b(vb, 9)

Gecode::IntSet Test::Int::Arithmetic::c(-8, 8)

MultXYZ Test::Int::Arithmetic::mult_xyz_a("A", a)

MultXYZ Test::Int::Arithmetic::mult_xyz_b("B", b)

MultXYZ Test::Int::Arithmetic::mult_xyz_c("C", c)

MultXXY Test::Int::Arithmetic::mult_xxy_a("A", a)

MultXXY Test::Int::Arithmetic::mult_xxy_b("B", b)

MultXXY Test::Int::Arithmetic::mult_xxy_c("C", c)

MultXYX Test::Int::Arithmetic::mult_xyx_a("A", a)

MultXYX Test::Int::Arithmetic::mult_xyx_b("B", b)

MultXYX Test::Int::Arithmetic::mult_xyx_c("C", c)

MultXYY Test::Int::Arithmetic::mult_xyy_a("A", a)

MultXYY Test::Int::Arithmetic::mult_xyy_b("B", b)

MultXYY Test::Int::Arithmetic::mult_xyy_c("C", c)

MultXXX Test::Int::Arithmetic::mult_xxx_a("A", a)

MultXXX Test::Int::Arithmetic::mult_xxx_b("B", b)

MultXXX Test::Int::Arithmetic::mult_xxx_c("C", c)

SqrXY Test::Int::Arithmetic::sqr_xy_a("A", a)

SqrXY Test::Int::Arithmetic::sqr_xy_b("B", b)

SqrXY Test::Int::Arithmetic::sqr_xy_c("C", c)

SqrXX Test::Int::Arithmetic::sqr_xx_a("A", a)

SqrXX Test::Int::Arithmetic::sqr_xx_b("B", b)

SqrXX Test::Int::Arithmetic::sqr_xx_c("C", c)

SqrtXY Test::Int::Arithmetic::sqrt_xy_a("A", a)

SqrtXY Test::Int::Arithmetic::sqrt_xy_b("B", b)

SqrtXY Test::Int::Arithmetic::sqrt_xy_c("C", c)

SqrtXX Test::Int::Arithmetic::sqrt_xx_a("A", a)

SqrtXX Test::Int::Arithmetic::sqrt_xx_b("B", b)

SqrtXX Test::Int::Arithmetic::sqrt_xx_c("C", c)

AbsXY Test::Int::Arithmetic::abs_xy_bnd_a("A", a, Gecode::ICL_BND)

AbsXY Test::Int::Arithmetic::abs_xy_bnd_b("B", b, Gecode::ICL_BND)

AbsXY Test::Int::Arithmetic::abs_xy_bnd_c("C", c, Gecode::ICL_BND)

AbsXY Test::Int::Arithmetic::abs_xy_dom_a("A", a, Gecode::ICL_DOM)

AbsXY Test::Int::Arithmetic::abs_xy_dom_b("B", b, Gecode::ICL_DOM)

AbsXY Test::Int::Arithmetic::abs_xy_dom_c("C", c, Gecode::ICL_DOM)

AbsXX Test::Int::Arithmetic::abs_xx_bnd_a("A", a, Gecode::ICL_BND)

AbsXX Test::Int::Arithmetic::abs_xx_bnd_b("B", b, Gecode::ICL_BND)

AbsXX Test::Int::Arithmetic::abs_xx_bnd_c("C", c, Gecode::ICL_BND)

AbsXX Test::Int::Arithmetic::abs_xx_dom_a("A", a, Gecode::ICL_DOM)

AbsXX Test::Int::Arithmetic::abs_xx_dom_b("B", b, Gecode::ICL_DOM)

AbsXX Test::Int::Arithmetic::abs_xx_dom_c("C", c, Gecode::ICL_DOM)

MinXYZ Test::Int::Arithmetic::min_xyz_a("A", a)

MinXYZ Test::Int::Arithmetic::min_xyz_b("B", b)

MinXYZ Test::Int::Arithmetic::min_xyz_c("C", c)

MinXXY Test::Int::Arithmetic::min_xxy_a("A", a)

MinXXY Test::Int::Arithmetic::min_xxy_b("B", b)

MinXXY Test::Int::Arithmetic::min_xxy_c("C", c)

MinXYX Test::Int::Arithmetic::min_xyx_a("A", a)

MinXYX Test::Int::Arithmetic::min_xyx_b("B", b)

MinXYX Test::Int::Arithmetic::min_xyx_c("C", c)

MinXYY Test::Int::Arithmetic::min_xyy_a("A", a)

MinXYY Test::Int::Arithmetic::min_xyy_b("B", b)

MinXYY Test::Int::Arithmetic::min_xyy_c("C", c)

MinXXX Test::Int::Arithmetic::min_xxx_a("A", a)

MinXXX Test::Int::Arithmetic::min_xxx_b("B", b)

MinXXX Test::Int::Arithmetic::min_xxx_c("C", c)

MaxXYZ Test::Int::Arithmetic::max_xyz_a("A", a)

MaxXYZ Test::Int::Arithmetic::max_xyz_b("B", b)

MaxXYZ Test::Int::Arithmetic::max_xyz_c("C", c)

MaxXXY Test::Int::Arithmetic::max_xxy_a("A", a)

MaxXXY Test::Int::Arithmetic::max_xxy_b("B", b)

MaxXXY Test::Int::Arithmetic::max_xxy_c("C", c)

MaxXYX Test::Int::Arithmetic::max_xyx_a("A", a)

MaxXYX Test::Int::Arithmetic::max_xyx_b("B", b)

MaxXYX Test::Int::Arithmetic::max_xyx_c("C", c)

MaxXYY Test::Int::Arithmetic::max_xyy_a("A", a)

MaxXYY Test::Int::Arithmetic::max_xyy_b("B", b)

MaxXYY Test::Int::Arithmetic::max_xyy_c("C", c)

MaxXXX Test::Int::Arithmetic::max_xxx_a("A", a)

MaxXXX Test::Int::Arithmetic::max_xxx_b("B", b)

MaxXXX Test::Int::Arithmetic::max_xxx_c("C", c)

MinNary Test::Int::Arithmetic::min_nary

Definition at line 593 of file arithmetic.cc.

MinNaryShared Test::Int::Arithmetic::min_s_nary

Definition at line 594 of file arithmetic.cc.

MaxNary Test::Int::Arithmetic::max_nary

Definition at line 595 of file arithmetic.cc.

MaxNaryShared Test::Int::Arithmetic::max_s_nary

Definition at line 596 of file arithmetic.cc.