Tests for minimal modelling constraints (arithmetic) More...
Classes | |
class | Abs |
Test for absolute value constraint More... | |
class | Div |
Test for division constraint More... | |
class | Max |
Test for binary maximum constraint More... | |
class | MaxNary |
Test for n-ary maximum constraint More... | |
class | Min |
Test for binary minimum constraint More... | |
class | MinNary |
Test for n-ary minimmum constraint More... | |
class | Minus |
Test for subtraction constraint More... | |
class | Mod |
Test for division constraint More... | |
class | Mult |
Test for multiplication constraint More... | |
class | Plus |
Test for addition constraint More... | |
class | Sqr |
Test for sqr constraint More... | |
class | Sqrt |
Test for sqrt constraint More... | |
Tests for minimal modelling constraints (arithmetic)
const int Test::Int::MiniModelArithmetic::v1[7] |
Definition at line 302 of file mm-arithmetic.cpp.
const int Test::Int::MiniModelArithmetic::v2[9] |
Definition at line 307 of file mm-arithmetic.cpp.
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 |
Definition at line 360 of file mm-arithmetic.cpp.
MaxNary Test::Int::MiniModelArithmetic::max_nary |
Definition at line 361 of file mm-arithmetic.cpp.