1 /*-----------------------------------------------------------------------------+
2 Copyright (c) 2008-2010: Joachim Faulhaber
3 +------------------------------------------------------------------------------+
4 Distributed under the Boost Software License, Version 1.0.
5 (See accompanying file LICENCE.txt or copy at
6 http://www.boost.org/LICENSE_1_0.txt)
7 +-----------------------------------------------------------------------------*/
8 #ifndef BOOST_ICL_TEST_ICL_DISCRETE_INTERVAL_HPP_JOFA_100930
9 #define BOOST_ICL_TEST_ICL_DISCRETE_INTERVAL_HPP_JOFA_100930
10
11
12 template <class T, class IntervalT>
discrete_interval_traits()13 void discrete_interval_traits()
14 {
15 BOOST_CHECK( is_interval<IntervalT>::value );
16 BOOST_CHECK( is_discrete_interval<IntervalT>::value );
17 BOOST_CHECK( is_discrete<typename IntervalT::domain_type>::value );
18 BOOST_CHECK(!is_continuous<typename IntervalT::domain_type>::value);
19 BOOST_CHECK( has_dynamic_bounds<IntervalT>::value );
20 BOOST_CHECK(!has_static_bounds<IntervalT>::value );
21 }
22
23 template <class T, class IntervalT>
discrete_interval_ctor__dis_4_dyn_v_sta()24 void discrete_interval_ctor__dis_4_dyn_v_sta() // discrete && (dynamic or static)
25 {
26 BOOST_CHECK_EQUAL( IntervalT(MK_v(3)), IntervalT(MK_v(3)) );
27 BOOST_CHECK_EQUAL( icl::contains(IntervalT(MK_v(1)), MK_v(1)), true );
28 }
29
30 template <class T, ICL_COMPARE Compare>
distant_intervals_4_discrete_types()31 void distant_intervals_4_discrete_types()
32 {
33 typedef right_open_interval<T,Compare> L__D; // L__D for [..)
34 typedef left_open_interval<T,Compare> C__I; // C__I for (..]
35 typedef closed_interval<T,Compare> L__I; // L__I for [..]
36 typedef open_interval<T,Compare> C__D; // C__D for (..)
37 typedef typename icl::interval<T,Compare>::type IntervalT;
38
39 BOOST_CHECK( is_interval<L__D>::value );
40 BOOST_CHECK( has_difference<typename interval_traits<L__D>::domain_type>::value );
41 BOOST_CHECK( is_discrete<typename interval_traits<L__D>::domain_type>::value );
42 BOOST_CHECK( (boost::is_same<typename interval_traits<L__D>::domain_type, T>::value) );
43
44 test_inner_complement<T,Compare,L__D>(MK_I(L__D,0,4), MK_I(L__D,8,9));
45 test_inner_complement<T,Compare,L__D>(MK_I(L__D,7,8), MK_I(L__D,2,3));
46 test_inner_complement<T,Compare,L__D>(MK_I(L__D,2,4), MK_I(L__D,4,6));
47 test_inner_complement<T,Compare,L__D>(MK_I(L__D,3,7), MK_I(L__D,5,8));
48 test_inner_complement<T,Compare,L__D>(MK_I(L__D,7,9), MK_I(L__D,0,4));
49 test_inner_complement<T,Compare,L__D>(MK_I(L__D,0,0), MK_I(L__D,0,0));
50 test_inner_complement<T,Compare,L__D>(MK_I(L__D,1,0), MK_I(L__D,2,0));
51
52 test_inner_complement<T,Compare,C__I>(MK_I(C__I,1,5), MK_I(C__I,4,9));
53 test_inner_complement<T,Compare,C__I>(MK_I(C__I,4,6), MK_I(C__I,1,3));
54 test_inner_complement<T,Compare,C__I>(MK_I(C__I,0,2), MK_I(C__I,4,6));
55 test_inner_complement<T,Compare,C__I>(MK_I(C__I,0,2), MK_I(C__I,0,6));
56
57 test_inner_complement<T,Compare,L__I>(MK_I(L__I,7,9), MK_I(L__I,0,5));
58 test_inner_complement<T,Compare,L__I>(MK_I(L__I,0,9), MK_I(L__I,2,5));
59
60 test_inner_complement<T,Compare,C__D>(MK_I(C__D,6,9), MK_I(C__D,1,4));
61 test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,3), MK_I(C__D,1,4));
62 test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,3), MK_I(C__D,6,8));
63 test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,7), MK_I(C__D,1,6));
64 test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,1), MK_I(C__D,1,1));
65 test_inner_complement<T,Compare,C__D>(MK_I(C__D,3,0), MK_I(C__D,4,0));
66 test_inner_complement<T,Compare,C__D>(MK_I(C__D,0,2), MK_I(C__D,4,6));
67 test_inner_complement<T,Compare,C__D>(MK_I(C__D,0,2), MK_I(C__D,0,6));
68
69 //--------------------------------------------------------------------------
70 test_inner_complement<T,Compare,IntervalT>(I_D(0,4), I_D(8,9));
71 test_inner_complement<T,Compare,IntervalT>(I_D(7,8), I_D(2,3));
72 test_inner_complement<T,Compare,IntervalT>(I_D(2,4), I_D(4,6));
73 test_inner_complement<T,Compare,IntervalT>(I_D(3,7), I_D(5,8));
74 test_inner_complement<T,Compare,IntervalT>(I_D(7,9), I_D(0,4));
75 test_inner_complement<T,Compare,IntervalT>(I_D(0,0), I_D(0,0));
76 test_inner_complement<T,Compare,IntervalT>(I_D(1,0), I_D(2,0));
77
78 test_inner_complement<T,Compare,IntervalT>(C_I(1,5), C_I(4,9));
79 test_inner_complement<T,Compare,IntervalT>(C_I(4,6), C_I(1,3));
80 test_inner_complement<T,Compare,IntervalT>(C_I(0,2), C_I(4,6));
81 test_inner_complement<T,Compare,IntervalT>(C_I(0,2), C_I(0,6));
82
83 test_inner_complement<T,Compare,IntervalT>(I_I(7,9), I_I(0,5));
84 test_inner_complement<T,Compare,IntervalT>(I_I(0,9), I_I(2,5));
85
86 test_inner_complement<T,Compare,IntervalT>(C_D(6,9), C_D(1,4));
87 test_inner_complement<T,Compare,IntervalT>(C_D(1,3), C_D(1,4));
88 test_inner_complement<T,Compare,IntervalT>(C_D(1,3), C_D(6,8));
89 test_inner_complement<T,Compare,IntervalT>(C_D(1,7), C_D(1,6));
90 test_inner_complement<T,Compare,IntervalT>(C_D(1,1), C_D(1,1));
91 test_inner_complement<T,Compare,IntervalT>(C_D(3,0), C_D(4,0));
92 test_inner_complement<T,Compare,IntervalT>(C_D(0,2), C_D(4,6));
93 test_inner_complement<T,Compare,IntervalT>(C_D(0,2), C_D(0,6));
94
95 }
96
97
98 #endif // BOOST_ICL_TEST_ICL_DISCRETE_INTERVAL_HPP_JOFA_100930
99