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