3 <meta http-equiv=
"Content-Type" content=
"text/html; charset=US-ASCII">
4 <title>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=
"party.html" title=
"Party">
10 <link rel=
"next" href=
"dynamic_interval.html" title=
"Dynamic interval">
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=
"party.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=
"dynamic_interval.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>
25 <div class=
"section boost_icl_examples_interval" lang=
"en">
26 <div class=
"titlepage"><div><div><h3 class=
"title">
27 <a name=
"boost_icl.examples.interval"></a><a class=
"link" href=
"interval.html" title=
"Interval">Interval
</a>
28 </h3></div></div></div>
30 Example
<span class=
"bold"><strong>interval
</strong></span> shows some basic functionality
31 of
<code class=
"computeroutput"><a class=
"link" href=
"../../boost/icl/interval.html" title=
"Struct template interval">intervals
</a></code>.
33 <div class=
"itemizedlist"><ul type=
"disc">
35 Different instances of
<code class=
"computeroutput"><a class=
"link" href=
"../../boost/icl/interval.html" title=
"Struct template interval">intervals
</a></code>
36 for integral (
<code class=
"literal">int, Time
</code>) and continuous types (
<code class=
"literal">double,
37 std::string
</code>) are used.
40 The examples uses open and closed intervals bounds.
43 Some borderline functions calls on open interval borders are tested e.g.:
44 <code class=
"computeroutput"><span class=
"identifier">interval
</span><span class=
"special"><</span><span class=
"keyword">double
</span><span class=
"special">>::
</span><span class=
"identifier">rightopen
</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>
45 <span class=
"identifier">sqrt
</span><span class=
"special">(
</span><span class=
"number">2.0</span><span class=
"special">)).
</span><span class=
"identifier">contains
</span><span class=
"special">(
</span><span class=
"identifier">sqrt
</span><span class=
"special">(
</span><span class=
"number">2.0</span><span class=
"special">));
</span></code>
53 <pre class=
"programlisting"><span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">iostream
</span><span class=
"special">></span>
54 <span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">></span>
55 <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>
57 <span class=
"comment">// Dynamically bounded intervals
58 </span><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">discrete_interval
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
59 <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">continuous_interval
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
61 <span class=
"comment">// Statically bounded intervals
62 </span><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">right_open_interval
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
63 <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">left_open_interval
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
64 <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">closed_interval
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
65 <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">open_interval
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
67 <span class=
"preprocessor">#include
</span> <span class=
"string">"../toytime.hpp"</span>
68 <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>
70 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">std
</span><span class=
"special">;
</span>
71 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">boost
</span><span class=
"special">;
</span>
72 <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>
74 <span class=
"keyword">int
</span> <span class=
"identifier">main
</span><span class=
"special">()
</span>
75 <span class=
"special">{
</span>
76 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">">>Interval Container Library: Sample interval.cpp <<\n"</span><span class=
"special">;
</span>
77 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"----------------------------------------------------\n"</span><span class=
"special">;
</span>
79 <span class=
"comment">// Class template discrete_interval can be used for discrete data types
80 </span> <span class=
"comment">// like integers, date and time and other types that have a least steppable
81 </span> <span class=
"comment">// unit.
82 </span> <span class=
"identifier">discrete_interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"identifier">int_interval
</span>
83 <span class=
"special">=
</span> <span class=
"identifier">construct
</span><span class=
"special"><</span><span class=
"identifier">discrete_interval
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"special">>(
</span><span class=
"number">3</span><span class=
"special">,
</span> <span class=
"number">7</span><span class=
"special">,
</span> <span class=
"identifier">interval_bounds
</span><span class=
"special">::
</span><span class=
"identifier">closed
</span><span class=
"special">());
</span>
85 <span class=
"comment">// Class template continuous_interval can be used for continuous data types
86 </span> <span class=
"comment">// like double, boost::rational or strings.
87 </span> <span class=
"identifier">continuous_interval
</span><span class=
"special"><</span><span class=
"keyword">double
</span><span class=
"special">></span> <span class=
"identifier">sqrt_interval
</span>
88 <span class=
"special">=
</span> <span class=
"identifier">construct
</span><span class=
"special"><</span><span class=
"identifier">continuous_interval
</span><span class=
"special"><</span><span class=
"keyword">double
</span><span class=
"special">></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_bounds::right_open() is default
90 </span> <span class=
"identifier">continuous_interval
</span><span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">></span> <span class=
"identifier">city_interval
</span>
91 <span class=
"special">=
</span> <span class=
"identifier">construct
</span><span class=
"special"><</span><span class=
"identifier">continuous_interval
</span><span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">></span> <span class=
"special">>(
</span><span class=
"string">"Barcelona"</span><span class=
"special">,
</span> <span class=
"string">"Boston"</span><span class=
"special">,
</span> <span class=
"identifier">interval_bounds
</span><span class=
"special">::
</span><span class=
"identifier">left_open
</span><span class=
"special">());
</span>
93 <span class=
"identifier">discrete_interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">></span> <span class=
"identifier">time_interval
</span>
94 <span class=
"special">=
</span> <span class=
"identifier">construct
</span><span class=
"special"><</span><span class=
"identifier">discrete_interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">></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">30</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>
95 <span class=
"identifier">interval_bounds
</span><span class=
"special">::
</span><span class=
"identifier">open
</span><span class=
"special">());
</span>
97 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Dynamically bounded intervals:\n"</span><span class=
"special">;
</span>
98 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">" discrete_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">"continuous_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">"continuous_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">"continuous_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">"Berlin"</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 'Berlin'"</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">" discrete_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">// There are statically bounded interval types with fixed interval borders
111 </span> <span class=
"identifier">right_open_interval
</span><span class=
"special"><</span><span class=
"identifier">string
</span><span class=
"special">></span> <span class=
"identifier">fix_interval1
</span><span class=
"special">;
</span> <span class=
"comment">// You will probably use one kind of static intervals
112 </span> <span class=
"comment">// right_open_intervals are recommended.
113 </span> <span class=
"identifier">closed_interval
</span><span class=
"special"><</span><span class=
"keyword">unsigned
</span> <span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"identifier">fix_interval2
</span><span class=
"special">;
</span> <span class=
"comment">// ... static closed, left_open and open intervals
114 </span> <span class=
"identifier">left_open_interval
</span><span class=
"special"><</span><span class=
"keyword">float
</span><span class=
"special">></span> <span class=
"identifier">fix_interval3
</span><span class=
"special">;
</span> <span class=
"comment">// are implemented for sake of completeness but
115 </span> <span class=
"identifier">open_interval
</span><span class=
"special"><</span><span class=
"keyword">short
</span><span class=
"special">></span> <span class=
"identifier">fix_interval4
</span><span class=
"special">;
</span> <span class=
"comment">// are of minor practical importance.
117 <span class=
"identifier">right_open_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">range1
</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=
"number">1</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">2</span><span class=
"special">,
</span><span class=
"number">3</span><span class=
"special">));
</span>
118 <span class=
"identifier">right_open_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">range2
</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><span class=
"number">3</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><span class=
"number">1</span><span class=
"special">));
</span>
120 <span class=
"comment">// This middle third of the unit interval [
0,
1)
121 </span> <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Statically bounded interval:\n"</span><span class=
"special">;
</span>
122 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"right_open_interval<rational<int>>: "</span> <span class=
"special"><<</span> <span class=
"special">(
</span><span class=
"identifier">range1
</span> <span class=
"special">&</span> <span class=
"identifier">range2
</span><span class=
"special">)
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
124 <span class=
"keyword">return
</span> <span class=
"number">0</span><span class=
"special">;
</span>
125 <span class=
"special">}
</span>
127 <span class=
"comment">// Program output:
129 <span class=
"comment">//
>>Interval Container Library: Sample interval.cpp
<<
130 </span><span class=
"comment">//----------------------------------------------------
131 </span><span class=
"comment">//Dynamically bounded intervals
132 </span><span class=
"comment">// discrete_interval
<int
>: [
3,
7]
133 </span><span class=
"comment">//continuous_interval
<double
>: [
0.707107,
1.41421) does NOT contain sqrt(
2)
134 </span><span class=
"comment">//continuous_interval
<string
>: (Barcelona,Boston] does NOT contain 'Barcelona'
135 </span><span class=
"comment">//continuous_interval
<string
>: (Barcelona,Boston] does contain 'Berlin'
136 </span><span class=
"comment">// discrete_interval
<Time
>: (mon:
08:
30,mon:
17:
20)
137 </span><span class=
"comment">//
138 </span><span class=
"comment">//Statically bounded interval
139 </span><span class=
"comment">//right_open_interval
<rational
<int
>>: [
1/
3,
2/
3)
147 <table xmlns:
rev=
"http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width=
"100%"><tr>
148 <td align=
"left"></td>
149 <td align=
"right"><div class=
"copyright-footer">Copyright
© 2007 -
2010 Joachim Faulhaber
<br>Copyright
© 1999 -
2006 Cortex Software GmbH
<p>
150 Distributed under the Boost Software License, Version
1.0. (See accompanying
151 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>)
156 <div class=
"spirit-nav">
157 <a accesskey=
"p" href=
"party.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=
"dynamic_interval.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>