3 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
4 <title>Class template map</title>
5 <link rel="stylesheet" href="../../../../../../doc/src/boostbook.css" type="text/css">
6 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
7 <link rel="home" href="../../index.html" title="Chapter 1. Boost.Icl">
8 <link rel="up" href="../../header/boost/icl/map_hpp.html" title="Header <boost/icl/map.hpp>">
9 <link rel="prev" href="is_total_idm45066488608128.html" title="Struct template is_total<icl::map< DomainT, CodomainT, Traits, Compare, Combine, Section, Alloc >>">
10 <link rel="next" href="map/on_codomain_model.html" title="Struct template on_codomain_model">
12 <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
13 <table cellpadding="2" width="100%"><tr>
14 <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
15 <td align="center"><a href="../../../../../../index.html">Home</a></td>
16 <td align="center"><a href="../../../../../libraries.htm">Libraries</a></td>
17 <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
18 <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
19 <td align="center"><a href="../../../../../../more/index.htm">More</a></td>
22 <div class="spirit-nav">
23 <a accesskey="p" href="is_total_idm45066488608128.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../../header/boost/icl/map_hpp.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="map/on_codomain_model.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
25 <div class="refentry">
26 <a name="boost.icl.map"></a><div class="titlepage"></div>
27 <div class="refnamediv">
28 <h2><span class="refentrytitle">Class template map</span></h2>
29 <p>boost::icl::map — Addable, subractable and intersectable maps. </p>
31 <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv-title">Synopsis</h2>
32 <div xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv"><pre class="synopsis"><span class="comment">// In header: <<a class="link" href="../../header/boost/icl/map_hpp.html" title="Header <boost/icl/map.hpp>">boost/icl/map.hpp</a>>
34 </span><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> DomainT<span class="special">,</span> <span class="keyword">typename</span> CodomainT<span class="special">,</span>
35 <span class="keyword">typename</span> Traits <span class="special">=</span> <a class="link" href="partial_absorber.html" title="Struct partial_absorber">icl::partial_absorber</a><span class="special">,</span>
36 <span class="identifier">ICL_COMPARE</span> Compare <span class="special">=</span> <span class="identifier">ICL_COMPARE_INSTANCE</span><span class="special">(</span><span class="identifier">ICL_COMPARE_DEFAULT</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">,</span>
37 <span class="identifier">ICL_COMBINE</span> Combine <span class="special">=</span> <span class="identifier">ICL_COMBINE_INSTANCE</span><span class="special">(</span><a class="link" href="inplace_plus.html" title="Struct template inplace_plus">icl::inplace_plus</a><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span>
38 <span class="identifier">ICL_SECTION</span> Section <span class="special">=</span> <span class="identifier">ICL_SECTION_INSTANCE</span><span class="special">(</span><a class="link" href="inter_section.html" title="Struct template inter_section">icl::inter_section</a><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span>
39 <span class="identifier">ICL_ALLOC</span> Alloc <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">allocator</span><span class="special">></span>
40 <span class="keyword">class</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">:</span> <span class="keyword">private</span> ICL_IMPL_SPACE::map< DomainT, CodomainT, ICL_COMPARE_DOMAIN(Compare, DomainT), Alloc< std::pair< const DomainT, CodomainT > > >
41 <span class="special">{</span>
42 <span class="keyword">public</span><span class="special">:</span>
43 <span class="comment">// types</span>
44 <span class="keyword">typedef</span> <span class="identifier">Alloc</span><span class="special"><</span> <span class="keyword">typename</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special"><</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">></span> <span class="special">></span> <a name="boost.icl.map.allocator_type"></a><span class="identifier">allocator_type</span><span class="special">;</span>
45 <span class="keyword">typedef</span> <a class="link" href="map.html" title="Class template map">icl::map</a><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">></span> <a name="boost.icl.map.type"></a><span class="identifier">type</span><span class="special">;</span>
46 <span class="keyword">typedef</span> <span class="identifier">ICL_IMPL_SPACE</span><span class="special">::</span><span class="identifier">map</span><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">ICL_COMPARE_DOMAIN</span><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">,</span> <span class="identifier">allocator_type</span> <span class="special">></span> <a name="boost.icl.map.base_type"></a><span class="identifier">base_type</span><span class="special">;</span>
47 <span class="keyword">typedef</span> <span class="identifier">Traits</span> <a name="boost.icl.map.traits"></a><span class="identifier">traits</span><span class="special">;</span>
48 <span class="keyword">typedef</span> <span class="identifier">DomainT</span> <a name="boost.icl.map.domain_type"></a><span class="identifier">domain_type</span><span class="special">;</span>
49 <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">call_traits</span><span class="special"><</span> <span class="identifier">DomainT</span> <span class="special">></span><span class="special">::</span><span class="identifier">param_type</span> <a name="boost.icl.map.domain_param"></a><span class="identifier">domain_param</span><span class="special">;</span>
50 <span class="keyword">typedef</span> <span class="identifier">DomainT</span> <a name="boost.icl.map.key_type"></a><span class="identifier">key_type</span><span class="special">;</span>
51 <span class="keyword">typedef</span> <span class="identifier">CodomainT</span> <a name="boost.icl.map.codomain_type"></a><span class="identifier">codomain_type</span><span class="special">;</span>
52 <span class="keyword">typedef</span> <span class="identifier">CodomainT</span> <a name="boost.icl.map.mapped_type"></a><span class="identifier">mapped_type</span><span class="special">;</span>
53 <span class="keyword">typedef</span> <span class="identifier">CodomainT</span> <a name="boost.icl.map.data_type"></a><span class="identifier">data_type</span><span class="special">;</span>
54 <span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special"><</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">></span> <a name="boost.icl.map.element_type"></a><span class="identifier">element_type</span><span class="special">;</span>
55 <span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special"><</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">></span> <a name="boost.icl.map.value_type"></a><span class="identifier">value_type</span><span class="special">;</span>
56 <span class="keyword">typedef</span> <span class="identifier">domain_compare</span> <a name="boost.icl.map.key_compare"></a><span class="identifier">key_compare</span><span class="special">;</span>
57 <span class="keyword">typedef</span> <a class="link" href="inverse.html" title="Struct template inverse">inverse</a><span class="special"><</span> <span class="identifier">codomain_combine</span> <span class="special">></span><span class="special">::</span><a class="link" href="map.html#boost.icl.map.type">type</a> <a name="boost.icl.map.inverse_codomain_combine"></a><span class="identifier">inverse_codomain_combine</span><span class="special">;</span>
58 <span class="keyword">typedef</span> <span class="identifier">mpl</span><span class="special">::</span><span class="identifier">if_</span><span class="special"><</span> <span class="identifier">has_set_semantics</span><span class="special"><</span> <span class="identifier">codomain_type</span> <span class="special">></span><span class="special">,</span> <span class="identifier">ICL_SECTION_CODOMAIN</span><span class="special">(</span><span class="identifier">Section</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span> <span class="identifier">codomain_combine</span> <span class="special">></span><span class="special">::</span><a class="link" href="map.html#boost.icl.map.type">type</a> <a name="boost.icl.map.codomain_intersect"></a><span class="identifier">codomain_intersect</span><span class="special">;</span>
59 <span class="keyword">typedef</span> <a class="link" href="inverse.html" title="Struct template inverse">inverse</a><span class="special"><</span> <span class="identifier">codomain_intersect</span> <span class="special">></span><span class="special">::</span><a class="link" href="map.html#boost.icl.map.type">type</a> <a name="boost.icl.map.inverse_codomain_intersect"></a><span class="identifier">inverse_codomain_intersect</span><span class="special">;</span>
60 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">value_compare</span> <a name="boost.icl.map.value_compare"></a><span class="identifier">value_compare</span><span class="special">;</span>
61 <span class="keyword">typedef</span> <span class="identifier">ICL_IMPL_SPACE</span><span class="special">::</span><span class="identifier">set</span><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">domain_compare</span><span class="special">,</span> <span class="identifier">Alloc</span><span class="special"><</span> <span class="identifier">DomainT</span> <span class="special">></span> <span class="special">></span> <a name="boost.icl.map.set_type"></a><span class="identifier">set_type</span><span class="special">;</span>
62 <span class="keyword">typedef</span> <span class="identifier">set_type</span> <a name="boost.icl.map.key_object_type"></a><span class="identifier">key_object_type</span><span class="special">;</span>
63 <span class="keyword">typedef</span> <span class="identifier">on_absorbtion</span><span class="special"><</span> <a class="link" href="map.html#boost.icl.map.type">type</a><span class="special">,</span> <span class="identifier">codomain_combine</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">::</span><span class="identifier">absorbs_identities</span> <span class="special">></span> <a name="boost.icl.map.on_identity_absorbtion"></a><span class="identifier">on_identity_absorbtion</span><span class="special">;</span>
64 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">pointer</span> <a name="boost.icl.map.pointer"></a><span class="identifier">pointer</span><span class="special">;</span>
65 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_pointer</span> <a name="boost.icl.map.const_pointer"></a><span class="identifier">const_pointer</span><span class="special">;</span>
66 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">reference</span> <a name="boost.icl.map.reference"></a><span class="identifier">reference</span><span class="special">;</span>
67 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_reference</span> <a name="boost.icl.map.const_reference"></a><span class="identifier">const_reference</span><span class="special">;</span>
68 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">iterator</span> <a name="boost.icl.map.iterator"></a><span class="identifier">iterator</span><span class="special">;</span>
69 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_iterator</span> <a name="boost.icl.map.const_iterator"></a><span class="identifier">const_iterator</span><span class="special">;</span>
70 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">size_type</span> <a name="boost.icl.map.size_type"></a><span class="identifier">size_type</span><span class="special">;</span>
71 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">difference_type</span> <a name="boost.icl.map.difference_type"></a><span class="identifier">difference_type</span><span class="special">;</span>
72 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">reverse_iterator</span> <a name="boost.icl.map.reverse_iterator"></a><span class="identifier">reverse_iterator</span><span class="special">;</span>
73 <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_reverse_iterator</span> <a name="boost.icl.map.const_reverse_iterator"></a><span class="identifier">const_reverse_iterator</span><span class="special">;</span>
75 <span class="comment">// member classes/structs/unions</span>
76 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">,</span> <span class="keyword">bool</span> has_set_semantics<span class="special">,</span> <span class="keyword">bool</span> absorbs_identities<span class="special">></span>
77 <span class="keyword">struct</span> <a class="link" href="map/on_codomain_model.html" title="Struct template on_codomain_model">on_codomain_model</a> <span class="special">{</span>
78 <span class="special">}</span><span class="special">;</span>
79 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
80 <span class="keyword">struct</span> <a class="link" href="map/on_codom_idm45066488583248.html" title="Struct template on_codomain_model<Type, false, false>">on_codomain_model</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">false</span><span class="special">></span> <span class="special">{</span>
82 <span class="comment">// <a class="link" href="map/on_codom_idm45066488583248.html#idm45066488581008-bb">public static functions</a></span>
83 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codom_idm45066488583248.html#idm45066488580448-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span>
84 <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
85 <span class="special">}</span><span class="special">;</span>
86 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
87 <span class="keyword">struct</span> <a class="link" href="map/on_codom_idm45066488577088.html" title="Struct template on_codomain_model<Type, false, true>">on_codomain_model</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">true</span><span class="special">></span> <span class="special">{</span>
89 <span class="comment">// <a class="link" href="map/on_codom_idm45066488577088.html#idm45066488574848-bb">public static functions</a></span>
90 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codom_idm45066488577088.html#idm45066488574288-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span>
91 <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
92 <span class="special">}</span><span class="special">;</span>
93 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
94 <span class="keyword">struct</span> <a class="link" href="map/on_codom_idm45066488570928.html" title="Struct template on_codomain_model<Type, true, false>">on_codomain_model</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">false</span><span class="special">></span> <span class="special">{</span>
95 <span class="comment">// types</span>
96 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_codom_idm45066488570928.html#boost.icl.map.on_codom_idm45066488570928.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
98 <span class="comment">// <a class="link" href="map/on_codom_idm45066488570928.html#idm45066488567808-bb">public static functions</a></span>
99 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codom_idm45066488570928.html#idm45066488567248-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span>
100 <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
101 <span class="special">}</span><span class="special">;</span>
102 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
103 <span class="keyword">struct</span> <a class="link" href="map/on_codom_idm45066488563888.html" title="Struct template on_codomain_model<Type, true, true>">on_codomain_model</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">true</span><span class="special">></span> <span class="special">{</span>
104 <span class="comment">// types</span>
105 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_codom_idm45066488563888.html#boost.icl.map.on_codom_idm45066488563888.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
107 <span class="comment">// <a class="link" href="map/on_codom_idm45066488563888.html#idm45066488560768-bb">public static functions</a></span>
108 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codom_idm45066488563888.html#idm45066488560208-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span>
109 <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
110 <span class="special">}</span><span class="special">;</span>
111 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">,</span> <span class="keyword">bool</span> is_total<span class="special">></span>
112 <span class="keyword">struct</span> <a class="link" href="map/on_definedness.html" title="Struct template on_definedness">on_definedness</a> <span class="special">{</span>
113 <span class="special">}</span><span class="special">;</span>
114 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
115 <span class="keyword">struct</span> <a class="link" href="map/on_defin_idm45066488554752.html" title="Struct template on_definedness<Type, false>">on_definedness</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">></span> <span class="special">{</span>
117 <span class="comment">// <a class="link" href="map/on_defin_idm45066488554752.html#idm45066488552800-bb">public static functions</a></span>
118 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_defin_idm45066488554752.html#idm45066488552240-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
119 <span class="special">}</span><span class="special">;</span>
120 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
121 <span class="keyword">struct</span> <a class="link" href="map/on_defin_idm45066488548896.html" title="Struct template on_definedness<Type, true>">on_definedness</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">></span> <span class="special">{</span>
123 <span class="comment">// <a class="link" href="map/on_defin_idm45066488548896.html#idm45066488546944-bb">public static functions</a></span>
124 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_defin_idm45066488548896.html#idm45066488546384-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
125 <span class="special">}</span><span class="special">;</span>
126 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">,</span> <span class="keyword">bool</span> is_total_invertible<span class="special">></span>
127 <span class="keyword">struct</span> <a class="link" href="map/on_invertible.html" title="Struct template on_invertible">on_invertible</a> <span class="special">{</span>
128 <span class="special">}</span><span class="special">;</span>
129 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
130 <span class="keyword">struct</span> <a class="link" href="map/on_inver_idm45066488540944.html" title="Struct template on_invertible<Type, false>">on_invertible</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">></span> <span class="special">{</span>
131 <span class="comment">// types</span>
132 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_inver_idm45066488540944.html#boost.icl.map.on_inver_idm45066488540944.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
133 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_combine</span> <a class="link" href="map/on_inver_idm45066488540944.html#boost.icl.map.on_inver_idm45066488540944.inverse_codomain_combine"><span class="identifier">inverse_codomain_combine</span></a><span class="special">;</span>
135 <span class="comment">// <a class="link" href="map/on_inver_idm45066488540944.html#idm45066488537264-bb">public static functions</a></span>
136 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_inver_idm45066488540944.html#idm45066488536704-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
137 <span class="special">}</span><span class="special">;</span>
138 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
139 <span class="keyword">struct</span> <a class="link" href="map/on_inver_idm45066488534048.html" title="Struct template on_invertible<Type, true>">on_invertible</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">></span> <span class="special">{</span>
140 <span class="comment">// types</span>
141 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_inver_idm45066488534048.html#boost.icl.map.on_inver_idm45066488534048.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
142 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_combine</span> <a class="link" href="map/on_inver_idm45066488534048.html#boost.icl.map.on_inver_idm45066488534048.inverse_codomain_combine"><span class="identifier">inverse_codomain_combine</span></a><span class="special">;</span>
144 <span class="comment">// <a class="link" href="map/on_inver_idm45066488534048.html#idm45066488530368-bb">public static functions</a></span>
145 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_inver_idm45066488534048.html#idm45066488529808-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
146 <span class="special">}</span><span class="special">;</span>
147 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">,</span> <span class="keyword">bool</span> is_total<span class="special">,</span> <span class="keyword">bool</span> absorbs_identities<span class="special">></span>
148 <span class="keyword">struct</span> <a class="link" href="map/on_total_absorbable.html" title="Struct template on_total_absorbable">on_total_absorbable</a> <span class="special">{</span>
149 <span class="special">}</span><span class="special">;</span>
150 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
151 <span class="keyword">struct</span> <a class="link" href="map/on_total_idm45066488524208.html" title="Struct template on_total_absorbable<Type, false, false>">on_total_absorbable</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">false</span><span class="special">></span> <span class="special">{</span>
152 <span class="comment">// types</span>
153 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_total_idm45066488524208.html#boost.icl.map.on_total_idm45066488524208.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
154 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <a class="link" href="map/on_total_idm45066488524208.html#boost.icl.map.on_total_idm45066488524208.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>
155 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span> <a class="link" href="map/on_total_idm45066488524208.html#boost.icl.map.on_total_idm45066488524208.iterator"><span class="identifier">iterator</span></a><span class="special">;</span>
156 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_total_idm45066488524208.html#boost.icl.map.on_total_idm45066488524208.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
158 <span class="comment">// <a class="link" href="map/on_total_idm45066488524208.html#idm45066488518544-bb">public static functions</a></span>
159 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_idm45066488524208.html#idm45066488517984-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
160 <span class="special">}</span><span class="special">;</span>
161 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
162 <span class="keyword">struct</span> <a class="link" href="map/on_total_idm45066488515328.html" title="Struct template on_total_absorbable<Type, false, true>">on_total_absorbable</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">true</span><span class="special">></span> <span class="special">{</span>
163 <span class="comment">// types</span>
164 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_total_idm45066488515328.html#boost.icl.map.on_total_idm45066488515328.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
165 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <a class="link" href="map/on_total_idm45066488515328.html#boost.icl.map.on_total_idm45066488515328.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>
166 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span> <a class="link" href="map/on_total_idm45066488515328.html#boost.icl.map.on_total_idm45066488515328.iterator"><span class="identifier">iterator</span></a><span class="special">;</span>
167 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_total_idm45066488515328.html#boost.icl.map.on_total_idm45066488515328.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
169 <span class="comment">// <a class="link" href="map/on_total_idm45066488515328.html#idm45066488509664-bb">public static functions</a></span>
170 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_idm45066488515328.html#idm45066488509104-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
171 <span class="special">}</span><span class="special">;</span>
172 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
173 <span class="keyword">struct</span> <a class="link" href="map/on_total_idm45066488506448.html" title="Struct template on_total_absorbable<Type, true, false>">on_total_absorbable</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">false</span><span class="special">></span> <span class="special">{</span>
174 <span class="comment">// types</span>
175 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_total_idm45066488506448.html#boost.icl.map.on_total_idm45066488506448.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
176 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <a class="link" href="map/on_total_idm45066488506448.html#boost.icl.map.on_total_idm45066488506448.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>
178 <span class="comment">// <a class="link" href="map/on_total_idm45066488506448.html#idm45066488502512-bb">public static functions</a></span>
179 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_idm45066488506448.html#idm45066488501952-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
180 <span class="special">}</span><span class="special">;</span>
181 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Type<span class="special">></span>
182 <span class="keyword">struct</span> <a class="link" href="map/on_total_idm45066488499296.html" title="Struct template on_total_absorbable<Type, true, true>">on_total_absorbable</a><span class="special"><</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">true</span><span class="special">></span> <span class="special">{</span>
183 <span class="comment">// types</span>
184 <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_total_idm45066488499296.html#boost.icl.map.on_total_idm45066488499296.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
186 <span class="comment">// <a class="link" href="map/on_total_idm45066488499296.html#idm45066488496208-bb">public static functions</a></span>
187 <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_idm45066488499296.html#idm45066488495648-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
188 <span class="special">}</span><span class="special">;</span>
190 <span class="comment">// <a class="link" href="map.html#boost.icl.mapconstruct-copy-destruct">construct/copy/destruct</a></span>
191 <a class="link" href="map.html#idm45066488395072-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="special">)</span><span class="special">;</span>
192 <a class="link" href="map.html#idm45066488394784-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
193 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> InputIterator<span class="special">></span> <a class="link" href="map.html#idm45066488393808-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="identifier">InputIterator</span><span class="special">,</span> <span class="identifier">InputIterator</span><span class="special">)</span><span class="special">;</span>
194 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> InputIterator<span class="special">></span>
195 <a class="link" href="map.html#idm45066488391296-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="identifier">InputIterator</span><span class="special">,</span> <span class="identifier">InputIterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
196 <a class="link" href="map.html#idm45066488388096-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
197 <span class="keyword">explicit</span> <a class="link" href="map.html#idm45066488386672-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
198 <a class="link" href="map.html#idm45066488385424-bb"><span class="identifier">map</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&&</span><span class="special">)</span><span class="special">;</span>
199 <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488384160-bb"><span class="keyword">operator</span><span class="special">=</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a><span class="special">)</span><span class="special">;</span>
201 <span class="comment">// <a class="link" href="map.html#idm45066488464800-bb">public member functions</a></span>
202 <span class="keyword">typedef</span> <a class="link" href="map.html#idm45066488464240-bb"><span class="identifier">ICL_COMPARE_DOMAIN</span></a><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">;</span>
203 <span class="keyword">typedef</span> <a class="link" href="map.html#idm45066488462016-bb"><span class="identifier">ICL_COMBINE_CODOMAIN</span></a><span class="special">(</span><span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">;</span>
204 <span class="keyword">typedef</span> <a class="link" href="map.html#idm45066488459792-bb"><span class="identifier">ICL_COMPARE_DOMAIN</span></a><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">element_type</span><span class="special">)</span><span class="special">;</span>
205 <a class="link" href="map.html#idm45066488457568-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_total</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
206 <a class="link" href="map.html#idm45066488455216-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_absorbs</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">absorbs_identities</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
207 <a class="link" href="map.html#idm45066488452848-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span>
208 <span class="identifier">total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">and_</span><span class="special"><</span> <span class="identifier">is_total</span><span class="special"><</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">></span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special"><</span> <span class="identifier">codomain_type</span> <span class="special">></span> <span class="special">></span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
209 <a class="link" href="map.html#idm45066488449744-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span>
210 <span class="identifier">is_total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span> <span class="special">&&</span><span class="identifier">has_inverse</span><span class="special"><</span> <span class="identifier">codomain_type</span> <span class="special">></span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
211 <a class="link" href="map.html#idm45066488447344-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">int</span><span class="special">,</span> <span class="identifier">fineness</span> <span class="special">=</span> <span class="number">4</span><span class="special">)</span><span class="special">;</span>
212 <span class="keyword">void</span> <a class="link" href="map.html#idm45066488444992-bb"><span class="identifier">swap</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
213 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> SubObject<span class="special">></span> <span class="keyword">bool</span> <a class="link" href="map.html#idm45066488443168-bb"><span class="identifier">contains</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">SubObject</span> <span class="special">&</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
214 <span class="keyword">bool</span> <a class="link" href="map.html#idm45066488440512-bb"><span class="identifier">within</span></a><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
215 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <a class="link" href="map.html#idm45066488438256-bb"><span class="identifier">iterative_size</span></a><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
216 <span class="identifier">codomain_type</span> <a class="link" href="map.html#idm45066488435456-bb"><span class="keyword">operator</span><span class="special">(</span><span class="special">)</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
217 <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488433232-bb"><span class="identifier">add</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
218 <span class="identifier">iterator</span> <a class="link" href="map.html#idm45066488429680-bb"><span class="identifier">add</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
219 <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488424960-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
220 <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488422192-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
221 <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special"><</span> <span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">bool</span> <span class="special">></span> <a class="link" href="map.html#idm45066488420368-bb"><span class="identifier">insert</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
222 <span class="identifier">iterator</span> <a class="link" href="map.html#idm45066488418816-bb"><span class="identifier">insert</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
223 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Iterator<span class="special">></span> <span class="identifier">iterator</span> <a class="link" href="map.html#idm45066488416592-bb"><span class="identifier">insert</span></a><span class="special">(</span><span class="identifier">Iterator</span><span class="special">,</span> <span class="identifier">Iterator</span><span class="special">)</span><span class="special">;</span>
224 <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488413520-bb"><span class="identifier">set</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
225 <span class="identifier">size_type</span> <a class="link" href="map.html#idm45066488409936-bb"><span class="identifier">erase</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
226 <span class="keyword">void</span> <a class="link" href="map.html#idm45066488407040-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
227 <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488402496-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
228 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span>
229 <a class="link" href="map.html" title="Class template map">map</a><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">></span> <span class="special">&</span>
230 <a class="link" href="map.html#idm45066488400672-bb"><span class="identifier">_add</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
231 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span>
232 <a class="link" href="map.html" title="Class template map">map</a><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">></span> <span class="special">&</span>
233 <a class="link" href="map.html#idm45066488397952-bb"><span class="identifier">_subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
235 <span class="comment">// <a class="link" href="map.html#idm45066488382480-bb">private member functions</a></span>
236 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488381904-bb"><span class="identifier">_add</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
237 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span> <span class="identifier">iterator</span> <a class="link" href="map.html#idm45066488379232-bb"><span class="identifier">_add</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
238 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a class="link" href="map.html#idm45066488376160-bb"><span class="identifier">_subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span><span class="special">;</span>
239 <span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> FragmentT<span class="special">></span>
240 <span class="keyword">void</span> <a class="link" href="map.html#idm45066488373488-bb"><span class="identifier">total_add_intersection</span></a><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">FragmentT</span> <span class="special">&</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
241 <span class="keyword">void</span> <a class="link" href="map.html#idm45066488369856-bb"><span class="identifier">partial_add_intersection</span></a><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
242 <span class="special">}</span><span class="special">;</span></pre></div>
243 <div class="refsect1">
244 <a name="idm46241554742128"></a><h2>Description</h2>
245 <div class="refsect2">
246 <a name="idm46241554741712"></a><h3>
247 <a name="boost.icl.mapconstruct-copy-destruct"></a><code class="computeroutput">map</code>
249 construct/copy/destruct</h3>
250 <div class="orderedlist"><ol class="orderedlist" type="1">
251 <li class="listitem"><pre class="literallayout"><a name="idm45066488395072-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="special">)</span><span class="special">;</span></pre></li>
252 <li class="listitem"><pre class="literallayout"><a name="idm45066488394784-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&</span> comp<span class="special">)</span><span class="special">;</span></pre></li>
253 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> InputIterator<span class="special">></span> <a name="idm45066488393808-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="identifier">InputIterator</span> first<span class="special">,</span> <span class="identifier">InputIterator</span> past<span class="special">)</span><span class="special">;</span></pre></li>
254 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> InputIterator<span class="special">></span>
255 <a name="idm45066488391296-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="identifier">InputIterator</span> first<span class="special">,</span> <span class="identifier">InputIterator</span> past<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&</span> comp<span class="special">)</span><span class="special">;</span></pre></li>
256 <li class="listitem"><pre class="literallayout"><a name="idm45066488388096-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> src<span class="special">)</span><span class="special">;</span></pre></li>
257 <li class="listitem"><pre class="literallayout"><span class="keyword">explicit</span> <a name="idm45066488386672-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre></li>
258 <li class="listitem"><pre class="literallayout"><a name="idm45066488385424-bb"></a><span class="identifier">map</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&&</span> src<span class="special">)</span><span class="special">;</span></pre></li>
259 <li class="listitem"><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488384160-bb"></a><span class="keyword">operator</span><span class="special">=</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> src<span class="special">)</span><span class="special">;</span></pre></li>
262 <div class="refsect2">
263 <a name="idm46241554687632"></a><h3>
264 <a name="idm45066488464800-bb"></a><code class="computeroutput">map</code> public member functions</h3>
265 <div class="orderedlist"><ol class="orderedlist" type="1">
266 <li class="listitem"><pre class="literallayout"><span class="keyword">typedef</span> <a name="idm45066488464240-bb"></a><span class="identifier">ICL_COMPARE_DOMAIN</span><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">;</span></pre></li>
267 <li class="listitem"><pre class="literallayout"><span class="keyword">typedef</span> <a name="idm45066488462016-bb"></a><span class="identifier">ICL_COMBINE_CODOMAIN</span><span class="special">(</span><span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">;</span></pre></li>
268 <li class="listitem"><pre class="literallayout"><span class="keyword">typedef</span> <a name="idm45066488459792-bb"></a><span class="identifier">ICL_COMPARE_DOMAIN</span><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">element_type</span><span class="special">)</span><span class="special">;</span></pre></li>
269 <li class="listitem"><pre class="literallayout"> <a name="idm45066488457568-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_total</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
270 <li class="listitem"><pre class="literallayout"> <a name="idm45066488455216-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_absorbs</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">absorbs_identities</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
271 <li class="listitem"><pre class="literallayout"> <a name="idm45066488452848-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span>
272 <span class="identifier">total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">and_</span><span class="special"><</span> <span class="identifier">is_total</span><span class="special"><</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">></span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special"><</span> <span class="identifier">codomain_type</span> <span class="special">></span> <span class="special">></span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
273 <li class="listitem"><pre class="literallayout"> <a name="idm45066488449744-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span>
274 <span class="identifier">is_total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span> <span class="special">&&</span><span class="identifier">has_inverse</span><span class="special"><</span> <span class="identifier">codomain_type</span> <span class="special">></span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
275 <li class="listitem"><pre class="literallayout"> <a name="idm45066488447344-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">int</span><span class="special">,</span> <span class="identifier">fineness</span> <span class="special">=</span> <span class="number">4</span><span class="special">)</span><span class="special">;</span></pre></li>
276 <li class="listitem"><pre class="literallayout"><span class="keyword">void</span> <a name="idm45066488444992-bb"></a><span class="identifier">swap</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> src<span class="special">)</span><span class="special">;</span></pre></li>
277 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> SubObject<span class="special">></span> <span class="keyword">bool</span> <a name="idm45066488443168-bb"></a><span class="identifier">contains</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">SubObject</span> <span class="special">&</span> sub<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
278 <li class="listitem"><pre class="literallayout"><span class="keyword">bool</span> <a name="idm45066488440512-bb"></a><span class="identifier">within</span><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> super<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
279 <li class="listitem">
280 <pre class="literallayout"><span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <a name="idm45066488438256-bb"></a><span class="identifier">iterative_size</span><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
281 <p><code class="computeroutput">iterative_size()</code> yields the number of elements that is visited throu complete iteration. For interval sets <code class="computeroutput">iterative_size()</code> is different from <code class="computeroutput">size()</code>. </p>
283 <li class="listitem">
284 <pre class="literallayout"><span class="identifier">codomain_type</span> <a name="idm45066488435456-bb"></a><span class="keyword">operator</span><span class="special">(</span><span class="special">)</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&</span> key<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
285 <p>Total select function. </p>
287 <li class="listitem">
288 <pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488433232-bb"></a><span class="identifier">add</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
289 <p><code class="computeroutput">add</code> inserts <code class="computeroutput">value_pair</code> into the map if it's key does not exist in the map. If <code class="computeroutput">value_pairs's</code> key value exists in the map, it's data value is added to the data value already found in the map. </p>
291 <li class="listitem">
292 <pre class="literallayout"><span class="identifier">iterator</span> <a name="idm45066488429680-bb"></a><span class="identifier">add</span><span class="special">(</span><span class="identifier">iterator</span> prior<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
293 <p><code class="computeroutput">add</code> add <code class="computeroutput">value_pair</code> into the map using <code class="computeroutput">prior</code> as a hint to insert <code class="computeroutput">value_pair</code> after the position <code class="computeroutput">prior</code> is pointing to. </p>
295 <li class="listitem">
296 <pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488424960-bb"></a><span class="identifier">subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
297 <p>If the <code class="computeroutput">value_pair's</code> key value is in the map, it's data value is subtraced from the data value stored in the map. </p>
299 <li class="listitem"><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488422192-bb"></a><span class="identifier">subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&</span> key<span class="special">)</span><span class="special">;</span></pre></li>
300 <li class="listitem"><pre class="literallayout"><span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special"><</span> <span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">bool</span> <span class="special">></span> <a name="idm45066488420368-bb"></a><span class="identifier">insert</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
301 <li class="listitem"><pre class="literallayout"><span class="identifier">iterator</span> <a name="idm45066488418816-bb"></a><span class="identifier">insert</span><span class="special">(</span><span class="identifier">iterator</span> prior<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
302 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Iterator<span class="special">></span> <span class="identifier">iterator</span> <a name="idm45066488416592-bb"></a><span class="identifier">insert</span><span class="special">(</span><span class="identifier">Iterator</span> first<span class="special">,</span> <span class="identifier">Iterator</span> last<span class="special">)</span><span class="special">;</span></pre></li>
303 <li class="listitem">
304 <pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488413520-bb"></a><span class="identifier">set</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre>
305 <p>With <code class="computeroutput">key_value_pair = (k,v)</code> set value <code class="computeroutput">v</code> for key <code class="computeroutput">k</code> </p>
307 <li class="listitem">
308 <pre class="literallayout"><span class="identifier">size_type</span> <a name="idm45066488409936-bb"></a><span class="identifier">erase</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre>
309 <p>erase <code class="computeroutput">key_value_pair</code> from the map. Erase only if, the exact value content <code class="computeroutput">val</code> is stored for the given key. </p>
311 <li class="listitem">
312 <pre class="literallayout"><span class="keyword">void</span> <a name="idm45066488407040-bb"></a><span class="identifier">add_intersection</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> key_value_pair<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
313 <p>The intersection of <code class="computeroutput">key_value_pair</code> and <code class="computeroutput">*this</code> map is added to <code class="computeroutput">section</code>. </p>
315 <li class="listitem"><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488402496-bb"></a><span class="identifier">flip</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> operand<span class="special">)</span><span class="special">;</span></pre></li>
316 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span>
317 <a class="link" href="map.html" title="Class template map">map</a><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">></span> <span class="special">&</span>
318 <a name="idm45066488400672-bb"></a><span class="identifier">_add</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> addend<span class="special">)</span><span class="special">;</span></pre></li>
319 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span>
320 <a class="link" href="map.html" title="Class template map">map</a><span class="special"><</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">></span> <span class="special">&</span>
321 <a name="idm45066488397952-bb"></a><span class="identifier">_subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&</span> minuend<span class="special">)</span><span class="special">;</span></pre></li>
324 <div class="refsect2">
325 <a name="idm46241554434752"></a><h3>
326 <a name="idm45066488382480-bb"></a><code class="computeroutput">map</code> private member functions</h3>
327 <div class="orderedlist"><ol class="orderedlist" type="1">
328 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488381904-bb"></a><span class="identifier">_add</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
329 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span>
330 <span class="identifier">iterator</span> <a name="idm45066488379232-bb"></a><span class="identifier">_add</span><span class="special">(</span><span class="identifier">iterator</span> prior<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
331 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> Combiner<span class="special">></span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&</span> <a name="idm45066488376160-bb"></a><span class="identifier">_subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
332 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special"><</span><span class="keyword">typename</span> FragmentT<span class="special">></span>
333 <span class="keyword">void</span> <a name="idm45066488373488-bb"></a><span class="identifier">total_add_intersection</span><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">FragmentT</span> <span class="special">&</span> fragment<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
334 <li class="listitem"><pre class="literallayout"><span class="keyword">void</span> <a name="idm45066488369856-bb"></a><span class="identifier">partial_add_intersection</span><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&</span> operand<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
339 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
340 <td align="left"></td>
341 <td align="right"><div class="copyright-footer">Copyright © 2007-2010 Joachim
342 Faulhaber<br>Copyright © 1999-2006 Cortex Software
344 Distributed under the Boost Software License, Version 1.0. (See accompanying
345 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>)
350 <div class="spirit-nav">
351 <a accesskey="p" href="is_total_idm45066488608128.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../../header/boost/icl/map_hpp.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="map/on_codomain_model.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>