
Tests for minimal modelling constraints (arithmetic) More...
Classes | |
| class | Mult |
| Test for multiplication constraint More... | |
| class | Div |
| Test for division constraint More... | |
| class | Mod |
| Test for division constraint More... | |
| class | Plus |
| Test for addition constraint More... | |
| class | Minus |
| Test for subtraction constraint More... | |
| class | Sqr |
| Test for sqr constraint More... | |
| class | Sqrt |
| Test for sqrt constraint More... | |
| class | Abs |
| Test for absolute value constraint More... | |
| class | Min |
| Test for binary minimum constraint More... | |
| class | Max |
| Test for binary maximum constraint More... | |
| class | MinNary |
| Test for n-ary minimmum constraint More... | |
| class | MaxNary |
| Test for n-ary maximum constraint More... | |
Variables | |
| const int | v1 [7] |
| const int | v2 [9] |
| Gecode::IntSet | d1 (v1, 7) |
| Gecode::IntSet | d2 (v2, 9) |
| Gecode::IntSet | d3 (-8, 8) |
| Mult | mult_max ("A", d1) |
| Mult | mult_med ("B", d2) |
| Mult | mult_min ("C", d3) |
| Div | div_max ("A", d1) |
| Div | div_med ("B", d2) |
| Div | div_min ("C", d3) |
| Mod | mod_max ("A", d1) |
| Mod | mod_med ("B", d2) |
| Mod | mod_min ("C", d3) |
| Plus | plus_max ("A", d1) |
| Plus | plus_med ("B", d2) |
| Plus | plus_min ("C", d3) |
| Minus | minus_max ("A", d1) |
| Minus | minus_med ("B", d2) |
| Minus | minus_min ("C", d3) |
| Sqr | sqr_max ("A", d1) |
| Sqr | sqr_med ("B", d2) |
| Sqr | sqr_min ("C", d3) |
| Sqrt | sqrt_max ("A", d1) |
| Sqrt | sqrt_med ("B", d2) |
| Sqrt | sqrt_min ("C", d3) |
| Abs | abs_bnd_max ("A", d1, Gecode::IPL_BND) |
| Abs | abs_bnd_med ("B", d2, Gecode::IPL_BND) |
| Abs | abs_bnd_min ("C", d3, Gecode::IPL_BND) |
| Abs | abs_dom_max ("A", d1, Gecode::IPL_DOM) |
| Abs | abs_dom_med ("B", d2, Gecode::IPL_DOM) |
| Abs | abs_dom_min ("C", d3, Gecode::IPL_DOM) |
| Min | min_max ("A", d1) |
| Min | min_med ("B", d2) |
| Min | min_min ("C", d3) |
| Max | max_max ("A", d1) |
| Max | max_med ("B", d2) |
| Max | max_min ("C", d3) |
| MinNary | min_nary |
| MaxNary | max_nary |
Tests for minimal modelling constraints (arithmetic)
| const int Test::Int::MiniModelArithmetic::v1[7] |
Definition at line 298 of file mm-arithmetic.cpp.
| const int Test::Int::MiniModelArithmetic::v2[9] |
Definition at line 303 of file mm-arithmetic.cpp.
| Gecode::IntSet Test::Int::MiniModelArithmetic::d1(v1, 7) | ( | v1 | , |
| 7 | |||
| ) |
| Gecode::IntSet Test::Int::MiniModelArithmetic::d2(v2, 9) | ( | v2 | , |
| 9 | |||
| ) |
| Gecode::IntSet Test::Int::MiniModelArithmetic::d3(-8, 8) | ( | - | 8, |
| 8 | |||
| ) |
| Abs Test::Int::MiniModelArithmetic::abs_bnd_max("A", d1, Gecode::IPL_BND) | ( | "A" | , |
| d1 | , | ||
| Gecode::IPL_BND | |||
| ) |
| Abs Test::Int::MiniModelArithmetic::abs_bnd_med("B", d2, Gecode::IPL_BND) | ( | "B" | , |
| d2 | , | ||
| Gecode::IPL_BND | |||
| ) |
| Abs Test::Int::MiniModelArithmetic::abs_bnd_min("C", d3, Gecode::IPL_BND) | ( | "C" | , |
| d3 | , | ||
| Gecode::IPL_BND | |||
| ) |
| Abs Test::Int::MiniModelArithmetic::abs_dom_max("A", d1, Gecode::IPL_DOM) | ( | "A" | , |
| d1 | , | ||
| Gecode::IPL_DOM | |||
| ) |
| Abs Test::Int::MiniModelArithmetic::abs_dom_med("B", d2, Gecode::IPL_DOM) | ( | "B" | , |
| d2 | , | ||
| Gecode::IPL_DOM | |||
| ) |
| Abs Test::Int::MiniModelArithmetic::abs_dom_min("C", d3, Gecode::IPL_DOM) | ( | "C" | , |
| d3 | , | ||
| Gecode::IPL_DOM | |||
| ) |
| MinNary Test::Int::MiniModelArithmetic::min_nary |
Definition at line 356 of file mm-arithmetic.cpp.
| MaxNary Test::Int::MiniModelArithmetic::max_nary |
Definition at line 357 of file mm-arithmetic.cpp.