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