Tests for distinct constraints More...
Classes | |
class | Distinct |
Simple test for distinct constraint. More... | |
class | Except |
Simple test for distinct except constant constraint. More... | |
class | Offset |
Simple test for distinct constraint with offsets. More... | |
class | Optional |
Simple test for optional distinct constraint. More... | |
class | Pathological |
Testing pathological cases More... | |
class | Random |
Randomized test for distinct constraint. More... |
Tests for distinct constraints
const int Test::Int::Distinct::v[7] = {-1001,-1000,-10,0,10,1000,1001} |
Definition at line 259 of file distinct.cpp.
Gecode::IntSet Test::Int::Distinct::d(v, 7) | ( | v | , |
7 | ) |
const int Test::Int::Distinct::vl[6] |
Definition at line 261 of file distinct.cpp.
Gecode::IntSet Test::Int::Distinct::dl(vl, 6) | ( | vl | , |
6 | ) |
Distinct< false > Test::Int::Distinct::dom_d(-3, 3, Gecode::IPL_DOM) | ( | - | 3, |
3 | , | ||
Gecode::IPL_DOM | ) |
Distinct< false > Test::Int::Distinct::bnd_d(-3, 3, Gecode::IPL_BND) | ( | - | 3, |
3 | , | ||
Gecode::IPL_BND | ) |
Distinct< false > Test::Int::Distinct::val_d(-3, 3, Gecode::IPL_VAL) | ( | - | 3, |
3 | , | ||
Gecode::IPL_VAL | ) |
Distinct< false > Test::Int::Distinct::dom_s(d, Gecode::IPL_DOM) | ( | d | , |
Gecode::IPL_DOM | ) |
Distinct< false > Test::Int::Distinct::bnd_s(d, Gecode::IPL_BND) | ( | d | , |
Gecode::IPL_BND | ) |
Distinct< false > Test::Int::Distinct::val_s(d, Gecode::IPL_VAL) | ( | d | , |
Gecode::IPL_VAL | ) |
Distinct< false > Test::Int::Distinct::dom_l(dl, Gecode::IPL_DOM, 5) | ( | dl | , |
Gecode::IPL_DOM | , | ||
5 | ) |
Distinct< false > Test::Int::Distinct::bnd_l(dl, Gecode::IPL_BND, 5) | ( | dl | , |
Gecode::IPL_BND | , | ||
5 | ) |
Distinct< false > Test::Int::Distinct::val_l(dl, Gecode::IPL_VAL, 5) | ( | dl | , |
Gecode::IPL_VAL | , | ||
5 | ) |
Distinct< true > Test::Int::Distinct::count_dom_d(-3, 3, Gecode::IPL_DOM) | ( | - | 3, |
3 | , | ||
Gecode::IPL_DOM | ) |
Distinct< true > Test::Int::Distinct::count_bnd_d(-3, 3, Gecode::IPL_BND) | ( | - | 3, |
3 | , | ||
Gecode::IPL_BND | ) |
Distinct< true > Test::Int::Distinct::count_val_d(-3, 3, Gecode::IPL_VAL) | ( | - | 3, |
3 | , | ||
Gecode::IPL_VAL | ) |
Distinct< true > Test::Int::Distinct::count_dom_s(d, Gecode::IPL_DOM) | ( | d | , |
Gecode::IPL_DOM | ) |
Distinct< true > Test::Int::Distinct::count_bnd_s(d, Gecode::IPL_BND) | ( | d | , |
Gecode::IPL_BND | ) |
Distinct< true > Test::Int::Distinct::count_val_s(d, Gecode::IPL_VAL) | ( | d | , |
Gecode::IPL_VAL | ) |
Offset Test::Int::Distinct::dom_od(-3, 3, Gecode::IPL_DOM) | ( | - | 3, |
3 | , | ||
Gecode::IPL_DOM | ) |
Offset Test::Int::Distinct::bnd_od(-3, 3, Gecode::IPL_BND) | ( | - | 3, |
3 | , | ||
Gecode::IPL_BND | ) |
Offset Test::Int::Distinct::val_od(-3, 3, Gecode::IPL_VAL) | ( | - | 3, |
3 | , | ||
Gecode::IPL_VAL | ) |
Offset Test::Int::Distinct::dom_os(d, Gecode::IPL_DOM) | ( | d | , |
Gecode::IPL_DOM | ) |
Offset Test::Int::Distinct::bnd_os(d, Gecode::IPL_BND) | ( | d | , |
Gecode::IPL_BND | ) |
Offset Test::Int::Distinct::val_os(d, Gecode::IPL_VAL) | ( | d | , |
Gecode::IPL_VAL | ) |
Gecode::IntArgs Test::Int::Distinct::v1({Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max}) | ( | {Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max} | ) |
Gecode::IntArgs Test::Int::Distinct::v2({Gecode::Int::Limits::min, 0, 1, Gecode::Int::Limits::max-4}) | ( | {Gecode::Int::Limits::min, 0, 1, Gecode::Int::Limits::max-4} | ) |
Gecode::IntArgs Test::Int::Distinct::v3({0, 1, 2, 3}) | ( | {0, 1, 2, 3} | ) |
Gecode::IntArgs Test::Int::Distinct::v4({0, 1, 2}) | ( | {0, 1, 2} | ) |
Gecode::IntArgs Test::Int::Distinct::v5({0, 1}) | ( | {0, 1} | ) |
Optional Test::Int::Distinct::od1(v1, Gecode::IPL_DOM) | ( | v1 | , |
Gecode::IPL_DOM | ) |
Optional Test::Int::Distinct::ob1(v1, Gecode::IPL_BND) | ( | v1 | , |
Gecode::IPL_BND | ) |
Optional Test::Int::Distinct::ov1(v1, Gecode::IPL_VAL) | ( | v1 | , |
Gecode::IPL_VAL | ) |
Optional Test::Int::Distinct::od2(v2, Gecode::IPL_DOM) | ( | v2 | , |
Gecode::IPL_DOM | ) |
Optional Test::Int::Distinct::ob2(v2, Gecode::IPL_BND) | ( | v2 | , |
Gecode::IPL_BND | ) |
Optional Test::Int::Distinct::ov2(v2, Gecode::IPL_VAL) | ( | v2 | , |
Gecode::IPL_VAL | ) |
Optional Test::Int::Distinct::od3(v3, Gecode::IPL_DOM) | ( | v3 | , |
Gecode::IPL_DOM | ) |
Optional Test::Int::Distinct::ob3(v3, Gecode::IPL_BND) | ( | v3 | , |
Gecode::IPL_BND | ) |
Optional Test::Int::Distinct::ov3(v3, Gecode::IPL_VAL) | ( | v3 | , |
Gecode::IPL_VAL | ) |
Optional Test::Int::Distinct::od4(v4, Gecode::IPL_DOM) | ( | v4 | , |
Gecode::IPL_DOM | ) |
Optional Test::Int::Distinct::ob4(v4, Gecode::IPL_BND) | ( | v4 | , |
Gecode::IPL_BND | ) |
Optional Test::Int::Distinct::ov4(v4, Gecode::IPL_VAL) | ( | v4 | , |
Gecode::IPL_VAL | ) |
Optional Test::Int::Distinct::od5(v5, Gecode::IPL_DOM) | ( | v5 | , |
Gecode::IPL_DOM | ) |
Optional Test::Int::Distinct::ob5(v5, Gecode::IPL_BND) | ( | v5 | , |
Gecode::IPL_BND | ) |
Optional Test::Int::Distinct::ov5(v5, Gecode::IPL_VAL) | ( | v5 | , |
Gecode::IPL_VAL | ) |
Except Test::Int::Distinct::ed1(v1, Gecode::IPL_DOM) | ( | v1 | , |
Gecode::IPL_DOM | ) |
Except Test::Int::Distinct::eb1(v1, Gecode::IPL_BND) | ( | v1 | , |
Gecode::IPL_BND | ) |
Except Test::Int::Distinct::ev1(v1, Gecode::IPL_VAL) | ( | v1 | , |
Gecode::IPL_VAL | ) |
Except Test::Int::Distinct::ed2(v2, Gecode::IPL_DOM) | ( | v2 | , |
Gecode::IPL_DOM | ) |
Except Test::Int::Distinct::eb2(v2, Gecode::IPL_BND) | ( | v2 | , |
Gecode::IPL_BND | ) |
Except Test::Int::Distinct::ev2(v2, Gecode::IPL_VAL) | ( | v2 | , |
Gecode::IPL_VAL | ) |
Except Test::Int::Distinct::ed5(v5, Gecode::IPL_DOM) | ( | v5 | , |
Gecode::IPL_DOM | ) |
Except Test::Int::Distinct::eb5(v5, Gecode::IPL_BND) | ( | v5 | , |
Gecode::IPL_BND | ) |
Except Test::Int::Distinct::ev5(v5, Gecode::IPL_VAL) | ( | v5 | , |
Gecode::IPL_VAL | ) |
Random Test::Int::Distinct::dom_r(20,-50, 50, Gecode::IPL_DOM) | ( | 20 | , |
- | 50, | ||
50 | , | ||
Gecode::IPL_DOM | ) |
Random Test::Int::Distinct::bnd_r(50,-500, 500, Gecode::IPL_BND) | ( | 50 | , |
- | 500, | ||
500 | , | ||
Gecode::IPL_BND | ) |
Random Test::Int::Distinct::val_r(50,-500, 500, Gecode::IPL_VAL) | ( | 50 | , |
- | 500, | ||
500 | , | ||
Gecode::IPL_VAL | ) |
Pathological Test::Int::Distinct::p_16_v(16, Gecode::IPL_VAL) | ( | 16 | , |
Gecode::IPL_VAL | ) |
Pathological Test::Int::Distinct::p_16_b(16, Gecode::IPL_BND) | ( | 16 | , |
Gecode::IPL_BND | ) |
Pathological Test::Int::Distinct::p_16_d(16, Gecode::IPL_DOM) | ( | 16 | , |
Gecode::IPL_DOM | ) |
Pathological Test::Int::Distinct::p_32_v(32, Gecode::IPL_VAL) | ( | 32 | , |
Gecode::IPL_VAL | ) |
Pathological Test::Int::Distinct::p_32_b(32, Gecode::IPL_BND) | ( | 32 | , |
Gecode::IPL_BND | ) |
Pathological Test::Int::Distinct::p_32_d(32, Gecode::IPL_DOM) | ( | 32 | , |
Gecode::IPL_DOM | ) |