# distinct.cpp File Reference

`#include "test/int.hh"`

`#include <gecode/minimodel.hh>`

Go to the source code of this file.

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

class | Test::Int::Distinct::Pathological::TestSpace |

Test space More... | |

## Namespaces | |

namespace | Test |

General test support. | |

namespace | Test::Int |

Testing finite domain integers. | |

namespace | Test::Int::Distinct |

Tests for distinct constraints | |

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