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 |