distinct.cpp File Reference
(Revision: 12394)
#include "test/int.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::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) |
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) |