Test::Int::Distinct Namespace Reference
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 | 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::ICL_DOM) |
Distinct< false > | bnd_d (-3, 3, Gecode::ICL_BND) |
Distinct< false > | val_d (-3, 3, Gecode::ICL_VAL) |
Distinct< false > | dom_s (d, Gecode::ICL_DOM) |
Distinct< false > | bnd_s (d, Gecode::ICL_BND) |
Distinct< false > | val_s (d, Gecode::ICL_VAL) |
Distinct< false > | dom_l (dl, Gecode::ICL_DOM, 5) |
Distinct< false > | bnd_l (dl, Gecode::ICL_BND, 5) |
Distinct< false > | val_l (dl, Gecode::ICL_VAL, 5) |
Distinct< true > | count_dom_d (-3, 3, Gecode::ICL_DOM) |
Distinct< true > | count_bnd_d (-3, 3, Gecode::ICL_BND) |
Distinct< true > | count_val_d (-3, 3, Gecode::ICL_VAL) |
Distinct< true > | count_dom_s (d, Gecode::ICL_DOM) |
Distinct< true > | count_bnd_s (d, Gecode::ICL_BND) |
Distinct< true > | count_val_s (d, Gecode::ICL_VAL) |
Offset | dom_od (-3, 3, Gecode::ICL_DOM) |
Offset | bnd_od (-3, 3, Gecode::ICL_BND) |
Offset | val_od (-3, 3, Gecode::ICL_VAL) |
Offset | dom_os (d, Gecode::ICL_DOM) |
Offset | bnd_os (d, Gecode::ICL_BND) |
Offset | val_os (d, Gecode::ICL_VAL) |
Random | dom_r (20,-50, 50, Gecode::ICL_DOM) |
Random | bnd_r (50,-500, 500, Gecode::ICL_BND) |
Random | val_r (50,-500, 500, Gecode::ICL_VAL) |
Pathological | p_16_v (16, Gecode::ICL_VAL) |
Pathological | p_16_b (16, Gecode::ICL_BND) |
Pathological | p_16_d (16, Gecode::ICL_DOM) |
Pathological | p_32_v (32, Gecode::ICL_VAL) |
Pathological | p_32_b (32, Gecode::ICL_BND) |
Pathological | p_32_d (32, Gecode::ICL_DOM) |
Detailed Description
Tests for distinct constraints