Distinct constraints
[Testing finite domain integers]

Classes
class	Test::Int::Distinct::Distinct< useCount >
	Simple test for distinct constraint. More...
class	Test::Int::Distinct::Offset
	Simple test for distinct constraint with offsets. More...
class	Test::Int::Distinct::Random
	Randomized test for distinct constraint. More...
class	Test::Int::Distinct::Pathological
	Testing pathological cases. More...
Variables
const int	Test::Int::Distinct::v [7] = {-1001,-1000,-10,0,10,1000,1001}
Gecode::IntSet	Test::Int::Distinct::d (v, 7)
Distinct< false >	Test::Int::Distinct::dom_d (-3, 3, Gecode::ICL_DOM)
Distinct< false >	Test::Int::Distinct::bnd_d (-3, 3, Gecode::ICL_BND)
Distinct< false >	Test::Int::Distinct::val_d (-3, 3, Gecode::ICL_VAL)
Distinct< false >	Test::Int::Distinct::dom_s (d, Gecode::ICL_DOM)
Distinct< false >	Test::Int::Distinct::bnd_s (d, Gecode::ICL_BND)
Distinct< false >	Test::Int::Distinct::val_s (d, Gecode::ICL_VAL)
Distinct< true >	Test::Int::Distinct::count_dom_d (-3, 3, Gecode::ICL_DOM)
Distinct< true >	Test::Int::Distinct::count_bnd_d (-3, 3, Gecode::ICL_BND)
Distinct< true >	Test::Int::Distinct::count_val_d (-3, 3, Gecode::ICL_VAL)
Distinct< true >	Test::Int::Distinct::count_dom_s (d, Gecode::ICL_DOM)
Distinct< true >	Test::Int::Distinct::count_bnd_s (d, Gecode::ICL_BND)
Distinct< true >	Test::Int::Distinct::count_val_s (d, Gecode::ICL_VAL)
Offset	Test::Int::Distinct::dom_od (-3, 3, Gecode::ICL_DOM)
Offset	Test::Int::Distinct::bnd_od (-3, 3, Gecode::ICL_BND)
Offset	Test::Int::Distinct::val_od (-3, 3, Gecode::ICL_VAL)
Offset	Test::Int::Distinct::dom_os (d, Gecode::ICL_DOM)
Offset	Test::Int::Distinct::bnd_os (d, Gecode::ICL_BND)
Offset	Test::Int::Distinct::val_os (d, Gecode::ICL_VAL)
Random	Test::Int::Distinct::dom_r (20,-50, 50, Gecode::ICL_DOM)
Random	Test::Int::Distinct::bnd_r (50,-500, 500, Gecode::ICL_BND)
Random	Test::Int::Distinct::val_r (50,-500, 500, Gecode::ICL_VAL)
Pathological	Test::Int::Distinct::p_16_v (16, Gecode::ICL_VAL)
Pathological	Test::Int::Distinct::p_16_b (16, Gecode::ICL_BND)
Pathological	Test::Int::Distinct::p_16_d (16, Gecode::ICL_DOM)
Pathological	Test::Int::Distinct::p_32_v (32, Gecode::ICL_VAL)
Pathological	Test::Int::Distinct::p_32_b (32, Gecode::ICL_BND)
Pathological	Test::Int::Distinct::p_32_d (32, Gecode::ICL_DOM)

---

Variable Documentation

const int Test::Int::Distinct::v[7] = {-1001,-1000,-10,0,10,1000,1001}

Definition at line 208 of file distinct.cc.

Gecode::IntSet Test::Int::Distinct::d(v, 7)

Distinct<false> Test::Int::Distinct::dom_d(-3, 3, Gecode::ICL_DOM)

Distinct<false> Test::Int::Distinct::bnd_d(-3, 3, Gecode::ICL_BND)

Distinct<false> Test::Int::Distinct::val_d(-3, 3, Gecode::ICL_VAL)

Distinct<false> Test::Int::Distinct::dom_s(d, Gecode::ICL_DOM)

Distinct<false> Test::Int::Distinct::bnd_s(d, Gecode::ICL_BND)

Distinct<false> Test::Int::Distinct::val_s(d, Gecode::ICL_VAL)

Distinct<true> Test::Int::Distinct::count_dom_d(-3, 3, Gecode::ICL_DOM)

Distinct<true> Test::Int::Distinct::count_bnd_d(-3, 3, Gecode::ICL_BND)

Distinct<true> Test::Int::Distinct::count_val_d(-3, 3, Gecode::ICL_VAL)

Distinct<true> Test::Int::Distinct::count_dom_s(d, Gecode::ICL_DOM)

Distinct<true> Test::Int::Distinct::count_bnd_s(d, Gecode::ICL_BND)

Distinct<true> Test::Int::Distinct::count_val_s(d, Gecode::ICL_VAL)

Offset Test::Int::Distinct::dom_od(-3, 3, Gecode::ICL_DOM)

Offset Test::Int::Distinct::bnd_od(-3, 3, Gecode::ICL_BND)

Offset Test::Int::Distinct::val_od(-3, 3, Gecode::ICL_VAL)

Offset Test::Int::Distinct::dom_os(d, Gecode::ICL_DOM)

Offset Test::Int::Distinct::bnd_os(d, Gecode::ICL_BND)

Offset Test::Int::Distinct::val_os(d, Gecode::ICL_VAL)

Random Test::Int::Distinct::dom_r(20,-50, 50, Gecode::ICL_DOM)

Random Test::Int::Distinct::bnd_r(50,-500, 500, Gecode::ICL_BND)

Random Test::Int::Distinct::val_r(50,-500, 500, Gecode::ICL_VAL)

Pathological Test::Int::Distinct::p_16_v(16, Gecode::ICL_VAL)

Pathological Test::Int::Distinct::p_16_b(16, Gecode::ICL_BND)

Pathological Test::Int::Distinct::p_16_d(16, Gecode::ICL_DOM)

Pathological Test::Int::Distinct::p_32_v(32, Gecode::ICL_VAL)

Pathological Test::Int::Distinct::p_32_b(32, Gecode::ICL_BND)

Pathological Test::Int::Distinct::p_32_d(32, Gecode::ICL_DOM)