Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15

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::Optional
 Simple test for optional distinct constraint. More...
 
class  Test::Int::Distinct::Except
 Simple test for distinct except constant constraint. 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)
 
const int Test::Int::Distinct::vl [6]
 
Gecode::IntSet Test::Int::Distinct::dl (vl, 6)
 
Distinct< false > Test::Int::Distinct::dom_d (-3, 3, Gecode::IPL_DOM)
 
Distinct< false > Test::Int::Distinct::bnd_d (-3, 3, Gecode::IPL_BND)
 
Distinct< false > Test::Int::Distinct::val_d (-3, 3, Gecode::IPL_VAL)
 
Distinct< false > Test::Int::Distinct::dom_s (d, Gecode::IPL_DOM)
 
Distinct< false > Test::Int::Distinct::bnd_s (d, Gecode::IPL_BND)
 
Distinct< false > Test::Int::Distinct::val_s (d, Gecode::IPL_VAL)
 
Distinct< false > Test::Int::Distinct::dom_l (dl, Gecode::IPL_DOM, 5)
 
Distinct< false > Test::Int::Distinct::bnd_l (dl, Gecode::IPL_BND, 5)
 
Distinct< false > Test::Int::Distinct::val_l (dl, Gecode::IPL_VAL, 5)
 
Distinct< true > Test::Int::Distinct::count_dom_d (-3, 3, Gecode::IPL_DOM)
 
Distinct< true > Test::Int::Distinct::count_bnd_d (-3, 3, Gecode::IPL_BND)
 
Distinct< true > Test::Int::Distinct::count_val_d (-3, 3, Gecode::IPL_VAL)
 
Distinct< true > Test::Int::Distinct::count_dom_s (d, Gecode::IPL_DOM)
 
Distinct< true > Test::Int::Distinct::count_bnd_s (d, Gecode::IPL_BND)
 
Distinct< true > Test::Int::Distinct::count_val_s (d, Gecode::IPL_VAL)
 
Offset Test::Int::Distinct::dom_od (-3, 3, Gecode::IPL_DOM)
 
Offset Test::Int::Distinct::bnd_od (-3, 3, Gecode::IPL_BND)
 
Offset Test::Int::Distinct::val_od (-3, 3, Gecode::IPL_VAL)
 
Offset Test::Int::Distinct::dom_os (d, Gecode::IPL_DOM)
 
Offset Test::Int::Distinct::bnd_os (d, Gecode::IPL_BND)
 
Offset Test::Int::Distinct::val_os (d, Gecode::IPL_VAL)
 
Gecode::IntArgs Test::Int::Distinct::v1 (4, Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max)
 
Gecode::IntArgs Test::Int::Distinct::v2 (4, Gecode::Int::Limits::min, 0, 1, Gecode::Int::Limits::max-4)
 
Gecode::IntArgs Test::Int::Distinct::v3 (4, 0, 1, 2, 3)
 
Gecode::IntArgs Test::Int::Distinct::v4 (3, 0, 1, 2)
 
Gecode::IntArgs Test::Int::Distinct::v5 (2, 0, 1)
 
Optional Test::Int::Distinct::od1 (v1, Gecode::IPL_DOM)
 
Optional Test::Int::Distinct::ob1 (v1, Gecode::IPL_BND)
 
Optional Test::Int::Distinct::ov1 (v1, Gecode::IPL_VAL)
 
Optional Test::Int::Distinct::od2 (v2, Gecode::IPL_DOM)
 
Optional Test::Int::Distinct::ob2 (v2, Gecode::IPL_BND)
 
Optional Test::Int::Distinct::ov2 (v2, Gecode::IPL_VAL)
 
Optional Test::Int::Distinct::od3 (v3, Gecode::IPL_DOM)
 
Optional Test::Int::Distinct::ob3 (v3, Gecode::IPL_BND)
 
Optional Test::Int::Distinct::ov3 (v3, Gecode::IPL_VAL)
 
Optional Test::Int::Distinct::od4 (v4, Gecode::IPL_DOM)
 
Optional Test::Int::Distinct::ob4 (v4, Gecode::IPL_BND)
 
Optional Test::Int::Distinct::ov4 (v4, Gecode::IPL_VAL)
 
Optional Test::Int::Distinct::od5 (v5, Gecode::IPL_DOM)
 
Optional Test::Int::Distinct::ob5 (v5, Gecode::IPL_BND)
 
Optional Test::Int::Distinct::ov5 (v5, Gecode::IPL_VAL)
 
Except Test::Int::Distinct::ed1 (v1, Gecode::IPL_DOM)
 
Except Test::Int::Distinct::eb1 (v1, Gecode::IPL_BND)
 
Except Test::Int::Distinct::ev1 (v1, Gecode::IPL_VAL)
 
Except Test::Int::Distinct::ed2 (v2, Gecode::IPL_DOM)
 
Except Test::Int::Distinct::eb2 (v2, Gecode::IPL_BND)
 
Except Test::Int::Distinct::ev2 (v2, Gecode::IPL_VAL)
 
Except Test::Int::Distinct::ed5 (v5, Gecode::IPL_DOM)
 
Except Test::Int::Distinct::eb5 (v5, Gecode::IPL_BND)
 
Except Test::Int::Distinct::ev5 (v5, Gecode::IPL_VAL)
 
Random Test::Int::Distinct::dom_r (20,-50, 50, Gecode::IPL_DOM)
 
Random Test::Int::Distinct::bnd_r (50,-500, 500, Gecode::IPL_BND)
 
Random Test::Int::Distinct::val_r (50,-500, 500, Gecode::IPL_VAL)
 
Pathological Test::Int::Distinct::p_16_v (16, Gecode::IPL_VAL)
 
Pathological Test::Int::Distinct::p_16_b (16, Gecode::IPL_BND)
 
Pathological Test::Int::Distinct::p_16_d (16, Gecode::IPL_DOM)
 
Pathological Test::Int::Distinct::p_32_v (32, Gecode::IPL_VAL)
 
Pathological Test::Int::Distinct::p_32_b (32, Gecode::IPL_BND)
 
Pathological Test::Int::Distinct::p_32_d (32, Gecode::IPL_DOM)
 

Detailed Description

Variable Documentation

◆ v

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

Definition at line 263 of file distinct.cpp.

◆ d

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

◆ vl

const int Test::Int::Distinct::vl[6]
Initial value:

Definition at line 265 of file distinct.cpp.

◆ dl

Gecode::IntSet Test::Int::Distinct::dl(vl, 6)

◆ dom_d

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

◆ bnd_d

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

◆ val_d

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

◆ dom_s

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

◆ bnd_s

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

◆ val_s

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

◆ dom_l

Distinct<false> Test::Int::Distinct::dom_l(dl, Gecode::IPL_DOM, 5)

◆ bnd_l

Distinct<false> Test::Int::Distinct::bnd_l(dl, Gecode::IPL_BND, 5)

◆ val_l

Distinct<false> Test::Int::Distinct::val_l(dl, Gecode::IPL_VAL, 5)

◆ count_dom_d

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

◆ count_bnd_d

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

◆ count_val_d

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

◆ count_dom_s

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

◆ count_bnd_s

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

◆ count_val_s

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

◆ dom_od

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

◆ bnd_od

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

◆ val_od

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

◆ dom_os

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

◆ bnd_os

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

◆ val_os

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

◆ v1

◆ v2

◆ v3

Gecode::IntArgs Test::Int::Distinct::v3(4, 0, 1, 2, 3)

◆ v4

Gecode::IntArgs Test::Int::Distinct::v4(3, 0, 1, 2)

◆ v5

Gecode::IntArgs Test::Int::Distinct::v5(2, 0, 1)

◆ od1

Optional Test::Int::Distinct::od1(v1, Gecode::IPL_DOM)

◆ ob1

Optional Test::Int::Distinct::ob1(v1, Gecode::IPL_BND)

◆ ov1

Optional Test::Int::Distinct::ov1(v1, Gecode::IPL_VAL)

◆ od2

Optional Test::Int::Distinct::od2(v2, Gecode::IPL_DOM)

◆ ob2

Optional Test::Int::Distinct::ob2(v2, Gecode::IPL_BND)

◆ ov2

Optional Test::Int::Distinct::ov2(v2, Gecode::IPL_VAL)

◆ od3

Optional Test::Int::Distinct::od3(v3, Gecode::IPL_DOM)

◆ ob3

Optional Test::Int::Distinct::ob3(v3, Gecode::IPL_BND)

◆ ov3

Optional Test::Int::Distinct::ov3(v3, Gecode::IPL_VAL)

◆ od4

Optional Test::Int::Distinct::od4(v4, Gecode::IPL_DOM)

◆ ob4

Optional Test::Int::Distinct::ob4(v4, Gecode::IPL_BND)

◆ ov4

Optional Test::Int::Distinct::ov4(v4, Gecode::IPL_VAL)

◆ od5

Optional Test::Int::Distinct::od5(v5, Gecode::IPL_DOM)

◆ ob5

Optional Test::Int::Distinct::ob5(v5, Gecode::IPL_BND)

◆ ov5

Optional Test::Int::Distinct::ov5(v5, Gecode::IPL_VAL)

◆ ed1

Except Test::Int::Distinct::ed1(v1, Gecode::IPL_DOM)

◆ eb1

Except Test::Int::Distinct::eb1(v1, Gecode::IPL_BND)

◆ ev1

Except Test::Int::Distinct::ev1(v1, Gecode::IPL_VAL)

◆ ed2

Except Test::Int::Distinct::ed2(v2, Gecode::IPL_DOM)

◆ eb2

Except Test::Int::Distinct::eb2(v2, Gecode::IPL_BND)

◆ ev2

Except Test::Int::Distinct::ev2(v2, Gecode::IPL_VAL)

◆ ed5

Except Test::Int::Distinct::ed5(v5, Gecode::IPL_DOM)

◆ eb5

Except Test::Int::Distinct::eb5(v5, Gecode::IPL_BND)

◆ ev5

Except Test::Int::Distinct::ev5(v5, Gecode::IPL_VAL)

◆ dom_r

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

◆ bnd_r

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

◆ val_r

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

◆ p_16_v

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

◆ p_16_b

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

◆ p_16_d

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

◆ p_32_v

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

◆ p_32_b

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

◆ p_32_d

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