|
| 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::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 |
| |