3 <meta http-equiv=
"Content-Type" content=
"text/html; charset=US-ASCII">
4 <title>Static interval
</title>
5 <link rel=
"stylesheet" href=
"../../../../../../doc/src/boostbook.css" type=
"text/css">
6 <meta name=
"generator" content=
"DocBook XSL Stylesheets V1.74.0">
7 <link rel=
"home" href=
"../../index.html" title=
"Chapter 1. Boost.Icl">
8 <link rel=
"up" href=
"../examples.html" title=
"Examples">
9 <link rel=
"prev" href=
"dynamic_interval.html" title=
"Dynamic interval">
10 <link rel=
"next" href=
"interval_container.html" title=
"Interval container">
12 <body bgcolor=
"white" text=
"black" link=
"#0000FF" vlink=
"#840084" alink=
"#0000FF">
13 <table cellpadding=
"2" width=
"100%"><tr>
14 <td valign=
"top"><img alt=
"Boost C++ Libraries" width=
"277" height=
"86" src=
"../../../../../../boost.png"></td>
15 <td align=
"center"><a href=
"../../../../../../index.html">Home
</a></td>
16 <td align=
"center"><a href=
"../../../../../libraries.htm">Libraries
</a></td>
17 <td align=
"center"><a href=
"http://www.boost.org/users/people.html">People
</a></td>
18 <td align=
"center"><a href=
"http://www.boost.org/users/faq.html">FAQ
</a></td>
19 <td align=
"center"><a href=
"../../../../../../more/index.htm">More
</a></td>
22 <div class=
"spirit-nav">
23 <a accesskey=
"p" href=
"dynamic_interval.html"><img src=
"../../../../../../doc/src/images/prev.png" alt=
"Prev"></a><a accesskey=
"u" href=
"../examples.html"><img src=
"../../../../../../doc/src/images/up.png" alt=
"Up"></a><a accesskey=
"h" href=
"../../index.html"><img src=
"../../../../../../doc/src/images/home.png" alt=
"Home"></a><a accesskey=
"n" href=
"interval_container.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>
25 <div class=
"section boost_icl_examples_static_interval" lang=
"en">
26 <div class=
"titlepage"><div><div><h3 class=
"title">
27 <a name=
"boost_icl.examples.static_interval"></a><a class=
"link" href=
"static_interval.html" title=
"Static interval">Static interval
</a>
28 </h3></div></div></div>
34 <pre class=
"programlisting"><span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">iostream
</span><span class=
"special">></span>
35 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">></span>
36 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">math
</span><span class=
"special">.
</span><span class=
"identifier">h
</span><span class=
"special">></span>
37 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">boost
</span><span class=
"special">/
</span><span class=
"identifier">type_traits
</span><span class=
"special">/
</span><span class=
"identifier">is_same
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
39 <span class=
"comment">// We can change the library default for the interval types by defining
40 </span><span class=
"preprocessor">#define
</span> <span class=
"identifier">BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS
</span>
41 <span class=
"comment">// prior to other inluces from the icl.
42 </span><span class=
"comment">// The interval type that is automatically used with interval
43 </span><span class=
"comment">// containers then is the statically bounded right_open_interval.
45 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">boost
</span><span class=
"special">/
</span><span class=
"identifier">icl
</span><span class=
"special">/
</span><span class=
"identifier">interval_set
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
46 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">boost
</span><span class=
"special">/
</span><span class=
"identifier">icl
</span><span class=
"special">/
</span><span class=
"identifier">split_interval_set
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
47 <span class=
"comment">// The statically bounded interval type 'right_open_interval'
48 </span><span class=
"comment">// is indirectly included via interval containers.
51 <span class=
"preprocessor">#include
</span> <span class=
"string">"../toytime.hpp"</span>
52 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">boost
</span><span class=
"special">/
</span><span class=
"identifier">icl
</span><span class=
"special">/
</span><span class=
"identifier">rational
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
54 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">std
</span><span class=
"special">;
</span>
55 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">boost
</span><span class=
"special">;
</span>
56 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">boost
</span><span class=
"special">::
</span><span class=
"identifier">icl
</span><span class=
"special">;
</span>
58 <span class=
"keyword">int
</span> <span class=
"identifier">main
</span><span class=
"special">()
</span>
59 <span class=
"special">{
</span>
60 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">">> Interval Container Library: Sample static_interval.cpp <<\n"</span><span class=
"special">;
</span>
61 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"------------------------------------------------------------\n"</span><span class=
"special">;
</span>
63 <span class=
"comment">// Statically bounded intervals are the user defined library default for
64 </span> <span class=
"comment">// interval parameters in interval containers now.
65 </span> <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
66 <span class=
"identifier">boost
</span><span class=
"special">::
</span><span class=
"identifier">is_same
</span><span class=
"special"><</span> <span class=
"identifier">interval_set
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">>::
</span><span class=
"identifier">interval_type
</span>
67 <span class=
"special">,
</span> <span class=
"identifier">right_open_interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">value
</span>
68 <span class=
"special">));
</span>
70 <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
71 <span class=
"identifier">boost
</span><span class=
"special">::
</span><span class=
"identifier">is_same
</span><span class=
"special"><</span> <span class=
"identifier">interval_set
</span><span class=
"special"><</span><span class=
"keyword">float
</span><span class=
"special">>::
</span><span class=
"identifier">interval_type
</span>
72 <span class=
"special">,
</span> <span class=
"identifier">right_open_interval
</span><span class=
"special"><</span><span class=
"keyword">float
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">value
</span>
73 <span class=
"special">));
</span>
75 <span class=
"comment">// As we can see the library default both for discrete and continuous
76 </span> <span class=
"comment">// domain_types T is 'right_open_interval
<T
>'.
77 </span> <span class=
"comment">// The user defined library default for intervals is also available via
78 </span> <span class=
"comment">// the template 'interval':
79 </span> <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
80 <span class=
"identifier">boost
</span><span class=
"special">::
</span><span class=
"identifier">is_same
</span><span class=
"special"><</span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">>::
</span><span class=
"identifier">type
</span>
81 <span class=
"special">,
</span> <span class=
"identifier">right_open_interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">value
</span>
82 <span class=
"special">));
</span>
84 <span class=
"comment">// Again we are declaring and initializing the four test intervals that have been used
85 </span> <span class=
"comment">// in the example 'interval' and 'dynamic_interval'
86 </span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">>::
</span><span class=
"identifier">type
</span> <span class=
"identifier">int_interval
</span> <span class=
"special">=
</span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">>::
</span><span class=
"identifier">right_open
</span><span class=
"special">(
</span><span class=
"number">3</span><span class=
"special">,
</span> <span class=
"number">8</span><span class=
"special">);
</span> <span class=
"comment">// shifted the upper bound
87 </span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"keyword">double
</span><span class=
"special">>::
</span><span class=
"identifier">type
</span> <span class=
"identifier">sqrt_interval
</span> <span class=
"special">=
</span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"keyword">double
</span><span class=
"special">>::
</span><span class=
"identifier">right_open
</span><span class=
"special">(
</span><span class=
"number">1</span><span class=
"special">/
</span><span class=
"identifier">sqrt
</span><span class=
"special">(
</span><span class=
"number">2.0</span><span class=
"special">),
</span> <span class=
"identifier">sqrt
</span><span class=
"special">(
</span><span class=
"number">2.0</span><span class=
"special">));
</span>
89 <span class=
"comment">// Interval (
"Barcelona",
"Boston"] can not be represented because there is no 'steppable next' on
90 </span> <span class=
"comment">// lower bound
"Barcelona". Ok. this is a different interval:
91 </span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">>::
</span><span class=
"identifier">type
</span> <span class=
"identifier">city_interval
</span> <span class=
"special">=
</span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">>::
</span><span class=
"identifier">right_open
</span><span class=
"special">(
</span><span class=
"string">"Barcelona"</span><span class=
"special">,
</span> <span class=
"string">"Boston"</span><span class=
"special">);
</span>
93 <span class=
"comment">// Toy Time is discrete again so we can transfrom open(Time(monday,
8,
30), Time(monday,
17,
20))
94 </span> <span class=
"comment">// to right_open(Time(monday,
8,
31), Time(monday,
17,
20))
95 </span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">>::
</span><span class=
"identifier">type
</span> <span class=
"identifier">time_interval
</span> <span class=
"special">=
</span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">>::
</span><span class=
"identifier">right_open
</span><span class=
"special">(
</span><span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">monday
</span><span class=
"special">,
</span><span class=
"number">8</span><span class=
"special">,
</span><span class=
"number">31</span><span class=
"special">),
</span> <span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">monday
</span><span class=
"special">,
</span><span class=
"number">17</span><span class=
"special">,
</span><span class=
"number">20</span><span class=
"special">));
</span>
97 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"----- Statically bounded intervals ----------------------------------------\n"</span><span class=
"special">;
</span>
98 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"right_open_interval<int> : "</span> <span class=
"special"><<</span> <span class=
"identifier">int_interval
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
99 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"right_open_interval<double>: "</span> <span class=
"special"><<</span> <span class=
"identifier">sqrt_interval
</span> <span class=
"special"><<</span> <span class=
"string">" does "</span>
100 <span class=
"special"><<</span> <span class=
"identifier">string
</span><span class=
"special">(
</span><span class=
"identifier">contains
</span><span class=
"special">(
</span><span class=
"identifier">sqrt_interval
</span><span class=
"special">,
</span> <span class=
"identifier">sqrt
</span><span class=
"special">(
</span><span class=
"number">2.0</span><span class=
"special">))?
</span><span class=
"string">""</span><span class=
"special">:
</span><span class=
"string">"NOT"</span><span class=
"special">)
</span>
101 <span class=
"special"><<</span> <span class=
"string">" contain sqrt(2)"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
102 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"right_open_interval<string>: "</span> <span class=
"special"><<</span> <span class=
"identifier">city_interval
</span> <span class=
"special"><<</span> <span class=
"string">" does "</span>
103 <span class=
"special"><<</span> <span class=
"identifier">string
</span><span class=
"special">(
</span><span class=
"identifier">contains
</span><span class=
"special">(
</span><span class=
"identifier">city_interval
</span><span class=
"special">,
</span><span class=
"string">"Barcelona"</span><span class=
"special">)?
</span><span class=
"string">""</span><span class=
"special">:
</span><span class=
"string">"NOT"</span><span class=
"special">)
</span>
104 <span class=
"special"><<</span> <span class=
"string">" contain 'Barcelona'"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
105 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"right_open_interval<string>: "</span> <span class=
"special"><<</span> <span class=
"identifier">city_interval
</span> <span class=
"special"><<</span> <span class=
"string">" does "</span>
106 <span class=
"special"><<</span> <span class=
"identifier">string
</span><span class=
"special">(
</span><span class=
"identifier">contains
</span><span class=
"special">(
</span><span class=
"identifier">city_interval
</span><span class=
"special">,
</span> <span class=
"string">"Boston"</span><span class=
"special">)?
</span><span class=
"string">""</span><span class=
"special">:
</span><span class=
"string">"NOT"</span><span class=
"special">)
</span>
107 <span class=
"special"><<</span> <span class=
"string">" contain 'Boston'"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
108 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"right_open_interval<Time> : "</span> <span class=
"special"><<</span> <span class=
"identifier">time_interval
</span> <span class=
"special"><<</span> <span class=
"string">"\n\n"</span><span class=
"special">;
</span>
110 <span class=
"comment">// Using statically bounded intervals does not allows to apply operations
111 </span> <span class=
"comment">// with elements on all interval containers, if their domain_type is continuous.
112 </span> <span class=
"comment">// The code that follows is identical to example 'dynamic_interval'. Only 'internally'
113 </span> <span class=
"comment">// the library default for the interval template now is 'right_open_interval'
114 </span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"identifier">rational
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">type
</span> <span class=
"identifier">unit_interval
</span>
115 <span class=
"special">=
</span> <span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"identifier">rational
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">right_open
</span><span class=
"special">(
</span><span class=
"identifier">rational
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">>(
</span><span class=
"number">0</span><span class=
"special">),
</span> <span class=
"identifier">rational
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">>(
</span><span class=
"number">1</span><span class=
"special">));
</span>
116 <span class=
"identifier">interval_set
</span><span class=
"special"><</span><span class=
"identifier">rational
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">></span> <span class=
"identifier">unit_set
</span><span class=
"special">(
</span><span class=
"identifier">unit_interval
</span><span class=
"special">);
</span>
117 <span class=
"identifier">interval_set
</span><span class=
"special"><</span><span class=
"identifier">rational
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">></span> <span class=
"identifier">ratio_set
</span><span class=
"special">(
</span><span class=
"identifier">unit_set
</span><span class=
"special">);
</span>
118 <span class=
"comment">// ratio_set -= rational
<int
>(
1,
3); // This line will not compile, because we can not
119 </span> <span class=
"comment">// represent a singleton interval as right_open_interval.
120 </span> <span class=
"keyword">return
</span> <span class=
"number">0</span><span class=
"special">;
</span>
121 <span class=
"special">}
</span>
123 <span class=
"comment">// Program output:
124 </span><span class=
"comment">//
>> Interval Container Library: Sample static_interval.cpp
<<
125 </span><span class=
"comment">//------------------------------------------------------------
126 </span><span class=
"comment">//----- Statically bounded intervals ----------------------------------------
127 </span><span class=
"comment">//right_open_interval
<int
> : [
3,
8)
128 </span><span class=
"comment">//right_open_interval
<double
>: [
0.707107,
1.41421) does NOT contain sqrt(
2)
129 </span><span class=
"comment">//right_open_interval
<string
>: [Barcelona,Boston) does contain 'Barcelona'
130 </span><span class=
"comment">//right_open_interval
<string
>: [Barcelona,Boston) does NOT contain 'Boston'
131 </span><span class=
"comment">//right_open_interval
<Time
> : [mon:
08:
31,mon:
17:
20)
138 <table xmlns:
rev=
"http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width=
"100%"><tr>
139 <td align=
"left"></td>
140 <td align=
"right"><div class=
"copyright-footer">Copyright
© 2007 -
2010 Joachim Faulhaber
<br>Copyright
© 1999 -
2006 Cortex Software GmbH
<p>
141 Distributed under the Boost Software License, Version
1.0. (See accompanying
142 file LICENSE_1_0.txt or copy at
<a href=
"http://www.boost.org/LICENSE_1_0.txt" target=
"_top">http://www.boost.org/LICENSE_1_0.txt
</a>)
147 <div class=
"spirit-nav">
148 <a accesskey=
"p" href=
"dynamic_interval.html"><img src=
"../../../../../../doc/src/images/prev.png" alt=
"Prev"></a><a accesskey=
"u" href=
"../examples.html"><img src=
"../../../../../../doc/src/images/up.png" alt=
"Up"></a><a accesskey=
"h" href=
"../../index.html"><img src=
"../../../../../../doc/src/images/home.png" alt=
"Home"></a><a accesskey=
"n" href=
"interval_container.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>