Minimal modelling constraints (arithmetic)
[Testing finite domain integers]

Classes
class	Test::Int::MiniModelArithmetic::Mult
	Test for multiplication constraint. More...
class	Test::Int::MiniModelArithmetic::Plus
	Test for addition constraint. More...
class	Test::Int::MiniModelArithmetic::Minus
	Test for subtraction constraint. More...
class	Test::Int::MiniModelArithmetic::Sqr
	Test for sqr constraint. More...
class	Test::Int::MiniModelArithmetic::Sqrt
	Test for sqrt constraint. More...
class	Test::Int::MiniModelArithmetic::Abs
	Test for absolute value constraint. More...
class	Test::Int::MiniModelArithmetic::Min
	Test for binary minimum constraint. More...
class	Test::Int::MiniModelArithmetic::Max
	Test for binary maximum constraint. More...
class	Test::Int::MiniModelArithmetic::MinNary
	Test for n-ary minimmum constraint. More...
class	Test::Int::MiniModelArithmetic::MaxNary
	Test for n-ary maximum constraint. More...
Variables
const int	Test::Int::MiniModelArithmetic::v1 [7]
const int	Test::Int::MiniModelArithmetic::v2 [9]
Gecode::IntSet	Test::Int::MiniModelArithmetic::d1 (v1, 7)
Gecode::IntSet	Test::Int::MiniModelArithmetic::d2 (v2, 9)
Gecode::IntSet	Test::Int::MiniModelArithmetic::d3 (-8, 8)
Mult	Test::Int::MiniModelArithmetic::mult_max ("A", d1)
Mult	Test::Int::MiniModelArithmetic::mult_med ("B", d2)
Mult	Test::Int::MiniModelArithmetic::mult_min ("C", d3)
Plus	Test::Int::MiniModelArithmetic::plus_max ("A", d1)
Plus	Test::Int::MiniModelArithmetic::plus_med ("B", d2)
Plus	Test::Int::MiniModelArithmetic::plus_min ("C", d3)
Minus	Test::Int::MiniModelArithmetic::minus_max ("A", d1)
Minus	Test::Int::MiniModelArithmetic::minus_med ("B", d2)
Minus	Test::Int::MiniModelArithmetic::minus_min ("C", d3)
Sqr	Test::Int::MiniModelArithmetic::sqr_max ("A", d1)
Sqr	Test::Int::MiniModelArithmetic::sqr_med ("B", d2)
Sqr	Test::Int::MiniModelArithmetic::sqr_min ("C", d3)
Sqrt	Test::Int::MiniModelArithmetic::sqrt_max ("A", d1)
Sqrt	Test::Int::MiniModelArithmetic::sqrt_med ("B", d2)
Sqrt	Test::Int::MiniModelArithmetic::sqrt_min ("C", d3)
Abs	Test::Int::MiniModelArithmetic::abs_bnd_max ("A", d1, Gecode::ICL_BND)
Abs	Test::Int::MiniModelArithmetic::abs_bnd_med ("B", d2, Gecode::ICL_BND)
Abs	Test::Int::MiniModelArithmetic::abs_bnd_min ("C", d3, Gecode::ICL_BND)
Abs	Test::Int::MiniModelArithmetic::abs_dom_max ("A", d1, Gecode::ICL_DOM)
Abs	Test::Int::MiniModelArithmetic::abs_dom_med ("B", d2, Gecode::ICL_DOM)
Abs	Test::Int::MiniModelArithmetic::abs_dom_min ("C", d3, Gecode::ICL_DOM)
Min	Test::Int::MiniModelArithmetic::min_max ("A", d1)
Min	Test::Int::MiniModelArithmetic::min_med ("B", d2)
Min	Test::Int::MiniModelArithmetic::min_min ("C", d3)
Max	Test::Int::MiniModelArithmetic::max_max ("A", d1)
Max	Test::Int::MiniModelArithmetic::max_med ("B", d2)
Max	Test::Int::MiniModelArithmetic::max_min ("C", d3)
MinNary	Test::Int::MiniModelArithmetic::min_nary
MaxNary	Test::Int::MiniModelArithmetic::max_nary

---

Variable Documentation

const int Test::Int::MiniModelArithmetic::v1[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 244 of file mm-arithmetic.cc.

const int Test::Int::MiniModelArithmetic::v2[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 249 of file mm-arithmetic.cc.

Gecode::IntSet Test::Int::MiniModelArithmetic::d1(v1, 7)

Gecode::IntSet Test::Int::MiniModelArithmetic::d2(v2, 9)

Gecode::IntSet Test::Int::MiniModelArithmetic::d3(-8, 8)

Mult Test::Int::MiniModelArithmetic::mult_max("A", d1)

Mult Test::Int::MiniModelArithmetic::mult_med("B", d2)

Mult Test::Int::MiniModelArithmetic::mult_min("C", d3)

Plus Test::Int::MiniModelArithmetic::plus_max("A", d1)

Plus Test::Int::MiniModelArithmetic::plus_med("B", d2)

Plus Test::Int::MiniModelArithmetic::plus_min("C", d3)

Minus Test::Int::MiniModelArithmetic::minus_max("A", d1)

Minus Test::Int::MiniModelArithmetic::minus_med("B", d2)

Minus Test::Int::MiniModelArithmetic::minus_min("C", d3)

Sqr Test::Int::MiniModelArithmetic::sqr_max("A", d1)

Sqr Test::Int::MiniModelArithmetic::sqr_med("B", d2)

Sqr Test::Int::MiniModelArithmetic::sqr_min("C", d3)

Sqrt Test::Int::MiniModelArithmetic::sqrt_max("A", d1)

Sqrt Test::Int::MiniModelArithmetic::sqrt_med("B", d2)

Sqrt Test::Int::MiniModelArithmetic::sqrt_min("C", d3)

Abs Test::Int::MiniModelArithmetic::abs_bnd_max("A", d1, Gecode::ICL_BND)

Abs Test::Int::MiniModelArithmetic::abs_bnd_med("B", d2, Gecode::ICL_BND)

Abs Test::Int::MiniModelArithmetic::abs_bnd_min("C", d3, Gecode::ICL_BND)

Abs Test::Int::MiniModelArithmetic::abs_dom_max("A", d1, Gecode::ICL_DOM)

Abs Test::Int::MiniModelArithmetic::abs_dom_med("B", d2, Gecode::ICL_DOM)

Abs Test::Int::MiniModelArithmetic::abs_dom_min("C", d3, Gecode::ICL_DOM)

Min Test::Int::MiniModelArithmetic::min_max("A", d1)

Min Test::Int::MiniModelArithmetic::min_med("B", d2)

Min Test::Int::MiniModelArithmetic::min_min("C", d3)

Max Test::Int::MiniModelArithmetic::max_max("A", d1)

Max Test::Int::MiniModelArithmetic::max_med("B", d2)

Max Test::Int::MiniModelArithmetic::max_min("C", d3)

MinNary Test::Int::MiniModelArithmetic::min_nary

Definition at line 294 of file mm-arithmetic.cc.

MaxNary Test::Int::MiniModelArithmetic::max_nary

Definition at line 295 of file mm-arithmetic.cc.