Test::Int::MiniModelArithmetic Namespace Reference
Detailed Description
Tests for minimal modelling constraints (arithmetic).
Classes | |
class | Mult |
Test for multiplication 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) |
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::ICL_BND) |
Abs | abs_bnd_med ("B", d2, Gecode::ICL_BND) |
Abs | abs_bnd_min ("C", d3, Gecode::ICL_BND) |
Abs | abs_dom_max ("A", d1, Gecode::ICL_DOM) |
Abs | abs_dom_med ("B", d2, Gecode::ICL_DOM) |
Abs | abs_dom_min ("C", d3, Gecode::ICL_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 |