Generated on Fri Oct 19 11:26:31 2018 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  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...

Functions

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

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

Detailed Description

Tests for distinct constraints