Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Test::Int::Distinct Namespace Reference

Tests for distinct constraints More...

Classes

class  Distinct
 Simple test for distinct constraint. More...
class  Except
 Simple test for distinct except constant constraint. More...
class  Offset
 Simple test for distinct constraint with offsets. More...
class  Optional
 Simple test for optional distinct constraint. 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::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)
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})
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

Variable Documentation

◆ v

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

Definition at line 259 of file distinct.cpp.

◆ d

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

◆ vl

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

Definition at line 261 of file distinct.cpp.

◆ dl

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

◆ dom_d

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

◆ bnd_d

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

◆ val_d

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

◆ dom_s

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

◆ bnd_s

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

◆ val_s

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

◆ dom_l

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

◆ bnd_l

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

◆ val_l

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

◆ count_dom_d

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

◆ count_bnd_d

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

◆ count_val_d

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

◆ count_dom_s

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

◆ count_bnd_s

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

◆ count_val_s

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

◆ dom_od

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

◆ bnd_od

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

◆ val_od

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

◆ dom_os

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

◆ bnd_os

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

◆ val_os

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

◆ v1

◆ v2

◆ v3

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

◆ v4

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

◆ v5

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

◆ od1

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

◆ ob1

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

◆ ov1

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

◆ od2

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

◆ ob2

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

◆ ov2

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

◆ od3

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

◆ ob3

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

◆ ov3

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

◆ od4

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

◆ ob4

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

◆ ov4

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

◆ od5

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

◆ ob5

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

◆ ov5

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

◆ ed1

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

◆ eb1

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

◆ ev1

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

◆ ed2

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

◆ eb2

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

◆ ev2

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

◆ ed5

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

◆ eb5

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

◆ ev5

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

◆ dom_r

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

◆ bnd_r

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

◆ val_r

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

◆ p_16_v

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

◆ p_16_b

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

◆ p_16_d

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

◆ p_32_v

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

◆ p_32_b

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

◆ p_32_d

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