]>
Commit | Line | Data |
---|---|---|
1 | <html> | |
2 | <head> | |
3 | <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> | |
4 | <title>User groups</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="man_power.html" title="Man power"> | |
10 | <link rel="next" href="std_copy.html" title="Std copy"> | |
11 | </head> | |
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> | |
20 | </tr></table> | |
21 | <hr> | |
22 | <div class="spirit-nav"> | |
23 | <a accesskey="p" href="man_power.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="std_copy.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a> | |
24 | </div> | |
25 | <div class="section boost_icl_examples_user_groups" lang="en"> | |
26 | <div class="titlepage"><div><div><h3 class="title"> | |
27 | <a name="boost_icl.examples.user_groups"></a><a class="link" href="user_groups.html" title="User groups">User groups</a> | |
28 | </h3></div></div></div> | |
29 | <p> | |
30 | Example <span class="bold"><strong>user groups</strong></span> shows the availability | |
31 | of set operations on <code class="computeroutput"><a class="link" href="../../boost/icl/interval_map.html" title="Class template interval_map">interval_maps</a></code>. | |
32 | </p> | |
33 | <p> | |
34 | In the example there is a user group <code class="computeroutput"><span class="identifier">med_users</span></code> | |
35 | of a hospital staff that has the authorisation to handle medical data of | |
36 | patients. User group <code class="computeroutput"><span class="identifier">admin_users</span></code> | |
37 | has access to administrative data like health insurance and financial data. | |
38 | </p> | |
39 | <p> | |
40 | The membership for each user in one of the user groups has a time interval | |
41 | of validity. The group membership begins and ends. | |
42 | </p> | |
43 | <div class="itemizedlist"><ul type="disc"> | |
44 | <li> | |
45 | Using a union operation <code class="computeroutput"><span class="special">+</span></code> | |
46 | we can have an overview over the unified user groups and the membership | |
47 | dates of employees. | |
48 | </li> | |
49 | <li> | |
50 | Computing an intersection <code class="computeroutput"><span class="special">&</span></code> | |
51 | shows who is member of both med_users and admin_users at what times. | |
52 | </li> | |
53 | </ul></div> | |
54 | <p> | |
55 | </p> | |
56 | <p> | |
57 | ||
58 | </p> | |
59 | <pre class="programlisting"><span class="comment">// The next line includes <boost/gregorian/date.hpp> | |
60 | </span><span class="comment">// and a few lines of adapter code. | |
61 | </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">gregorian</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> | |
62 | <span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iostream</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">interval_map</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> | |
64 | ||
65 | <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">std</span><span class="special">;</span> | |
66 | <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">gregorian</span><span class="special">;</span> | |
67 | <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> | |
68 | ||
69 | <span class="comment">// Type icl::set<string> collects the names a user group's members. Therefore | |
70 | </span><span class="comment">// it needs to implement operator += that performs a set union on overlap of | |
71 | </span><span class="comment">// intervals. | |
72 | </span><span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">set</span><span class="special"><</span><span class="identifier">string</span><span class="special">></span> <span class="identifier">MemberSetT</span><span class="special">;</span> | |
73 | ||
74 | <span class="comment">// boost::gregorian::date is the domain type the interval map. | |
75 | </span><span class="comment">// It's key values are therefore time intervals: discrete_interval<date>. The content | |
76 | </span><span class="comment">// is the set of names: MemberSetT. | |
77 | </span><span class="keyword">typedef</span> <span class="identifier">interval_map</span><span class="special"><</span><span class="identifier">date</span><span class="special">,</span> <span class="identifier">MemberSetT</span><span class="special">></span> <span class="identifier">MembershipT</span><span class="special">;</span> | |
78 | ||
79 | <span class="comment">// Collect user groups for medical and administrative staff and perform | |
80 | </span><span class="comment">// union and intersection operations on the collected membership schedules. | |
81 | </span><span class="keyword">void</span> <span class="identifier">user_groups</span><span class="special">()</span> | |
82 | <span class="special">{</span> | |
83 | <span class="identifier">MemberSetT</span> <span class="identifier">mary_harry</span><span class="special">;</span> | |
84 | <span class="identifier">mary_harry</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="string">"Mary"</span><span class="special">);</span> | |
85 | <span class="identifier">mary_harry</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="string">"Harry"</span><span class="special">);</span> | |
86 | ||
87 | <span class="identifier">MemberSetT</span> <span class="identifier">diana_susan</span><span class="special">;</span> | |
88 | <span class="identifier">diana_susan</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="string">"Diana"</span><span class="special">);</span> | |
89 | <span class="identifier">diana_susan</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="string">"Susan"</span><span class="special">);</span> | |
90 | ||
91 | <span class="identifier">MemberSetT</span> <span class="identifier">chief_physician</span><span class="special">;</span> | |
92 | <span class="identifier">chief_physician</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="string">"Dr.Jekyll"</span><span class="special">);</span> | |
93 | ||
94 | <span class="identifier">MemberSetT</span> <span class="identifier">director_of_admin</span><span class="special">;</span> | |
95 | <span class="identifier">director_of_admin</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="string">"Mr.Hyde"</span><span class="special">);</span> | |
96 | ||
97 | <span class="comment">//----- Collecting members of user group: med_users ------------------- | |
98 | </span> <span class="identifier">MembershipT</span> <span class="identifier">med_users</span><span class="special">;</span> | |
99 | ||
100 | <span class="identifier">med_users</span><span class="special">.</span><span class="identifier">add</span><span class="special">(</span> <span class="comment">// add and element | |
101 | </span> <span class="identifier">make_pair</span><span class="special">(</span> | |
102 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">>::</span><span class="identifier">closed</span><span class="special">(</span> | |
103 | <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-01-01"</span><span class="special">),</span> <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-12-31"</span><span class="special">)),</span> <span class="identifier">mary_harry</span><span class="special">));</span> | |
104 | ||
105 | <span class="identifier">med_users</span> <span class="special">+=</span> <span class="comment">// element addition can also be done via operator += | |
106 | </span> <span class="identifier">make_pair</span><span class="special">(</span> | |
107 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">>::</span><span class="identifier">closed</span><span class="special">(</span> | |
108 | <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-01-15"</span><span class="special">),</span> <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-12-31"</span><span class="special">)),</span> | |
109 | <span class="identifier">chief_physician</span><span class="special">);</span> | |
110 | ||
111 | <span class="identifier">med_users</span> <span class="special">+=</span> | |
112 | <span class="identifier">make_pair</span><span class="special">(</span> | |
113 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">>::</span><span class="identifier">closed</span><span class="special">(</span> | |
114 | <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-02-01"</span><span class="special">),</span> <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-10-15"</span><span class="special">)),</span> | |
115 | <span class="identifier">director_of_admin</span><span class="special">);</span> | |
116 | ||
117 | <span class="comment">//----- Collecting members of user group: admin_users ------------------ | |
118 | </span> <span class="identifier">MembershipT</span> <span class="identifier">admin_users</span><span class="special">;</span> | |
119 | ||
120 | <span class="identifier">admin_users</span> <span class="special">+=</span> <span class="comment">// element addition can also be done via operator += | |
121 | </span> <span class="identifier">make_pair</span><span class="special">(</span> | |
122 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">>::</span><span class="identifier">closed</span><span class="special">(</span> | |
123 | <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-03-20"</span><span class="special">),</span> <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-09-30"</span><span class="special">)),</span> <span class="identifier">diana_susan</span><span class="special">);</span> | |
124 | ||
125 | <span class="identifier">admin_users</span> <span class="special">+=</span> | |
126 | <span class="identifier">make_pair</span><span class="special">(</span> | |
127 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">>::</span><span class="identifier">closed</span><span class="special">(</span> | |
128 | <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-01-15"</span><span class="special">),</span> <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-12-31"</span><span class="special">)),</span> | |
129 | <span class="identifier">chief_physician</span><span class="special">);</span> | |
130 | ||
131 | <span class="identifier">admin_users</span> <span class="special">+=</span> | |
132 | <span class="identifier">make_pair</span><span class="special">(</span> | |
133 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">>::</span><span class="identifier">closed</span><span class="special">(</span> | |
134 | <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-02-01"</span><span class="special">),</span> <span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-10-15"</span><span class="special">)),</span> | |
135 | <span class="identifier">director_of_admin</span><span class="special">);</span> | |
136 | ||
137 | <span class="identifier">MembershipT</span> <span class="identifier">all_users</span> <span class="special">=</span> <span class="identifier">med_users</span> <span class="special">+</span> <span class="identifier">admin_users</span><span class="special">;</span> | |
138 | ||
139 | <span class="identifier">MembershipT</span> <span class="identifier">super_users</span> <span class="special">=</span> <span class="identifier">med_users</span> <span class="special">&</span> <span class="identifier">admin_users</span><span class="special">;</span> | |
140 | ||
141 | <span class="identifier">MembershipT</span><span class="special">::</span><span class="identifier">iterator</span> <span class="identifier">med_</span> <span class="special">=</span> <span class="identifier">med_users</span><span class="special">.</span><span class="identifier">begin</span><span class="special">();</span> | |
142 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"----- Membership of medical staff -----------------------------------\n"</span><span class="special">;</span> | |
143 | <span class="keyword">while</span><span class="special">(</span><span class="identifier">med_</span> <span class="special">!=</span> <span class="identifier">med_users</span><span class="special">.</span><span class="identifier">end</span><span class="special">())</span> | |
144 | <span class="special">{</span> | |
145 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">></span> <span class="identifier">when</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">med_</span><span class="special">).</span><span class="identifier">first</span><span class="special">;</span> | |
146 | <span class="comment">// Who is member of group med_users within the time interval 'when' ? | |
147 | </span> <span class="identifier">MemberSetT</span> <span class="identifier">who</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">med_</span><span class="special">++).</span><span class="identifier">second</span><span class="special">;</span> | |
148 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"["</span> <span class="special"><<</span> <span class="identifier">first</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">" - "</span> <span class="special"><<</span> <span class="identifier">last</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">"]"</span> | |
149 | <span class="special"><<</span> <span class="string">": "</span> <span class="special"><<</span> <span class="identifier">who</span> <span class="special"><<</span> <span class="identifier">endl</span><span class="special">;</span> | |
150 | <span class="special">}</span> | |
151 | ||
152 | <span class="identifier">MembershipT</span><span class="special">::</span><span class="identifier">iterator</span> <span class="identifier">admin_</span> <span class="special">=</span> <span class="identifier">admin_users</span><span class="special">.</span><span class="identifier">begin</span><span class="special">();</span> | |
153 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"----- Membership of admin staff -------------------------------------\n"</span><span class="special">;</span> | |
154 | <span class="keyword">while</span><span class="special">(</span><span class="identifier">admin_</span> <span class="special">!=</span> <span class="identifier">admin_users</span><span class="special">.</span><span class="identifier">end</span><span class="special">())</span> | |
155 | <span class="special">{</span> | |
156 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">></span> <span class="identifier">when</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">admin_</span><span class="special">).</span><span class="identifier">first</span><span class="special">;</span> | |
157 | <span class="comment">// Who is member of group admin_users within the time interval 'when' ? | |
158 | </span> <span class="identifier">MemberSetT</span> <span class="identifier">who</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">admin_</span><span class="special">++).</span><span class="identifier">second</span><span class="special">;</span> | |
159 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"["</span> <span class="special"><<</span> <span class="identifier">first</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">" - "</span> <span class="special"><<</span> <span class="identifier">last</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">"]"</span> | |
160 | <span class="special"><<</span> <span class="string">": "</span> <span class="special"><<</span> <span class="identifier">who</span> <span class="special"><<</span> <span class="identifier">endl</span><span class="special">;</span> | |
161 | <span class="special">}</span> | |
162 | ||
163 | <span class="identifier">MembershipT</span><span class="special">::</span><span class="identifier">iterator</span> <span class="identifier">all_</span> <span class="special">=</span> <span class="identifier">all_users</span><span class="special">.</span><span class="identifier">begin</span><span class="special">();</span> | |
164 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"----- Membership of all users (med + admin) -------------------------\n"</span><span class="special">;</span> | |
165 | <span class="keyword">while</span><span class="special">(</span><span class="identifier">all_</span> <span class="special">!=</span> <span class="identifier">all_users</span><span class="special">.</span><span class="identifier">end</span><span class="special">())</span> | |
166 | <span class="special">{</span> | |
167 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">></span> <span class="identifier">when</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">all_</span><span class="special">).</span><span class="identifier">first</span><span class="special">;</span> | |
168 | <span class="comment">// Who is member of group med_users OR admin_users ? | |
169 | </span> <span class="identifier">MemberSetT</span> <span class="identifier">who</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">all_</span><span class="special">++).</span><span class="identifier">second</span><span class="special">;</span> | |
170 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"["</span> <span class="special"><<</span> <span class="identifier">first</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">" - "</span> <span class="special"><<</span> <span class="identifier">last</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">"]"</span> | |
171 | <span class="special"><<</span> <span class="string">": "</span> <span class="special"><<</span> <span class="identifier">who</span> <span class="special"><<</span> <span class="identifier">endl</span><span class="special">;</span> | |
172 | <span class="special">}</span> | |
173 | ||
174 | <span class="identifier">MembershipT</span><span class="special">::</span><span class="identifier">iterator</span> <span class="identifier">super_</span> <span class="special">=</span> <span class="identifier">super_users</span><span class="special">.</span><span class="identifier">begin</span><span class="special">();</span> | |
175 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"----- Membership of super users: intersection(med,admin) ------------\n"</span><span class="special">;</span> | |
176 | <span class="keyword">while</span><span class="special">(</span><span class="identifier">super_</span> <span class="special">!=</span> <span class="identifier">super_users</span><span class="special">.</span><span class="identifier">end</span><span class="special">())</span> | |
177 | <span class="special">{</span> | |
178 | <span class="identifier">discrete_interval</span><span class="special"><</span><span class="identifier">date</span><span class="special">></span> <span class="identifier">when</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">super_</span><span class="special">).</span><span class="identifier">first</span><span class="special">;</span> | |
179 | <span class="comment">// Who is member of group med_users AND admin_users ? | |
180 | </span> <span class="identifier">MemberSetT</span> <span class="identifier">who</span> <span class="special">=</span> <span class="special">(*</span><span class="identifier">super_</span><span class="special">++).</span><span class="identifier">second</span><span class="special">;</span> | |
181 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"["</span> <span class="special"><<</span> <span class="identifier">first</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">" - "</span> <span class="special"><<</span> <span class="identifier">last</span><span class="special">(</span><span class="identifier">when</span><span class="special">)</span> <span class="special"><<</span> <span class="string">"]"</span> | |
182 | <span class="special"><<</span> <span class="string">": "</span> <span class="special"><<</span> <span class="identifier">who</span> <span class="special"><<</span> <span class="identifier">endl</span><span class="special">;</span> | |
183 | <span class="special">}</span> | |
184 | ||
185 | <span class="special">}</span> | |
186 | ||
187 | ||
188 | <span class="keyword">int</span> <span class="identifier">main</span><span class="special">()</span> | |
189 | <span class="special">{</span> | |
190 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">">>Interval Container Library: Sample user_groups.cpp <<\n"</span><span class="special">;</span> | |
191 | <span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"-------------------------------------------------------\n"</span><span class="special">;</span> | |
192 | <span class="identifier">user_groups</span><span class="special">();</span> | |
193 | <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span> | |
194 | <span class="special">}</span> | |
195 | ||
196 | <span class="comment">// Program output: | |
197 | </span><span class="comment">/*----------------------------------------------------------------------------- | |
198 | >>Interval Container Library: Sample user_groups.cpp << | |
199 | ------------------------------------------------------- | |
200 | ----- Membership of medical staff ----------------------------------- | |
201 | [2008-Jan-01 - 2008-Jan-14]: Harry Mary | |
202 | [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll Harry Mary | |
203 | [2008-Feb-01 - 2008-Oct-15]: Dr.Jekyll Harry Mary Mr.Hyde | |
204 | [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll Harry Mary | |
205 | ----- Membership of admin staff ------------------------------------- | |
206 | [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll | |
207 | [2008-Feb-01 - 2008-Mar-19]: Dr.Jekyll Mr.Hyde | |
208 | [2008-Mar-20 - 2008-Sep-30]: Diana Dr.Jekyll Mr.Hyde Susan | |
209 | [2008-Oct-01 - 2008-Oct-15]: Dr.Jekyll Mr.Hyde | |
210 | [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll | |
211 | ----- Membership of all users (med + admin) ------------------------- | |
212 | [2008-Jan-01 - 2008-Jan-14]: Harry Mary | |
213 | [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll Harry Mary | |
214 | [2008-Feb-01 - 2008-Mar-19]: Dr.Jekyll Harry Mary Mr.Hyde | |
215 | [2008-Mar-20 - 2008-Sep-30]: Diana Dr.Jekyll Harry Mary Mr.Hyde Susan | |
216 | [2008-Oct-01 - 2008-Oct-15]: Dr.Jekyll Harry Mary Mr.Hyde | |
217 | [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll Harry Mary | |
218 | ----- Membership of super users: intersection(med,admin) ------------ | |
219 | [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll | |
220 | [2008-Feb-01 - 2008-Oct-15]: Dr.Jekyll Mr.Hyde | |
221 | [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll | |
222 | -----------------------------------------------------------------------------*/</span> | |
223 | </pre> | |
224 | <p> | |
225 | </p> | |
226 | <p> | |
227 | </p> | |
228 | </div> | |
229 | <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> | |
230 | <td align="left"></td> | |
231 | <td align="right"><div class="copyright-footer">Copyright © 2007 -2010 Joachim Faulhaber<br>Copyright © 1999 -2006 Cortex Software GmbH<p> | |
232 | Distributed under the Boost Software License, Version 1.0. (See accompanying | |
233 | 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>) | |
234 | </p> | |
235 | </div></td> | |
236 | </tr></table> | |
237 | <hr> | |
238 | <div class="spirit-nav"> | |
239 | <a accesskey="p" href="man_power.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="std_copy.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a> | |
240 | </div> | |
241 | </body> | |
242 | </html> |