Generated on Sat Feb 7 2015 02:01:56 for Gecode by doxygen 1.8.9.1
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  Pathological
 Testing pathological cases More...
 
class  Random
 Randomized test for distinct constraint. 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