]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /*-----------------------------------------------------------------------------+ |
2 | Copyright (c) 2010-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_OPEN_INTERVAL_HPP_JOFA_100930 | |
9 | #define BOOST_ICL_OPEN_INTERVAL_HPP_JOFA_100930 | |
10 | ||
11 | #include <functional> | |
12 | #include <boost/concept/assert.hpp> | |
13 | #include <boost/icl/detail/concept_check.hpp> | |
14 | #include <boost/icl/concept/interval.hpp> | |
15 | #include <boost/icl/type_traits/value_size.hpp> | |
16 | #include <boost/icl/type_traits/type_to_string.hpp> | |
17 | ||
18 | namespace boost{namespace icl | |
19 | { | |
20 | ||
21 | template <class DomainT, | |
22 | ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)> | |
23 | class open_interval | |
24 | { | |
25 | public: | |
26 | typedef open_interval<DomainT,Compare> type; | |
27 | typedef DomainT domain_type; | |
28 | typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare; | |
29 | ||
30 | public: | |
31 | //========================================================================== | |
32 | //= Construct, copy, destruct | |
33 | //========================================================================== | |
34 | /** Default constructor; yields an empty interval <tt>(0,0)</tt>. */ | |
35 | open_interval() | |
36 | : _lwb(identity_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) | |
37 | { | |
38 | BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); | |
39 | BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); | |
40 | } | |
41 | ||
42 | //NOTE: Compiler generated copy constructor is used | |
43 | ||
44 | /** Constructor for an open singleton interval <tt>(val-1,val+1)</tt> */ | |
45 | explicit open_interval(const DomainT& val) | |
46 | : _lwb(pred(val)), _upb(succ(val)) | |
47 | { | |
48 | BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); | |
49 | BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); | |
50 | // Only for discrete types this ctor creates an interval containing | |
51 | // a single element only. | |
52 | BOOST_STATIC_ASSERT((icl::is_discrete<DomainT>::value)); | |
53 | BOOST_ASSERT((numeric_minimum<DomainT, domain_compare, is_numeric<DomainT>::value > | |
54 | ::is_less_than(val) )); | |
55 | } | |
56 | ||
57 | /** Interval from <tt>low</tt> to <tt>up</tt> with bounds <tt>bounds</tt> */ | |
58 | open_interval(const DomainT& low, const DomainT& up) : | |
59 | _lwb(low), _upb(up) | |
60 | { | |
61 | BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); | |
62 | BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); | |
63 | } | |
64 | ||
65 | DomainT lower()const{ return _lwb; } | |
66 | DomainT upper()const{ return _upb; } | |
67 | ||
68 | private: | |
69 | DomainT _lwb; | |
70 | DomainT _upb; | |
71 | }; | |
72 | ||
73 | //============================================================================== | |
74 | //=T open_interval -> concept intervals | |
75 | //============================================================================== | |
76 | template<class DomainT, ICL_COMPARE Compare> | |
77 | struct interval_traits< icl::open_interval<DomainT, Compare> > | |
78 | { | |
79 | typedef DomainT domain_type; | |
80 | typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare; | |
81 | typedef icl::open_interval<DomainT, Compare> interval_type; | |
82 | ||
83 | static interval_type construct(const domain_type& lo, const domain_type& up) | |
84 | { | |
85 | return interval_type(lo, up); | |
86 | } | |
87 | ||
88 | static domain_type lower(const interval_type& inter_val){ return inter_val.lower(); }; | |
89 | static domain_type upper(const interval_type& inter_val){ return inter_val.upper(); }; | |
90 | }; | |
91 | ||
92 | ||
93 | //============================================================================== | |
94 | //= Type traits | |
95 | //============================================================================== | |
96 | template <class DomainT, ICL_COMPARE Compare> | |
97 | struct interval_bound_type< open_interval<DomainT,Compare> > | |
98 | { | |
99 | typedef interval_bound_type type; | |
100 | BOOST_STATIC_CONSTANT(bound_type, value = interval_bounds::static_open); | |
101 | }; | |
102 | ||
103 | template <class DomainT, ICL_COMPARE Compare> | |
104 | struct type_to_string<icl::open_interval<DomainT,Compare> > | |
105 | { | |
106 | static std::string apply() | |
107 | { return "(I)<"+ type_to_string<DomainT>::apply() +">"; } | |
108 | }; | |
109 | ||
110 | template<class DomainT, ICL_COMPARE Compare> | |
111 | struct value_size<icl::open_interval<DomainT,Compare> > | |
112 | { | |
113 | static std::size_t apply(const icl::open_interval<DomainT>&) | |
114 | { return 2; } | |
115 | }; | |
116 | ||
117 | }} // namespace icl boost | |
118 | ||
119 | #endif | |
120 |