3 <meta http-equiv=
"Content-Type" content=
"text/html; charset=US-ASCII">
4 <title>Dynamic 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=
"interval.html" title=
"Interval">
10 <link rel=
"next" href=
"static_interval.html" title=
"Static 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=
"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=
"static_interval.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>
25 <div class=
"section boost_icl_examples_dynamic_interval" lang=
"en">
26 <div class=
"titlepage"><div><div><h3 class=
"title">
27 <a name=
"boost_icl.examples.dynamic_interval"></a><a class=
"link" href=
"dynamic_interval.html" title=
"Dynamic interval">Dynamic 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=
"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>
40 <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>
41 <span class=
"comment">// Dynamically bounded intervals 'discrete_interval' and 'continuous_interval'
42 </span><span class=
"comment">// are indirectly included via interval containers as library defaults.
43 </span><span class=
"preprocessor">#include
</span> <span class=
"string">"../toytime.hpp"</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">rational
</span><span class=
"special">.
</span><span class=
"identifier">hpp
</span><span class=
"special">></span>
46 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">std
</span><span class=
"special">;
</span>
47 <span class=
"keyword">using
</span> <span class=
"keyword">namespace
</span> <span class=
"identifier">boost
</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">int
</span> <span class=
"identifier">main
</span><span class=
"special">()
</span>
51 <span class=
"special">{
</span>
52 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">">>Interval Container Library: Sample interval.cpp <<\n"</span><span class=
"special">;
</span>
53 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"----------------------------------------------------\n"</span><span class=
"special">;
</span>
55 <span class=
"comment">// Dynamically bounded intervals are the library default for
56 </span> <span class=
"comment">// interval parameters in interval containers.
57 </span> <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
58 <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>
59 <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=
"identifier">value
</span>
60 <span class=
"special">));
</span>
63 <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
64 <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>
65 <span class=
"special">,
</span> <span class=
"identifier">continuous_interval
</span><span class=
"special"><</span><span class=
"keyword">float
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">value
</span>
66 <span class=
"special">));
</span>
68 <span class=
"comment">// As we can see the library default chooses the appropriate
69 </span> <span class=
"comment">// class template instance discrete_interval
<T
> or continuous_interval
<T
>
70 </span> <span class=
"comment">// dependent on the domain_type T. The library default for intervals
71 </span> <span class=
"comment">// is also available via the template 'interval':
72 </span> <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
73 <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>
74 <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=
"identifier">value
</span>
75 <span class=
"special">));
</span>
77 <span class=
"identifier">BOOST_STATIC_ASSERT
</span><span class=
"special">((
</span>
78 <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">float
</span><span class=
"special">>::
</span><span class=
"identifier">type
</span>
79 <span class=
"special">,
</span> <span class=
"identifier">continuous_interval
</span><span class=
"special"><</span><span class=
"keyword">float
</span><span class=
"special">></span> <span class=
"special">>::
</span><span class=
"identifier">value
</span>
80 <span class=
"special">));
</span>
82 <span class=
"comment">// template interval also provides static functions for the four border types
84 <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">closed
</span><span class=
"special">(
</span><span class=
"number">3</span><span class=
"special">,
</span> <span class=
"number">7</span><span class=
"special">);
</span>
85 <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>
86 <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">left_open
</span><span class=
"special">(
</span><span class=
"string">"Barcelona"</span><span class=
"special">,
</span> <span class=
"string">"Boston"</span><span class=
"special">);
</span>
87 <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">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">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>
89 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"----- Dynamically bounded intervals ----------------------------------------\n"</span><span class=
"special">;
</span>
90 <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>
91 <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>
92 <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>
93 <span class=
"special"><<</span> <span class=
"string">" contain sqrt(2)"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
94 <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>
95 <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>
96 <span class=
"special"><<</span> <span class=
"string">" contain 'Barcelona'"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
97 <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>
98 <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>
99 <span class=
"special"><<</span> <span class=
"string">" contain 'Berlin'"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
100 <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>
102 <span class=
"comment">// Using dynamically bounded intervals allows to apply operations
103 </span> <span class=
"comment">// with intervals and also with elements on all interval containers
104 </span> <span class=
"comment">// including interval containers of continuous domain types:
106 <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>
107 <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>
108 <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>
109 <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>
110 <span class=
"identifier">ratio_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=
"number">1</span><span class=
"special">,
</span><span class=
"number">3</span><span class=
"special">);
</span> <span class=
"comment">// Subtract
1/
3 from the set
112 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"----- Manipulation of single values in continuous sets ---------------------\n"</span><span class=
"special">;
</span>
113 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"1/3 subtracted from [0..1) : "</span> <span class=
"special"><<</span> <span class=
"identifier">ratio_set
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
114 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"The set does "</span> <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">ratio_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=
"number">1</span><span class=
"special">,
</span><span class=
"number">3</span><span class=
"special">))?
</span><span class=
"string">""</span><span class=
"special">:
</span><span class=
"string">"NOT"</span><span class=
"special">)
</span>
115 <span class=
"special"><<</span> <span class=
"string">" contain '1/3'"</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
116 <span class=
"identifier">ratio_set
</span> <span class=
"special">^=
</span> <span class=
"identifier">unit_set
</span><span class=
"special">;
</span>
117 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"Flipping the holey set : "</span> <span class=
"special"><<</span> <span class=
"identifier">ratio_set
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
118 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"yields the subtracted : 1/3\n\n"</span><span class=
"special">;
</span>
120 <span class=
"comment">// Of course we can use interval types that are different from the
121 </span> <span class=
"comment">// library default by explicit instantiation:
122 </span> <span class=
"identifier">split_interval_set
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">,
</span> <span class=
"identifier">std
</span><span class=
"special">::
</span><span class=
"identifier">less
</span><span class=
"special">,
</span> <span class=
"identifier">closed_interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</span><span class=
"special">></span> <span class=
"special">></span> <span class=
"identifier">intuitive_times
</span><span class=
"special">;
</span>
123 <span class=
"comment">// Interval set 'intuitive_times' uses statically bounded closed intervals
124 </span> <span class=
"identifier">intuitive_times
</span> <span class=
"special">+=
</span> <span class=
"identifier">closed_interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</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">9</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">monday
</span><span class=
"special">,
</span> <span class=
"number">10</span><span class=
"special">,
</span><span class=
"number">59</span><span class=
"special">));
</span>
125 <span class=
"identifier">intuitive_times
</span> <span class=
"special">+=
</span> <span class=
"identifier">closed_interval
</span><span class=
"special"><</span><span class=
"identifier">Time
</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">10</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">monday
</span><span class=
"special">,
</span> <span class=
"number">11</span><span class=
"special">,
</span><span class=
"number">59</span><span class=
"special">));
</span>
126 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"string">"----- Here we are NOT using the library default for intervals --------------\n"</span><span class=
"special">;
</span>
127 <span class=
"identifier">cout
</span> <span class=
"special"><<</span> <span class=
"identifier">intuitive_times
</span> <span class=
"special"><<</span> <span class=
"identifier">endl
</span><span class=
"special">;
</span>
129 <span class=
"keyword">return
</span> <span class=
"number">0</span><span class=
"special">;
</span>
130 <span class=
"special">}
</span>
132 <span class=
"comment">// Program output:
133 </span><span class=
"comment">//
>>Interval Container Library: Sample interval.cpp
<<
134 </span><span class=
"comment">//----------------------------------------------------
135 </span><span class=
"comment">//----- Dynamically bounded intervals ----------------------------------------
136 </span><span class=
"comment">// discrete_interval
<int
> : [
3,
7]
137 </span><span class=
"comment">//continuous_interval
<double
>: [
0.707107,
1.41421) does NOT contain sqrt(
2)
138 </span><span class=
"comment">//continuous_interval
<string
>: (Barcelona,Boston] does NOT contain 'Barcelona'
139 </span><span class=
"comment">//continuous_interval
<string
>: (Barcelona,Boston] does contain 'Berlin'
140 </span><span class=
"comment">// discrete_interval
<Time
> : (mon:
08:
30,mon:
17:
20)
141 </span><span class=
"comment">//
142 </span><span class=
"comment">//----- Manipulation of single values in continuous sets ---------------------
143 </span><span class=
"comment">//
1/
3 subtracted from [
0.
.1) : {[
0/
1,
1/
3)(
1/
3,
1/
1)}
144 </span><span class=
"comment">//The set does NOT contain '
1/
3'
145 </span><span class=
"comment">//Flipping the holey set : {[
1/
3,
1/
3]}
146 </span><span class=
"comment">//yields the subtracted :
1/
3
147 </span><span class=
"comment">//
148 </span><span class=
"comment">//----- Here we are NOT using the library default for intervals --------------
149 </span><span class=
"comment">//{[mon:
09:
00,mon:
09:
59][mon:
10:
00,mon:
10:
59][mon:
11:
00,mon:
11:
59]}
156 <table xmlns:
rev=
"http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width=
"100%"><tr>
157 <td align=
"left"></td>
158 <td align=
"right"><div class=
"copyright-footer">Copyright
© 2007 -
2010 Joachim Faulhaber
<br>Copyright
© 1999 -
2006 Cortex Software GmbH
<p>
159 Distributed under the Boost Software License, Version
1.0. (See accompanying
160 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>)
165 <div class=
"spirit-nav">
166 <a accesskey=
"p" href=
"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=
"static_interval.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>