3 <meta http-equiv=
"Content-Type" content=
"text/html; charset=US-ASCII">
4 <title>Interval container
</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=
"static_interval.html" title=
"Static interval">
10 <link rel=
"next" href=
"overlap_counter.html" title=
"Overlap counter">
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=
"static_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=
"overlap_counter.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>
25 <div class=
"section boost_icl_examples_interval_container" lang=
"en">
26 <div class=
"titlepage"><div><div><h3 class=
"title">
27 <a name=
"boost_icl.examples.interval_container"></a><a class=
"link" href=
"interval_container.html" title=
"Interval container">Interval container
</a>
28 </h3></div></div></div>
30 Example
<span class=
"bold"><strong>interval container
</strong></span> demonstrates
31 the characteristic behaviors of different interval containers that are also
32 summarized in the introductory
<a class=
"link" href=
"../../index.html#boost_icl.introduction.interval_combining_styles" title=
"Interval Combining Styles">Interval
40 <pre class=
"programlisting"><span class=
"preprocessor">#include
</span> <span class=
"special"><</span><span class=
"identifier">iostream
</span><span class=
"special">></span>
41 <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>
42 <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">separate_interval_set
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
43 <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>
44 <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_map
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
45 <span class=
"preprocessor">#include
</span> <span class=
"string">"../toytime.hpp"</span>
47 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">std
</span><span class=
"special">;
</span>
48 <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>
50 <span class=
"keyword">void
</span> <span class=
"identifier">interval_container_basics
</span><span class=
"special">()
</span>
51 <span class=
"special">{
</span>
52 <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">night_and_day
</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">20</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">),
</span> <span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">tuesday
</span><span class=
"special">,
</span> <span class=
"number">20</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">));
</span>
53 <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">day_and_night
</span><span class=
"special">(
</span><span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">tuesday
</span><span class=
"special">,
</span> <span class=
"number">7</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">),
</span> <span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">wednesday
</span><span class=
"special">,
</span> <span class=
"number">7</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">));
</span>
54 <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">next_morning
</span><span class=
"special">(
</span><span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">wednesday
</span><span class=
"special">,
</span> <span class=
"number">7</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">),
</span> <span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">wednesday
</span><span class=
"special">,
</span><span class=
"number">10</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">));
</span>
55 <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">next_evening
</span><span class=
"special">(
</span><span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">wednesday
</span><span class=
"special">,
</span><span class=
"number">18</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">),
</span> <span class=
"identifier">Time
</span><span class=
"special">(
</span><span class=
"identifier">wednesday
</span><span class=
"special">,
</span><span class=
"number">21</span><span class=
"special">,
</span><span class=
"number">00</span><span class=
"special">));
</span>
57 <span class=
"comment">// An interval set of type interval_set joins intervals that that overlap or touch each other.
58 </span> <span class=
"identifier">interval_set
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">></span> <span class=
"identifier">joinedTimes
</span><span class=
"special">;
</span>
59 <span class=
"identifier">joinedTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">night_and_day
</span><span class=
"special">);
</span>
60 <span class=
"identifier">joinedTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">day_and_night
</span><span class=
"special">);
</span> <span class=
"comment">//overlapping in 'day' [
07:
00,
20.00)
61 </span> <span class=
"identifier">joinedTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">next_morning
</span><span class=
"special">);
</span> <span class=
"comment">//touching
62 </span> <span class=
"identifier">joinedTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">next_evening
</span><span class=
"special">);
</span> <span class=
"comment">//disjoint
64 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Joined times :"</span> <span class=
"special"><<</span> <span class=
"identifier">joinedTimes
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
66 <span class=
"comment">// A separate interval set of type separate_interval_set joins intervals that that
67 </span> <span class=
"comment">// overlap but it preserves interval borders that just touch each other. You may
68 </span> <span class=
"comment">// represent time grids like the months of a year as a split_interval_set.
69 </span> <span class=
"identifier">separate_interval_set
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">></span> <span class=
"identifier">separateTimes
</span><span class=
"special">;
</span>
70 <span class=
"identifier">separateTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">night_and_day
</span><span class=
"special">);
</span>
71 <span class=
"identifier">separateTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">day_and_night
</span><span class=
"special">);
</span> <span class=
"comment">//overlapping in 'day' [
07:
00,
20.00)
72 </span> <span class=
"identifier">separateTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">next_morning
</span><span class=
"special">);
</span> <span class=
"comment">//touching
73 </span> <span class=
"identifier">separateTimes
</span><span class=
"special">.
</span><span class=
"identifier">insert
</span><span class=
"special">(
</span><span class=
"identifier">next_evening
</span><span class=
"special">);
</span> <span class=
"comment">//disjoint
75 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Separate times:"</span> <span class=
"special"><<</span> <span class=
"identifier">separateTimes
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
77 <span class=
"comment">// A split interval set of type split_interval_set preserves all interval
78 </span> <span class=
"comment">// borders. On insertion of overlapping intervals the intervals in the
79 </span> <span class=
"comment">// set are split up at the interval borders of the inserted interval.
80 </span> <span class=
"identifier">split_interval_set
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">></span> <span class=
"identifier">splitTimes
</span><span class=
"special">;
</span>
81 <span class=
"identifier">splitTimes
</span> <span class=
"special">+=
</span> <span class=
"identifier">night_and_day
</span><span class=
"special">;
</span>
82 <span class=
"identifier">splitTimes
</span> <span class=
"special">+=
</span> <span class=
"identifier">day_and_night
</span><span class=
"special">;
</span> <span class=
"comment">//overlapping in 'day' [
07:
00,
20:
00)
83 </span> <span class=
"identifier">splitTimes
</span> <span class=
"special">+=
</span> <span class=
"identifier">next_morning
</span><span class=
"special">;
</span> <span class=
"comment">//touching
84 </span> <span class=
"identifier">splitTimes
</span> <span class=
"special">+=
</span> <span class=
"identifier">next_evening
</span><span class=
"special">;
</span> <span class=
"comment">//disjoint
86 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Split times :\n"</span> <span class=
"special"><<</span> <span class=
"identifier">splitTimes
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
88 <span class=
"comment">// A split interval map splits up inserted intervals on overlap and aggregates the
89 </span> <span class=
"comment">// associated quantities via the operator +=
90 </span> <span class=
"identifier">split_interval_map
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">,
</span> <span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"identifier">overlapCounter
</span><span class=
"special">;
</span>
91 <span class=
"identifier">overlapCounter
</span> <span class=
"special">+=
</span> <span class=
"identifier">make_pair
</span><span class=
"special">(
</span><span class=
"identifier">night_and_day
</span><span class=
"special">,
</span><span class=
"number">1</span><span class=
"special">);
</span>
92 <span class=
"identifier">overlapCounter
</span> <span class=
"special">+=
</span> <span class=
"identifier">make_pair
</span><span class=
"special">(
</span><span class=
"identifier">day_and_night
</span><span class=
"special">,
</span><span class=
"number">1</span><span class=
"special">);
</span> <span class=
"comment">//overlapping in 'day' [
07:
00,
20.00)
93 </span> <span class=
"identifier">overlapCounter
</span> <span class=
"special">+=
</span> <span class=
"identifier">make_pair
</span><span class=
"special">(
</span><span class=
"identifier">next_morning
</span><span class=
"special">,
</span> <span class=
"number">1</span><span class=
"special">);
</span> <span class=
"comment">//touching
94 </span> <span class=
"identifier">overlapCounter
</span> <span class=
"special">+=
</span> <span class=
"identifier">make_pair
</span><span class=
"special">(
</span><span class=
"identifier">next_evening
</span><span class=
"special">,
</span> <span class=
"number">1</span><span class=
"special">);
</span> <span class=
"comment">//disjoint
96 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Split times overlap counted:\n"</span> <span class=
"special"><<</span> <span class=
"identifier">overlapCounter
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
98 <span class=
"comment">// An interval map joins touching intervals, if associated values are equal
99 </span> <span class=
"identifier">interval_map
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">,
</span> <span class=
"keyword">int
</span><span class=
"special">></span> <span class=
"identifier">joiningOverlapCounter
</span><span class=
"special">;
</span>
100 <span class=
"identifier">joiningOverlapCounter
</span> <span class=
"special">=
</span> <span class=
"identifier">overlapCounter
</span><span class=
"special">;
</span>
101 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Times overlap counted:\n"</span> <span class=
"special"><<</span> <span class=
"identifier">joiningOverlapCounter
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
102 <span class=
"special">}
</span>
104 <span class=
"keyword">int
</span> <span class=
"identifier">main
</span><span class=
"special">()
</span>
105 <span class=
"special">{
</span>
106 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">">>Interval Container Library: Sample interval_container.cpp <<\n"</span><span class=
"special">;
</span>
107 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"--------------------------------------------------------------\n"</span><span class=
"special">;
</span>
108 <span class=
"identifier">interval_container_basics
</span><span class=
"special">();
</span>
109 <span class=
"keyword">return
</span> <span class=
"number">0</span><span class=
"special">;
</span>
110 <span class=
"special">}
</span>
113 <span class=
"comment">// Program output:
114 </span><span class=
"comment">/* ----------------------------------------------------------------------------
115 >>Interval Container Library: Sample interval_container.cpp
<<
116 --------------------------------------------------------------
117 Joined times :[mon:
20:
00,wed:
10:
00)[wed:
18:
00,wed:
21:
00)
118 Separate times:[mon:
20:
00,wed:
07:
00)[wed:
07:
00,wed:
10:
00)[wed:
18:
00,wed:
21:
00)
120 [mon:
20:
00,tue:
07:
00)[tue:
07:
00,tue:
20:
00)[tue:
20:
00,wed:
07:
00)
121 [wed:
07:
00,wed:
10:
00)[wed:
18:
00,wed:
21:
00)
122 Split times overlap counted:
123 {([mon:
20:
00,tue:
07:
00)-
>1)([tue:
07:
00,tue:
20:
00)-
>2)([tue:
20:
00,wed:
07:
00)-
>1)
124 ([wed:
07:
00,wed:
10:
00)-
>1)([wed:
18:
00,wed:
21:
00)-
>1)}
125 Times overlap counted:
126 {([mon:
20:
00,tue:
07:
00)-
>1)([tue:
07:
00,tue:
20:
00)-
>2)([tue:
20:
00,wed:
10:
00)-
>1)
127 ([wed:
18:
00,wed:
21:
00)-
>1)}
128 -----------------------------------------------------------------------------*/
</span>
135 <table xmlns:
rev=
"http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width=
"100%"><tr>
136 <td align=
"left"></td>
137 <td align=
"right"><div class=
"copyright-footer">Copyright
© 2007 -
2010 Joachim Faulhaber
<br>Copyright
© 1999 -
2006 Cortex Software GmbH
<p>
138 Distributed under the Boost Software License, Version
1.0. (See accompanying
139 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>)
144 <div class=
"spirit-nav">
145 <a accesskey=
"p" href=
"static_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=
"overlap_counter.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>