Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
distinct.cpp File Reference

(Revision: 14077)

#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

 Test
 General test support.
 
 Test::Int
 Testing finite domain integers.
 
 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::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< false > Test::Int::Distinct::dom_l (dl, Gecode::ICL_DOM, 5)
 
Distinct< false > Test::Int::Distinct::bnd_l (dl, Gecode::ICL_BND, 5)
 
Distinct< false > Test::Int::Distinct::val_l (dl, Gecode::ICL_VAL, 5)
 
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)