]> git.proxmox.com Git - ceph.git/blame - ceph/src/boost/libs/bimap/doc/html/boost_bimap/reference/bimap_reference.html
bump version to 12.2.2-pve1
[ceph.git] / ceph / src / boost / libs / bimap / doc / html / boost_bimap / reference / bimap_reference.html
CommitLineData
7c673cae
FG
1<html>
2<head>
3<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
4<title>Bimap Reference</title>
5<link rel="stylesheet" href="../../boostbook.css" type="text/css">
6<meta name="generator" content="DocBook XSL Stylesheets V1.77.1">
7<link rel="home" href="../../index.html" title="Chapter&#160;1.&#160;Boost.Bimap">
8<link rel="up" href="../reference.html" title="Reference">
9<link rel="prev" href="../reference.html" title="Reference">
10<link rel="next" href="set_of_reference.html" title="set_of Reference">
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="../../../../../../libs/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="../reference.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../reference.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="set_of_reference.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
24</div>
25<div class="section boost_bimap_reference_bimap_reference">
26<div class="titlepage"><div><div><h3 class="title">
27<a name="boost_bimap.reference.bimap_reference"></a><a class="link" href="bimap_reference.html" title="Bimap Reference">Bimap Reference</a>
28</h3></div></div></div>
29<div class="toc"><dl>
30<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.view_concepts">View
31 concepts</a></span></dt>
32<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.complexity_signature">Complexity
33 signature</a></span></dt>
34<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.set_type_specification">Set
35 type specification</a></span></dt>
36<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.tags">Tags</a></span></dt>
37<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.header__boost_bimap_bimap_hpp__synopsis">Header
38 "boost/bimap/bimap.hpp" synopsis</a></span></dt>
39<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap">Class
40 template bimap</a></span></dt>
41<dd><dl>
42<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.complexity">Complexity</a></span></dt>
43<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.instantiation_types">Instantiation
44 types</a></span></dt>
45<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.nested_types">Nested
46 types</a></span></dt>
47<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.constructors__copy_and_assignment">Constructors,
48 copy and assignment</a></span></dt>
49<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.projection_operations">Projection
50 operations</a></span></dt>
51<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.support_for_user_defined_names">Support
52 for user defined names</a></span></dt>
53<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.serialization">Serialization</a></span></dt>
54</dl></dd>
55</dl></div>
56<div class="section boost_bimap_reference_bimap_reference_view_concepts">
57<div class="titlepage"><div><div><h4 class="title">
58<a name="boost_bimap.reference.bimap_reference.view_concepts"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.view_concepts" title="View concepts">View
59 concepts</a>
60</h4></div></div></div>
61<p>
62 <code class="computeroutput"><span class="identifier">bimap</span></code> instantiations comprise
63 two side views and an view of the relation specified at compile time. Each
64 view allows read-write access to the elements contained in a definite manner,
65 mathing an STL container signature.
66 </p>
67<p>
68 Views are not isolated objects and so cannot be constructed on their own;
69 rather they are an integral part of a <code class="computeroutput"><span class="identifier">bimap</span></code>.
70 The name of the view class implementation proper is never directly exposed
71 to the user, who has access only to the associated view type specifier.
72 </p>
73<p>
74 Insertion and deletion of elements are always performed through the appropriate
75 interface of any of the three views of the <code class="computeroutput"><span class="identifier">bimap</span></code>;
76 these operations do, however, have an impact on all other views as well:
77 for instance, insertion through a given view may fail because there exists
78 another view that forbids the operation in order to preserve its invariant
79 (such as uniqueness of elements). The global operations performed jointly
80 in the any view can be reduced to six primitives:
81 </p>
82<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
83<li class="listitem">
84 copying
85 </li>
86<li class="listitem">
87 insertion of an element
88 </li>
89<li class="listitem">
90 hinted insertion, where a pre-existing element is suggested in order
91 to improve the efficiency of the operation
92 </li>
93<li class="listitem">
94 deletion of an element
95 </li>
96<li class="listitem">
97 replacement of the value of an element, which may trigger the rearrangement
98 of this element in one or more views, or may forbid the replacement
99 </li>
100<li class="listitem">
101 modification of an element, and its subsequent rearrangement/banning
102 by the various views
103 </li>
104</ul></div>
105<p>
106 The last two primitives deserve some further explanation: in order to guarantee
107 the invariants associated to each view (e.g. some definite ordering) elements
108 of a <code class="computeroutput"><span class="identifier">bimap</span></code> are not mutable.
109 To overcome this restriction, the views expose member functions for updating
110 and modifying, which allows for the mutation of elements in a controlled
111 fashion.
112 </p>
113</div>
114<div class="section boost_bimap_reference_bimap_reference_complexity_signature">
115<div class="titlepage"><div><div><h4 class="title">
116<a name="boost_bimap.reference.bimap_reference.complexity_signature"></a><a name="complexity_signature_explanation"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.complexity_signature" title="Complexity signature">Complexity
117 signature</a>
118</h4></div></div></div>
119<p>
120 Some member functions of a view interface are implemented by global primitives
121 from the above list. The complexity of these operations thus depends on
122 all views of a given <code class="computeroutput"><span class="identifier">bimap</span></code>,
123 not just the currently used view.
124 </p>
125<p>
126 In order to establish complexity estimates, a view is characterised by
127 its complexity signature, consisting of the following associated functions
128 on the number of elements:
129 </p>
130<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
131<li class="listitem">
132 <code class="computeroutput"><span class="identifier">c</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code>:
133 copying
134 </li>
135<li class="listitem">
136 <code class="computeroutput"><span class="identifier">i</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code>:
137 insertion
138 </li>
139<li class="listitem">
140 <code class="computeroutput"><span class="identifier">h</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code>:
141 hinted insertion
142 </li>
143<li class="listitem">
144 <code class="computeroutput"><span class="identifier">d</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code>:
145 deletion
146 </li>
147<li class="listitem">
148 <code class="computeroutput"><span class="identifier">r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code>:
149 replacement
150 </li>
151<li class="listitem">
152 <code class="computeroutput"><span class="identifier">m</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code>:
153 modifying
154 </li>
155</ul></div>
156<p>
157 If the collection type of the relation is <code class="computeroutput"><span class="identifier">left_based</span></code>
158 or <code class="computeroutput"><span class="identifier">right_based</span></code>, and we
159 use an <code class="computeroutput"><span class="identifier">l</span></code> subscript to denote
160 the left view and an <code class="computeroutput"><span class="identifier">r</span></code>
161 for the right view, then the insertion of an element in such a container
162 is of complexity <code class="computeroutput"><span class="identifier">O</span><span class="special">(</span><span class="identifier">i_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)+</span><span class="identifier">i_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">))</span></code>,
163 where n is the number of elements. If the collection type of relation is
164 not side-based, then there is an additional term to add that is contributed
165 by the collection type of relation view. Using <code class="computeroutput"><span class="identifier">a</span></code>
166 to denote the above view, the complexity of insertion will now be <code class="computeroutput"><span class="identifier">O</span><span class="special">(</span><span class="identifier">i_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)+</span><span class="identifier">i_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)+</span><span class="identifier">i_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">))</span></code>.
167 To abbreviate the notation, we adopt the following definitions:
168 </p>
169<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
170<li class="listitem">
171 <code class="computeroutput"><span class="identifier">C</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">c_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">+</span> <span class="identifier">c_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">[</span> <span class="special">+</span> <span class="identifier">c_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">]</span></code>
172 </li>
173<li class="listitem">
174 <code class="computeroutput"><span class="identifier">I</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">i_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">+</span> <span class="identifier">i_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">[</span> <span class="special">+</span> <span class="identifier">i_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">]</span></code>
175 </li>
176<li class="listitem">
177 <code class="computeroutput"><span class="identifier">H</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">h_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">+</span> <span class="identifier">h_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">[</span> <span class="special">+</span> <span class="identifier">h_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">]</span></code>
178 </li>
179<li class="listitem">
180 <code class="computeroutput"><span class="identifier">D</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">d_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">+</span> <span class="identifier">d_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">[</span> <span class="special">+</span> <span class="identifier">d_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">]</span></code>
181 </li>
182<li class="listitem">
183 <code class="computeroutput"><span class="identifier">R</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">r_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">+</span> <span class="identifier">r_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">[</span> <span class="special">+</span> <span class="identifier">r_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">]</span></code>
184 </li>
185<li class="listitem">
186 <code class="computeroutput"><span class="identifier">M</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">m_l</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">+</span> <span class="identifier">m_r</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">[</span> <span class="special">+</span> <span class="identifier">m_a</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="special">]</span></code>
187 </li>
188</ul></div>
189</div>
190<div class="section boost_bimap_reference_bimap_reference_set_type_specification">
191<div class="titlepage"><div><div><h4 class="title">
192<a name="boost_bimap.reference.bimap_reference.set_type_specification"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.set_type_specification" title="Set type specification">Set
193 type specification</a>
194</h4></div></div></div>
195<p>
196 Set type specifiers are passed as instantiation arguments to <code class="computeroutput"><span class="identifier">bimap</span></code> and provide the information needed
197 to incorporate the corresponding views. Currently, Boost.Bimap provides
198 the collection type specifiers. The <span class="emphasis"><em>side collection type</em></span>
199 specifiers define the constraints of the two map views of the bimap. The
200 <span class="emphasis"><em>collection type of relation</em></span> specifier defines the
201 main set view constraints. If <code class="computeroutput"><span class="identifier">left_based</span></code>
202 (the default parameter) or <code class="computeroutput"><span class="identifier">right_based</span></code>
203 is used, then the collection type of relation will be based on the left
204 or right collection type correspondingly.
205 </p>
206<div class="informaltable"><table class="table">
207<colgroup>
208<col>
209<col>
210<col>
211</colgroup>
212<thead><tr>
213<th>
214 <p>
215 Side collection type
216 </p>
217 </th>
218<th>
219 <p>
220 Collection type of relation
221 </p>
222 </th>
223<th>
224 <p>
225 Include
226 </p>
227 </th>
228</tr></thead>
229<tbody>
230<tr>
231<td>
232 <p>
233 <code class="computeroutput"><span class="identifier">set_of</span></code>
234 </p>
235 </td>
236<td>
237 <p>
238 <code class="computeroutput"><span class="identifier">set_of_relation</span></code>
239 </p>
240 </td>
241<td>
242 <p>
243 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">set_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
244 </p>
245 </td>
246</tr>
247<tr>
248<td>
249 <p>
250 <code class="computeroutput"><span class="identifier">multiset_of</span></code>
251 </p>
252 </td>
253<td>
254 <p>
255 <code class="computeroutput"><span class="identifier">multiset_of_relation</span></code>
256 </p>
257 </td>
258<td>
259 <p>
260 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">multiset_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
261 </p>
262 </td>
263</tr>
264<tr>
265<td>
266 <p>
267 <code class="computeroutput"><span class="identifier">unordered_set_of</span></code>
268 </p>
269 </td>
270<td>
271 <p>
272 <code class="computeroutput"><span class="identifier">unordered_set_of_relation</span></code>
273 </p>
274 </td>
275<td>
276 <p>
277 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">unordered_set_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
278 </p>
279 </td>
280</tr>
281<tr>
282<td>
283 <p>
284 <code class="computeroutput"><span class="identifier">unordered_multiset_of</span></code>
285 </p>
286 </td>
287<td>
288 <p>
289 <code class="computeroutput"><span class="identifier">unordered_multiset_of_relation</span></code>
290 </p>
291 </td>
292<td>
293 <p>
294 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">unordered_multiset_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
295 </p>
296 </td>
297</tr>
298<tr>
299<td>
300 <p>
301 <code class="computeroutput"><span class="identifier">list_of</span></code>
302 </p>
303 </td>
304<td>
305 <p>
306 <code class="computeroutput"><span class="identifier">list_of_relation</span></code>
307 </p>
308 </td>
309<td>
310 <p>
311 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">list_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
312 </p>
313 </td>
314</tr>
315<tr>
316<td>
317 <p>
318 <code class="computeroutput"><span class="identifier">vector_of</span></code>
319 </p>
320 </td>
321<td>
322 <p>
323 <code class="computeroutput"><span class="identifier">vector_of_relation</span></code>
324 </p>
325 </td>
326<td>
327 <p>
328 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">vector_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
329 </p>
330 </td>
331</tr>
332<tr>
333<td>
334 <p>
335 <code class="computeroutput"><span class="identifier">unconstrained_set_of</span></code>
336 </p>
337 </td>
338<td>
339 <p>
340 <code class="computeroutput"><span class="identifier">unconstrained_set_of_relation</span></code>
341 </p>
342 </td>
343<td>
344 <p>
345 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">unconstrained_set_of</span><span class="special">.</span><span class="identifier">hpp</span></code>
346 </p>
347 </td>
348</tr>
349<tr>
350<td>
351 </td>
352<td>
353 <p>
354 <code class="computeroutput"><span class="identifier">left_based</span></code>
355 </p>
356 </td>
357<td>
358 <p>
359 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">.</span><span class="identifier">hpp</span></code>
360 </p>
361 </td>
362</tr>
363<tr>
364<td>
365 </td>
366<td>
367 <p>
368 <code class="computeroutput"><span class="identifier">right_based</span></code>
369 </p>
370 </td>
371<td>
372 <p>
373 <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">/</span><span class="identifier">bimap</span><span class="special">.</span><span class="identifier">hpp</span></code>
374 </p>
375 </td>
376</tr>
377</tbody>
378</table></div>
379</div>
380<div class="section boost_bimap_reference_bimap_reference_tags">
381<div class="titlepage"><div><div><h4 class="title">
382<a name="boost_bimap.reference.bimap_reference.tags"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.tags" title="Tags">Tags</a>
383</h4></div></div></div>
384<p>
385 Tags are just conventional types used as mnemonics for the types stored
386 in a <code class="computeroutput"><span class="identifier">bimap</span></code>. Boost.Bimap
387 uses the tagged idiom to let the user specify this tags.
388 </p>
389</div>
390<div class="section boost_bimap_reference_bimap_reference_header__boost_bimap_bimap_hpp__synopsis">
391<div class="titlepage"><div><div><h4 class="title">
392<a name="boost_bimap.reference.bimap_reference.header__boost_bimap_bimap_hpp__synopsis"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.header__boost_bimap_bimap_hpp__synopsis" title='Header "boost/bimap/bimap.hpp" synopsis'>Header
393 "boost/bimap/bimap.hpp" synopsis</a>
394</h4></div></div></div>
395<pre class="programlisting"><span class="keyword">namespace</span> <span class="identifier">boost</span> <span class="special">{</span>
396<span class="keyword">namespace</span> <span class="identifier">bimaps</span> <span class="special">{</span>
397
398<span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Type</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
399<span class="keyword">struct</span> <span class="identifier">tagged</span><span class="special">;</span>
400
401<span class="comment">// bimap template class</span>
402
403<span class="keyword">template</span>
404<span class="special">&lt;</span>
405 <span class="keyword">class</span> <span class="identifier">LeftCollectionType</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">RightCollectionType</span><span class="special">,</span>
406
407 <span class="keyword">class</span> <span class="identifier">AdditionalParameter_1</span> <span class="special">=</span> <span class="identifier">detail</span><span class="special">::</span><span class="identifier">not_specified</span><span class="special">,</span>
408 <span class="keyword">class</span> <span class="identifier">AdditionalParameter_2</span> <span class="special">=</span> <span class="identifier">detail</span><span class="special">::</span><span class="identifier">not_specified</span>
409<span class="special">&gt;</span>
410<span class="keyword">class</span> <span class="identifier">bimap</span> <span class="emphasis"><em>- implementation defined { : public SetView } -</em></span>
411<span class="special">{</span>
412 <span class="keyword">public</span><span class="special">:</span>
413
414 <span class="comment">// Metadata</span>
415
416 <span class="keyword">typedef</span> <span class="emphasis"><em>-unspecified-</em></span> <span class="identifier">left_tag</span><span class="special">;</span>
417 <span class="keyword">typedef</span> <span class="emphasis"><em>-unspecified-</em></span> <span class="identifier">left_map</span><span class="special">;</span>
418
419 <span class="keyword">typedef</span> <span class="emphasis"><em>-unspecified-</em></span> <span class="identifier">right_tag</span><span class="special">;</span>
420 <span class="keyword">typedef</span> <span class="emphasis"><em>-unspecified-</em></span> <span class="identifier">right_map</span><span class="special">;</span>
421
422 <span class="comment">// Shortcuts</span>
423 <span class="comment">// typedef -side-_map::-type- -side-_-type-;</span>
424
425 <span class="keyword">typedef</span> <span class="emphasis"><em>-unspecified-</em></span> <span class="identifier">info_type</span><span class="special">;</span>
426
427 <span class="comment">// Map views</span>
428
429 <span class="identifier">left_map</span> <span class="identifier">left</span><span class="special">;</span>
430 <span class="identifier">right_map</span> <span class="identifier">right</span><span class="special">;</span>
431
432 <span class="comment">// Constructors</span>
433
434 <span class="identifier">bimap</span><span class="special">();</span>
435
436 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">InputIterator</span> <span class="special">&gt;</span>
437 <span class="identifier">bimap</span><span class="special">(</span><span class="identifier">InputIterator</span> <span class="identifier">first</span><span class="special">,</span><span class="identifier">InputIterator</span> <span class="identifier">last</span><span class="special">);</span>
438
439 <span class="identifier">bimap</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bimap</span> <span class="special">&amp;);</span>
440
441 <span class="identifier">bimap</span><span class="special">&amp;</span> <span class="keyword">operator</span><span class="special">=(</span><span class="keyword">const</span> <span class="identifier">bimap</span><span class="special">&amp;</span> <span class="identifier">b</span><span class="special">);</span>
442
443 <span class="comment">// Projection of iterators</span>
444
445 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
446 <span class="identifier">left_iterator</span> <span class="identifier">project_left</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
447
448 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
449 <span class="identifier">left_const_iterator</span> <span class="identifier">project_left</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
450
451 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
452 <span class="identifier">right_iterator</span> <span class="identifier">project_right</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
453
454 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
455 <span class="identifier">right_const_iterator</span> <span class="identifier">project_right</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
456
457 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
458 <span class="identifier">iterator</span> <span class="identifier">project_up</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
459
460 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
461 <span class="identifier">const_iterator</span> <span class="identifier">project_up</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
462
463 <span class="comment">// Support for tags</span>
464
465 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
466 <span class="keyword">struct</span> <span class="identifier">map_by</span><span class="special">;</span>
467
468 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
469 <span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="identifier">by</span><span class="special">();</span>
470
471 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
472 <span class="keyword">const</span> <span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="special">&amp;</span> <span class="identifier">by</span><span class="special">()</span> <span class="keyword">const</span><span class="special">;</span>
473
474 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
475 <span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">iterator</span> <span class="identifier">project</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
476
477 <span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
478 <span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">const_iterator</span> <span class="identifier">project</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span>
479
480<span class="special">};</span>
481
482
483<span class="special">}</span> <span class="comment">// namespace bimap</span>
484<span class="special">}</span> <span class="comment">// namespace boost</span>
485</pre>
486</div>
487<div class="section boost_bimap_reference_bimap_reference_class_template_bimap">
488<div class="titlepage"><div><div><h4 class="title">
489<a name="boost_bimap.reference.bimap_reference.class_template_bimap"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap" title="Class template bimap">Class
490 template bimap</a>
491</h4></div></div></div>
492<div class="toc"><dl>
493<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.complexity">Complexity</a></span></dt>
494<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.instantiation_types">Instantiation
495 types</a></span></dt>
496<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.nested_types">Nested
497 types</a></span></dt>
498<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.constructors__copy_and_assignment">Constructors,
499 copy and assignment</a></span></dt>
500<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.projection_operations">Projection
501 operations</a></span></dt>
502<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.support_for_user_defined_names">Support
503 for user defined names</a></span></dt>
504<dt><span class="section"><a href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.serialization">Serialization</a></span></dt>
505</dl></div>
506<p>
507 This is the main component of Boost.Bimap.
508 </p>
509<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_complexity">
510<div class="titlepage"><div><div><h5 class="title">
511<a name="boost_bimap.reference.bimap_reference.class_template_bimap.complexity"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.complexity" title="Complexity">Complexity</a>
512</h5></div></div></div>
513<p>
514 In the descriptions of the operations of <code class="computeroutput"><span class="identifier">bimap</span></code>,
515 we adopt the scheme outlined in the complexity signature section.
516 </p>
517</div>
518<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_instantiation_types">
519<div class="titlepage"><div><div><h5 class="title">
520<a name="boost_bimap.reference.bimap_reference.class_template_bimap.instantiation_types"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.instantiation_types" title="Instantiation types">Instantiation
521 types</a>
522</h5></div></div></div>
523<p>
524 <code class="computeroutput"><span class="identifier">bimap</span></code> is instantiated
525 with the following types:
526 </p>
527<div class="orderedlist"><ol class="orderedlist" type="1">
528<li class="listitem">
529 LeftCollectionType and RightCollectionType are collection type specifications
530 optionally tagged, or any type optionally tagged, in which case that
531 side acts as a set.
532 </li>
533<li class="listitem">
534 AdditionalParameter_{1/2} can be any ordered subset of:
535 <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
536<li class="listitem">
537 CollectionTypeOfRelation specification
538 </li>
539<li class="listitem">
540 Allocator
541 </li>
542</ul></div>
543 </li>
544</ol></div>
545</div>
546<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_nested_types">
547<div class="titlepage"><div><div><h5 class="title">
548<a name="boost_bimap.reference.bimap_reference.class_template_bimap.nested_types"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.nested_types" title="Nested types">Nested
549 types</a>
550</h5></div></div></div>
551<pre class="programlisting"><span class="identifier">left_tag</span><span class="special">,</span> <span class="identifier">right_tag</span>
552</pre>
553<div class="blockquote"><blockquote class="blockquote"><p>
554 Tags for each side of the bimap. If the user has not specified any
555 tag the tags default to <code class="computeroutput"><span class="identifier">member_at</span><span class="special">::</span><span class="identifier">left</span></code>
556 and <code class="computeroutput"><span class="identifier">member_at</span><span class="special">::</span><span class="identifier">right</span></code>.
557 </p></blockquote></div>
558<pre class="programlisting"><span class="identifier">left_key_type</span><span class="special">,</span> <span class="identifier">right_key_type</span>
559</pre>
560<div class="blockquote"><blockquote class="blockquote"><p>
561 Key type of each side. In a <code class="computeroutput"><span class="identifier">bimap</span><span class="special">&lt;</span><span class="identifier">A</span><span class="special">,</span><span class="identifier">B</span><span class="special">&gt;</span> </code> <code class="computeroutput"><span class="identifier">left_key_type</span></code>
562 is <code class="computeroutput"><span class="identifier">A</span></code> and <code class="computeroutput"><span class="identifier">right_key_type</span></code> is <code class="computeroutput"><span class="identifier">B</span></code>.
563 If there are tags, it is better to use: <code class="computeroutput"><span class="identifier">Bimap</span><span class="special">::</span><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">key_type</span></code>.
564 </p></blockquote></div>
565<pre class="programlisting"><span class="identifier">left_data_type</span><span class="special">,</span> <span class="identifier">right_data_type</span>
566</pre>
567<div class="blockquote"><blockquote class="blockquote"><p>
568 Data type of each side. In a bimap&lt;A,B&gt; left_key_type is B and
569 right_key_type is A. If there are tags, it is better to use: <code class="computeroutput"><span class="identifier">Bimap</span><span class="special">::</span><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">data_type</span></code>.
570 </p></blockquote></div>
571<pre class="programlisting"><span class="identifier">left_value_type</span><span class="special">,</span> <span class="identifier">right_value_type</span>
572</pre>
573<div class="blockquote"><blockquote class="blockquote"><p>
574 Value type used for the views. If there are tags, it is better to use:
575 <code class="computeroutput"><span class="identifier">Bimap</span><span class="special">::</span><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">value_type</span></code>.
576 </p></blockquote></div>
577<pre class="programlisting"><span class="identifier">left_iterator</span><span class="special">,</span> <span class="identifier">right_iterator</span>
578<span class="identifier">left_const_iterator</span><span class="special">,</span> <span class="identifier">right_const_iterator</span>
579</pre>
580<div class="blockquote"><blockquote class="blockquote"><p>
581 Iterators of the views. If there are tags, it is better to use: <code class="computeroutput"><span class="identifier">Bimap</span><span class="special">::</span><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">iterator</span></code> and <code class="computeroutput"><span class="identifier">Bimap</span><span class="special">::</span><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">const_iterator</span></code>
582 </p></blockquote></div>
583<pre class="programlisting"><span class="identifier">left_map</span><span class="special">,</span> <span class="identifier">right_map</span>
584</pre>
585<div class="blockquote"><blockquote class="blockquote"><p>
586 Map view type of each side. If there are tags, it is better to use:
587 <code class="computeroutput"><span class="identifier">Bimap</span><span class="special">::</span><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span></code>.
588 </p></blockquote></div>
589</div>
590<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_constructors__copy_and_assignment">
591<div class="titlepage"><div><div><h5 class="title">
592<a name="boost_bimap.reference.bimap_reference.class_template_bimap.constructors__copy_and_assignment"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.constructors__copy_and_assignment" title="Constructors, copy and assignment">Constructors,
593 copy and assignment</a>
594</h5></div></div></div>
595<pre class="programlisting"><span class="identifier">bimap</span><span class="special">();</span>
596</pre>
597<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
598<li class="listitem">
599 <span class="bold"><strong>Effects:</strong></span> Constructs an empty <code class="computeroutput"><span class="identifier">bimap</span></code>.
600 </li>
601<li class="listitem">
602 <span class="bold"><strong>Complexity:</strong></span> Constant.
603 </li>
604</ul></div>
605<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">InputIterator</span><span class="special">&gt;</span>
606<span class="identifier">bimap</span><span class="special">(</span><span class="identifier">InputIterator</span> <span class="identifier">first</span><span class="special">,</span><span class="identifier">InputIterator</span> <span class="identifier">last</span><span class="special">);</span>
607</pre>
608<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
609<li class="listitem">
610 <span class="bold"><strong>Requires: </strong></span> <code class="computeroutput"><span class="identifier">InputIterator</span></code>
611 is a model of Input Iterator over elements of type <code class="computeroutput"><span class="identifier">relation</span></code> or a type convertible
612 to <code class="computeroutput"><span class="identifier">relation</span></code>. last
613 is reachable from <code class="computeroutput"><span class="identifier">first</span></code>.
614 </li>
615<li class="listitem">
616 <span class="bold"><strong>Effects:</strong></span> Constructs an empty <code class="computeroutput"><span class="identifier">bimap</span></code> and fills it with the elements
617 in the range <code class="computeroutput"><span class="special">[</span><span class="identifier">first</span><span class="special">,</span><span class="identifier">last</span><span class="special">)</span></code>. Insertion of each element may or
618 may not succeed depending on acceptance by the collection types of
619 the <code class="computeroutput"><span class="identifier">bimap</span></code>.
620 </li>
621<li class="listitem">
622 <a class="link" href="bimap_reference.html#complexity_signature_explanation"><span class="bold"><strong>Complexity:</strong></span></a>
623 O(m*H(m)), where m is the number of elements in <code class="computeroutput"><span class="special">[</span><span class="identifier">first</span><span class="special">,</span><span class="identifier">last</span><span class="special">)</span></code>.
624 </li>
625</ul></div>
626<pre class="programlisting"><span class="identifier">bimap</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bimap</span> <span class="special">&amp;</span> <span class="identifier">x</span><span class="special">);</span>
627</pre>
628<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
629<li class="listitem">
630 <span class="bold"><strong>Effects:</strong></span> Constructs a copy of x,
631 copying its elements as well as its internal objects (key extractors,
632 comparison objects, allocator.)
633 </li>
634<li class="listitem">
635 <span class="bold"><strong>Postconditions:</strong></span> <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span> <span class="special">==</span>
636 <span class="identifier">x</span></code>. The order of the views
637 of the <code class="computeroutput"><span class="identifier">bimap</span></code> is preserved
638 as well.
639 </li>
640<li class="listitem">
641 <span class="bold"><strong>Complexity:</strong></span> O(x.size()*log(x.size())
642 + C(x.size()))
643 </li>
644</ul></div>
645<pre class="programlisting"><span class="special">~</span><span class="identifier">bimap</span><span class="special">()</span>
646</pre>
647<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
648<li class="listitem">
649 <span class="bold"><strong>Effects:</strong></span> Destroys the <code class="computeroutput"><span class="identifier">bimap</span></code> and all the elements contained.
650 The order in which the elements are destroyed is not specified.
651 </li>
652<li class="listitem">
653 <span class="bold"><strong>Complexity:</strong></span> O(n).
654 </li>
655</ul></div>
656<pre class="programlisting"><span class="identifier">bimap</span><span class="special">&amp;</span> <span class="keyword">operator</span><span class="special">=(</span><span class="keyword">const</span> <span class="identifier">bimap</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">);</span>
657</pre>
658<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
659<li class="listitem">
660 <span class="bold"><strong>Effects:</strong></span> Replaces the elements and
661 internal objects of the <code class="computeroutput"><span class="identifier">bimap</span></code>
662 with copies from x.
663 </li>
664<li class="listitem">
665 <span class="bold"><strong>Postconditions:</strong></span> <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span><span class="special">==</span><span class="identifier">x</span></code>. The order on the views of the
666 <code class="computeroutput"><span class="identifier">bimap</span></code> is preserved
667 as well.
668 </li>
669<li class="listitem">
670 <span class="bold"><strong>Returns: </strong></span> <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>.
671 </li>
672<li class="listitem">
673 <span class="bold"><strong>Complexity:</strong></span> O(n + x.size()*log(x.size())
674 + C(x.size())).
675 </li>
676<li class="listitem">
677 <span class="bold"><strong>Exception safety:</strong></span> Strong, provided
678 the copy and assignment operations of the types of <code class="computeroutput"><span class="identifier">ctor_args_list</span></code> do not throw.
679 </li>
680</ul></div>
681</div>
682<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_projection_operations">
683<div class="titlepage"><div><div><h5 class="title">
684<a name="boost_bimap.reference.bimap_reference.class_template_bimap.projection_operations"></a><a name="reference_projection_operations"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.projection_operations" title="Projection operations">Projection
685 operations</a>
686</h5></div></div></div>
687<p>
688 Given a <code class="computeroutput"><span class="identifier">bimap</span></code> with views
689 v1 and v2, we say than an v1-iterator it1 and an v2-iterator it2 are
690 equivalent if:
691 </p>
692<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
693<li class="listitem">
694 <code class="computeroutput"><span class="identifier">it1</span> <span class="special">==</span>
695 <span class="identifier">i1</span><span class="special">.</span><span class="identifier">end</span><span class="special">()</span></code>
696 AND <code class="computeroutput"><span class="identifier">it2</span> <span class="special">==</span>
697 <span class="identifier">i2</span><span class="special">.</span><span class="identifier">end</span><span class="special">()</span></code>,
698 </li>
699<li class="listitem">
700 OR <code class="computeroutput"><span class="identifier">it1</span></code> and <code class="computeroutput"><span class="identifier">it2</span></code> point to the same element.
701 </li>
702</ul></div>
703<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
704<span class="identifier">left_iterator</span> <span class="identifier">project_left</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
705
706<span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
707<span class="identifier">left_const_iterator</span> <span class="identifier">project_left</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
708</pre>
709<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
710<li class="listitem">
711 <span class="bold"><strong>Requires:</strong></span> <code class="computeroutput"><span class="identifier">IteratorType</span></code>
712 is a bimap view iterator. it is a valid iterator of some view of
713 <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
714 (i.e. does not refer to some other <code class="computeroutput"><span class="identifier">bimap</span></code>.)
715 </li>
716<li class="listitem">
717 <span class="bold"><strong>Effects:</strong></span> Returns a left map view
718 iterator equivalent to <code class="computeroutput"><span class="identifier">it</span></code>.
719 </li>
720<li class="listitem">
721 <span class="bold"><strong>Complexity:</strong></span> Constant.
722 </li>
723<li class="listitem">
724 <span class="bold"><strong>Exception safety:</strong></span> nothrow.
725 </li>
726</ul></div>
727<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
728<span class="identifier">right_iterator</span> <span class="identifier">project_right</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
729
730<span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
731<span class="identifier">right_const_iterator</span> <span class="identifier">project_right</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
732</pre>
733<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
734<li class="listitem">
735 <span class="bold"><strong>Requires:</strong></span> <code class="computeroutput"><span class="identifier">IteratorType</span></code>
736 is a bimap view iterator. it is a valid iterator of some view of
737 <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
738 (i.e. does not refer to some other <code class="computeroutput"><span class="identifier">bimap</span></code>.)
739 </li>
740<li class="listitem">
741 <span class="bold"><strong>Effects:</strong></span> Returns a right map view
742 iterator equivalent to <code class="computeroutput"><span class="identifier">it</span></code>.
743 </li>
744<li class="listitem">
745 <span class="bold"><strong>Complexity:</strong></span> Constant.
746 </li>
747<li class="listitem">
748 <span class="bold"><strong>Exception safety:</strong></span> nothrow.
749 </li>
750</ul></div>
751<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
752<span class="identifier">iterator</span> <span class="identifier">project_up</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
753
754<span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
755<span class="identifier">const_iterator</span> <span class="identifier">project_up</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
756</pre>
757<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
758<li class="listitem">
759 <span class="bold"><strong>Requires:</strong></span> <code class="computeroutput"><span class="identifier">IteratorType</span></code>
760 is a bimap view iterator. it is a valid iterator of some view of
761 <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
762 (i.e. does not refer to some other <code class="computeroutput"><span class="identifier">bimap</span></code>.)
763 </li>
764<li class="listitem">
765 <span class="bold"><strong>Effects:</strong></span> Returns a collection of
766 relations view iterator equivalent to <code class="computeroutput"><span class="identifier">it</span></code>.
767 </li>
768<li class="listitem">
769 <span class="bold"><strong>Complexity:</strong></span> Constant.
770 </li>
771<li class="listitem">
772 <span class="bold"><strong>Exception safety:</strong></span> nothrow.
773 </li>
774</ul></div>
775</div>
776<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_support_for_user_defined_names">
777<div class="titlepage"><div><div><h5 class="title">
778<a name="boost_bimap.reference.bimap_reference.class_template_bimap.support_for_user_defined_names"></a><a name="reference_support_for_used_defined_names"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.support_for_user_defined_names" title="Support for user defined names">Support
779 for user defined names</a>
780</h5></div></div></div>
781<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
782<span class="keyword">struct</span> <span class="identifier">map_by</span><span class="special">;</span>
783</pre>
784<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
785<li class="listitem">
786 <code class="computeroutput"><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span></code> yields the type of the map
787 view tagged with <code class="computeroutput"><span class="identifier">Tag</span></code>.
788 <code class="computeroutput"><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span></code><span class="emphasis"><em>-type
789 name-</em></span> is the same as <code class="computeroutput"><span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span><span class="special">::</span></code><span class="emphasis"><em>-type name-</em></span>.
790 </li>
791<li class="listitem">
792 <span class="bold"><strong>Requires: </strong></span> <code class="computeroutput"><span class="identifier">Tag</span></code>
793 is a valid user defined name of the bimap.
794 </li>
795</ul></div>
796<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
797<span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="identifier">by</span><span class="special">();</span>
798
799<span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span> <span class="special">&gt;</span>
800<span class="keyword">const</span> <span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="special">&amp;</span> <span class="identifier">by</span><span class="special">()</span> <span class="keyword">const</span><span class="special">;</span>
801</pre>
802<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
803<li class="listitem">
804 <span class="bold"><strong>Requires: </strong></span> <code class="computeroutput"><span class="identifier">Tag</span></code>
805 is a valid user defined name of the bimap.
806 </li>
807<li class="listitem">
808 <span class="bold"><strong>Effects:</strong></span> Returns a reference to
809 the map view tagged with <code class="computeroutput"><span class="identifier">Tag</span></code>
810 held by <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>.
811 </li>
812<li class="listitem">
813 <span class="bold"><strong>Complexity:</strong></span> Constant.
814 </li>
815<li class="listitem">
816 <span class="bold"><strong>Exception safety:</strong></span> nothrow.
817 </li>
818</ul></div>
819<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
820<span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">iterator</span> <span class="identifier">project</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">);</span>
821
822<span class="keyword">template</span><span class="special">&lt;</span> <span class="keyword">class</span> <span class="identifier">Tag</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">IteratorType</span> <span class="special">&gt;</span>
823<span class="identifier">map_by</span><span class="special">&lt;</span><span class="identifier">Tag</span><span class="special">&gt;::</span><span class="identifier">const_iterator</span> <span class="identifier">project</span><span class="special">(</span><span class="identifier">IteratorType</span> <span class="identifier">iter</span><span class="special">)</span> <span class="keyword">const</span>
824</pre>
825<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
826<li class="listitem">
827 <span class="bold"><strong>Requires: </strong></span> <code class="computeroutput"><span class="identifier">Tag</span></code>
828 is a valid user defined name of the bimap. <code class="computeroutput"><span class="identifier">IteratorType</span></code>
829 is a bimap view iterator. it is a valid iterator of some view of
830 <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>
831 (i.e. does not refer to some other <code class="computeroutput"><span class="identifier">bimap</span></code>.)
832 </li>
833<li class="listitem">
834 <span class="bold"><strong>Effects:</strong></span> Returns a reference to
835 the map view tagged with <code class="computeroutput"><span class="identifier">Tag</span></code>
836 held by <code class="computeroutput"><span class="special">*</span><span class="keyword">this</span></code>.
837 </li>
838<li class="listitem">
839 <span class="bold"><strong>Complexity:</strong></span> Constant.
840 </li>
841<li class="listitem">
842 <span class="bold"><strong>Exception safety:</strong></span> nothrow.
843 </li>
844</ul></div>
845</div>
846<div class="section boost_bimap_reference_bimap_reference_class_template_bimap_serialization">
847<div class="titlepage"><div><div><h5 class="title">
848<a name="boost_bimap.reference.bimap_reference.class_template_bimap.serialization"></a><a class="link" href="bimap_reference.html#boost_bimap.reference.bimap_reference.class_template_bimap.serialization" title="Serialization">Serialization</a>
849</h5></div></div></div>
850<p>
851 A <code class="computeroutput"><span class="identifier">bimap</span></code> can be archived
852 and retrieved by means of <a href="http://www.boost.org/libs/serialization/doc/index.html" target="_top"><span class="bold"><strong>Boost.Serialization</strong></span></a>. Boost.Bimap does
853 not expose a public serialisation interface, as this is provided by Boost.Serialization
854 itself. Both regular and XML archives are supported.
855 </p>
856<p>
857 Each of the set specifications comprising a given <code class="computeroutput"><span class="identifier">bimap</span></code>
858 contributes its own preconditions as well as guarantees on the retrieved
859 containers. In describing these, the following concepts are used. A type
860 <code class="computeroutput"><span class="identifier">T</span></code> is <span class="emphasis"><em>serializable</em></span>
861 (resp. XML-serializable) if any object of type <code class="computeroutput"><span class="identifier">T</span></code>
862 can be saved to an output archive (XML archive) and later retrieved from
863 an input archive (XML archive) associated to the same storage. If <code class="computeroutput"><span class="identifier">x</span></code>' of type <code class="computeroutput"><span class="identifier">T</span></code>
864 is loaded from the serialization information saved from another object
865 x, we say that x' is a <span class="emphasis"><em>restored copy</em></span> of x. Given
866 a <a href="http://www.sgi.com/tech/stl/BinaryPredicate.html" target="_top">Binary
867 Predicate</a> <code class="computeroutput"><span class="identifier">Pred</span></code>
868 over <code class="computeroutput"><span class="special">(</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">T</span><span class="special">)</span></code>, and objects <code class="computeroutput"><span class="identifier">p</span></code>
869 and <code class="computeroutput"><span class="identifier">q</span></code> of type <code class="computeroutput"><span class="identifier">Pred</span></code>, we say that <code class="computeroutput"><span class="identifier">q</span></code>
870 is <span class="emphasis"><em>serialization-compatible</em></span> with <code class="computeroutput"><span class="identifier">p</span></code>
871 if
872 </p>
873<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">
874 <code class="computeroutput"><span class="identifier">p</span><span class="special">(</span><span class="identifier">x</span><span class="special">,</span><span class="identifier">y</span><span class="special">)</span> <span class="special">==</span> <span class="identifier">q</span><span class="special">(</span><span class="identifier">x</span></code>'<code class="computeroutput"><span class="special">,</span><span class="identifier">y</span></code>'<code class="computeroutput"><span class="special">)</span></code>
875 </li></ul></div>
876<p>
877 for every <code class="computeroutput"><span class="identifier">x</span></code> and <code class="computeroutput"><span class="identifier">y</span></code> of type <code class="computeroutput"><span class="identifier">T</span></code>
878 and <code class="computeroutput"><span class="identifier">x</span></code>' and <code class="computeroutput"><span class="identifier">y</span></code>' being restored copies of <code class="computeroutput"><span class="identifier">x</span></code> and <code class="computeroutput"><span class="identifier">y</span></code>,
879 respectively.
880 </p>
881<div class="sidebar">
882<div class="titlepage"></div>
883<p>
884 <span class="bold"><strong>Operation:</strong></span> saving of a <code class="computeroutput"><span class="identifier">bimap</span> <span class="identifier">b</span></code>
885 to an output archive (XML archive) ar.
886 </p>
887</div>
888<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
889<li class="listitem">
890 <span class="bold"><strong>Requires:</strong></span> Value is serializable
891 (XML-serializable). Additionally, each of the views of b can impose
892 other requirements.
893 </li>
894<li class="listitem">
895 <span class="bold"><strong>Exception safety:</strong></span> Strong with respect
896 to <code class="computeroutput"><span class="identifier">b</span></code>. If an exception
897 is thrown, ar may be left in an inconsistent state.
898 </li>
899</ul></div>
900<div class="sidebar">
901<div class="titlepage"></div>
902<p>
903 <span class="bold"><strong>Operation:</strong></span> loading of a <code class="computeroutput"><span class="identifier">bimap</span></code> m' from an input archive (XML
904 archive) ar.
905 </p>
906</div>
907<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
908<li class="listitem">
909 <span class="bold"><strong>Requires:</strong></span> Value is serializable
910 (XML-serializable). Additionally, each of the views of <code class="computeroutput"><span class="identifier">b</span></code>' can impose other requirements.
911 </li>
912<li class="listitem">
913 <span class="bold"><strong>Exception safety:</strong></span> Basic. If an exception
914 is thrown, ar may be left in an inconsistent state.
915 </li>
916</ul></div>
917</div>
918</div>
919</div>
920<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
921<td align="left"></td>
922<td align="right"><div class="copyright-footer">Copyright &#169; 2006-2012 Matias Capeletto<p>
923 Distributed under the Boost Software License, Version 1.0. (See accompanying
924 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>)
925 </p>
926</div></td>
927</tr></table>
928<hr>
929<div class="spirit-nav">
930<a accesskey="p" href="../reference.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../reference.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="set_of_reference.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
931</div>
932</body>
933</html>