Arithmetic constraints
[Testing finite domain integers]
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.
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.