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