Generated on Thu Mar 22 10:40:01 2012 for Gecode by doxygen 1.6.3

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)
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< 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