Classes |
| class | Test::Int::MiniModelArithmetic::Mult |
| | Test for multiplication constraint More...
|
| class | Test::Int::MiniModelArithmetic::Div |
| | Test for division constraint More...
|
| class | Test::Int::MiniModelArithmetic::Mod |
| | Test for division 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...
|
Namespaces |
| namespace | Test |
| | General test support.
|
| namespace | Test::Int |
| | Testing finite domain integers.
|
| namespace | Test::Int::MiniModelArithmetic |
| | Tests for minimal modelling constraints (arithmetic)
|
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) |
| Div | Test::Int::MiniModelArithmetic::div_max ("A", d1) |
| Div | Test::Int::MiniModelArithmetic::div_med ("B", d2) |
| Div | Test::Int::MiniModelArithmetic::div_min ("C", d3) |
| Mod | Test::Int::MiniModelArithmetic::mod_max ("A", d1) |
| Mod | Test::Int::MiniModelArithmetic::mod_med ("B", d2) |
| Mod | Test::Int::MiniModelArithmetic::mod_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::IPL_BND) |
| Abs | Test::Int::MiniModelArithmetic::abs_bnd_med ("B", d2, Gecode::IPL_BND) |
| Abs | Test::Int::MiniModelArithmetic::abs_bnd_min ("C", d3, Gecode::IPL_BND) |
| Abs | Test::Int::MiniModelArithmetic::abs_dom_max ("A", d1, Gecode::IPL_DOM) |
| Abs | Test::Int::MiniModelArithmetic::abs_dom_med ("B", d2, Gecode::IPL_DOM) |
| Abs | Test::Int::MiniModelArithmetic::abs_dom_min ("C", d3, Gecode::IPL_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 |
