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

## 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:
= {Gecode::Int::Limits::min+0,
Gecode::Int::Limits::min+1,
Gecode::Int::Limits::min+2,
Gecode::Int::Limits::max-2,
Gecode::Int::Limits::max-1,
Gecode::Int::Limits::max-0}
Gecode::Int::Limits::min
const int min
Smallest allowed integer value.
Definition int.hh:118
Gecode::Int::Limits::max
const int max
Largest allowed integer value.
Definition int.hh:116

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

Gecode::IntArgs Test::Int::Distinct::v1({Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max}) | ( | {Gecode::Int::Limits::min+4, 0, 1, Gecode::Int::Limits::max} |  | ) |

## v2

Gecode::IntArgs Test::Int::Distinct::v2({Gecode::Int::Limits::min, 0, 1, Gecode::Int::Limits::max-4}) | ( | {Gecode::Int::Limits::min, 0, 1, Gecode::Int::Limits::max-4} |  | ) |

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