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.74.0">
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=
"total_enricher.html" title=
"Struct total_enricher">
10 <link rel=
"next" href=
"map/on_codomain_model_id658058.html" title=
"Struct template on_codomain_model<Type, false, false>">
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=
"total_enricher.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_id658058.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>
25 <div class=
"refentry" lang=
"en">
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> <span class=
"identifier">icl
</span><span class=
"special">::
</span><span class=
"identifier">partial_absorber
</span><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><span class=
"identifier">icl
</span><span class=
"special">::
</span><span class=
"identifier">inplace_plus
</span><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><span class=
"identifier">icl
</span><span class=
"special">::
</span><span class=
"identifier">inter_section
</span><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>
41 <span class=
"keyword">public
</span><span class=
"special">:
</span>
42 <span class=
"comment">// types
</span>
43 <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>
44 <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>
45 <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>
46 <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>
47 <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>
48 <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>
49 <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>
50 <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>
51 <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>
52 <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>
53 <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>
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.value_type"></a><span class=
"identifier">value_type
</span><span class=
"special">;
</span>
55 <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>
56 <span class=
"keyword">typedef
</span> <span class=
"identifier">inverse
</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.inverse_codomain_combine"></a><span class=
"identifier">inverse_codomain_combine
</span><span class=
"special">;
</span>
57 <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>
58 <span class=
"keyword">typedef
</span> <span class=
"identifier">inverse
</span><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>
59 <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>
60 <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>
61 <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>
62 <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>
63 <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>
64 <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>
65 <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>
66 <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>
67 <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>
68 <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>
69 <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>
70 <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>
71 <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>
72 <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>
74 <span class=
"comment">// member classes/structs/unions
</span>
75 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
76 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_codomain_model_id658058.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>
78 <span class=
"comment">//
<a class=
"link" href=
"map/on_codomain_model_id658058.html#id658075-bb">public static functions
</a></span>
79 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_codomain_model_id658058.html#id658077-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>
80 <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>
81 <span class=
"special">}
</span><span class=
"special">;
</span>
82 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
83 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_codomain_model_id658098.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>
85 <span class=
"comment">//
<a class=
"link" href=
"map/on_codomain_model_id658098.html#id658114-bb">public static functions
</a></span>
86 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_codomain_model_id658098.html#id658117-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>
87 <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>
88 <span class=
"special">}
</span><span class=
"special">;
</span>
89 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
90 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_codomain_model_id658137.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>
91 <span class=
"comment">// types
</span>
92 <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_codomain_model_id658137.html#boost.icl.map.on_codomain_model_id658137.inverse_codomain_intersect"><span class=
"identifier">inverse_codomain_intersect
</span></a><span class=
"special">;
</span>
94 <span class=
"comment">//
<a class=
"link" href=
"map/on_codomain_model_id658137.html#id658159-bb">public static functions
</a></span>
95 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_codomain_model_id658137.html#id658161-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>
96 <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>
97 <span class=
"special">}
</span><span class=
"special">;
</span>
98 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
99 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_codomain_model_id658182.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>
100 <span class=
"comment">// types
</span>
101 <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_codomain_model_id658182.html#boost.icl.map.on_codomain_model_id658182.inverse_codomain_intersect"><span class=
"identifier">inverse_codomain_intersect
</span></a><span class=
"special">;
</span>
103 <span class=
"comment">//
<a class=
"link" href=
"map/on_codomain_model_id658182.html#id658203-bb">public static functions
</a></span>
104 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_codomain_model_id658182.html#id658206-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>
105 <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>
106 <span class=
"special">}
</span><span class=
"special">;
</span>
107 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
108 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_definedness_Ty_id658226.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>
110 <span class=
"comment">//
<a class=
"link" href=
"map/on_definedness_Ty_id658226.html#id658240-bb">public static functions
</a></span>
111 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_definedness_Ty_id658226.html#id658243-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>
112 <span class=
"special">}
</span><span class=
"special">;
</span>
113 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
114 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_definedness_Ty_id658263.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>
116 <span class=
"comment">//
<a class=
"link" href=
"map/on_definedness_Ty_id658263.html#id658278-bb">public static functions
</a></span>
117 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_definedness_Ty_id658263.html#id658280-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>
118 <span class=
"special">}
</span><span class=
"special">;
</span>
119 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
120 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_invertible_Typ_id658300.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>
121 <span class=
"comment">// types
</span>
122 <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_invertible_Typ_id658300.html#boost.icl.map.on_invertible_Typ_id658300.element_type"><span class=
"identifier">element_type
</span></a><span class=
"special">;
</span>
123 <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_invertible_Typ_id658300.html#boost.icl.map.on_invertible_Typ_id658300.inverse_codomain_combine"><span class=
"identifier">inverse_codomain_combine
</span></a><span class=
"special">;
</span>
125 <span class=
"comment">//
<a class=
"link" href=
"map/on_invertible_Typ_id658300.html#id658324-bb">public static functions
</a></span>
126 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_invertible_Typ_id658300.html#id658327-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>
127 <span class=
"special">}
</span><span class=
"special">;
</span>
128 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
129 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_invertible_Typ_id658342.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>
130 <span class=
"comment">// types
</span>
131 <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_invertible_Typ_id658342.html#boost.icl.map.on_invertible_Typ_id658342.element_type"><span class=
"identifier">element_type
</span></a><span class=
"special">;
</span>
132 <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_invertible_Typ_id658342.html#boost.icl.map.on_invertible_Typ_id658342.inverse_codomain_combine"><span class=
"identifier">inverse_codomain_combine
</span></a><span class=
"special">;
</span>
134 <span class=
"comment">//
<a class=
"link" href=
"map/on_invertible_Typ_id658342.html#id658366-bb">public static functions
</a></span>
135 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_invertible_Typ_id658342.html#id658369-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>
136 <span class=
"special">}
</span><span class=
"special">;
</span>
137 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
138 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_total_absorbab_id658384.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>
139 <span class=
"comment">// types
</span>
140 <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_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.element_type"><span class=
"identifier">element_type
</span></a><span class=
"special">;
</span>
141 <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_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.codomain_type"><span class=
"identifier">codomain_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">iterator
</span> <a class=
"link" href=
"map/on_total_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.iterator"><span class=
"identifier">iterator
</span></a><span class=
"special">;
</span>
143 <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_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.inverse_codomain_intersect"><span class=
"identifier">inverse_codomain_intersect
</span></a><span class=
"special">;
</span>
145 <span class=
"comment">//
<a class=
"link" href=
"map/on_total_absorbab_id658384.html#id658420-bb">public static functions
</a></span>
146 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_total_absorbab_id658384.html#id658423-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>
147 <span class=
"special">}
</span><span class=
"special">;
</span>
148 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
149 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_total_absorbab_id658438.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>
150 <span class=
"comment">// types
</span>
151 <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_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.element_type"><span class=
"identifier">element_type
</span></a><span class=
"special">;
</span>
152 <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_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.codomain_type"><span class=
"identifier">codomain_type
</span></a><span class=
"special">;
</span>
153 <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_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.iterator"><span class=
"identifier">iterator
</span></a><span class=
"special">;
</span>
154 <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_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.inverse_codomain_intersect"><span class=
"identifier">inverse_codomain_intersect
</span></a><span class=
"special">;
</span>
156 <span class=
"comment">//
<a class=
"link" href=
"map/on_total_absorbab_id658438.html#id658474-bb">public static functions
</a></span>
157 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_total_absorbab_id658438.html#id658477-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>
158 <span class=
"special">}
</span><span class=
"special">;
</span>
159 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
160 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_total_absorbab_id658492.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>
161 <span class=
"comment">// types
</span>
162 <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_absorbab_id658492.html#boost.icl.map.on_total_absorbab_id658492.element_type"><span class=
"identifier">element_type
</span></a><span class=
"special">;
</span>
163 <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_absorbab_id658492.html#boost.icl.map.on_total_absorbab_id658492.codomain_type"><span class=
"identifier">codomain_type
</span></a><span class=
"special">;
</span>
165 <span class=
"comment">//
<a class=
"link" href=
"map/on_total_absorbab_id658492.html#id658519-bb">public static functions
</a></span>
166 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_total_absorbab_id658492.html#id658521-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>
167 <span class=
"special">}
</span><span class=
"special">;
</span>
168 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Type
<span class=
"special">></span>
169 <span class=
"keyword">struct
</span> <a class=
"link" href=
"map/on_total_absorbab_id658537.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>
170 <span class=
"comment">// types
</span>
171 <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_absorbab_id658537.html#boost.icl.map.on_total_absorbab_id658537.element_type"><span class=
"identifier">element_type
</span></a><span class=
"special">;
</span>
173 <span class=
"comment">//
<a class=
"link" href=
"map/on_total_absorbab_id658537.html#id658558-bb">public static functions
</a></span>
174 <span class=
"keyword">static
</span> <span class=
"keyword">void
</span> <a class=
"link" href=
"map/on_total_absorbab_id658537.html#id658561-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>
175 <span class=
"special">}
</span><span class=
"special">;
</span>
177 <span class=
"comment">//
<a class=
"link" href=
"map.html#boost.icl.mapconstruct-copy-destruct">construct/copy/destruct
</a></span>
178 <a class=
"link" href=
"map.html#id659276-bb"><span class=
"identifier">map
</span></a><span class=
"special">(
</span><span class=
"special">)
</span><span class=
"special">;
</span>
179 <a class=
"link" href=
"map.html#id659277-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>
180 <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#id659283-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>
181 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> InputIterator
<span class=
"special">></span>
182 <a class=
"link" href=
"map.html#id659300-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>
183 <a class=
"link" href=
"map.html#id659322-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>
184 <span class=
"keyword">explicit
</span> <a class=
"link" href=
"map.html#id659331-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>
185 <a class=
"link" href=
"map.html#id659348-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>
186 map
& <a class=
"link" href=
"map.html#id659338-bb"><span class=
"keyword">operator
</span><span class=
"special">=
</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>
187 map
& <a class=
"link" href=
"map.html#id659356-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><span class=
"special">;
</span>
189 <span class=
"comment">//
<a class=
"link" href=
"map.html#id658734-bb">public member functions
</a></span>
190 <span class=
"keyword">typedef
</span> <a class=
"link" href=
"map.html#id658736-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>
191 <span class=
"keyword">typedef
</span> <a class=
"link" href=
"map.html#id658752-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>
192 <span class=
"keyword">typedef
</span> <a class=
"link" href=
"map.html#id658767-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>
193 <a class=
"link" href=
"map.html#id658783-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>
194 <a class=
"link" href=
"map.html#id658800-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>
195 <a class=
"link" href=
"map.html#id658816-bb"><span class=
"identifier">BOOST_STATIC_CONSTANT
</span></a><span class=
"special">(
</span><span class=
"keyword">bool
</span><span class=
"special">,
</span>
196 <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>
197 <a class=
"link" href=
"map.html#id658838-bb"><span class=
"identifier">BOOST_STATIC_CONSTANT
</span></a><span class=
"special">(
</span><span class=
"keyword">bool
</span><span class=
"special">,
</span>
198 <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>
199 <a class=
"link" href=
"map.html#id658856-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>
200 <span class=
"keyword">void
</span> <a class=
"link" href=
"map.html#id658873-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>
201 <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#id658886-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>
202 <span class=
"keyword">bool
</span> <a class=
"link" href=
"map.html#id658903-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>
203 <span class=
"identifier">std
</span><span class=
"special">::
</span><span class=
"identifier">size_t
</span> <a class=
"link" href=
"map.html#id658917-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>
204 <span class=
"identifier">codomain_type
</span> <a class=
"link" href=
"map.html#id658936-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>
205 <a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a class=
"link" href=
"map.html#id658951-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>
206 <span class=
"identifier">iterator
</span> <a class=
"link" href=
"map.html#id658996-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>
207 <a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a class=
"link" href=
"map.html#id659037-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>
208 <a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a class=
"link" href=
"map.html#id659067-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>
209 <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#id659080-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>
210 <span class=
"identifier">iterator
</span> <a class=
"link" href=
"map.html#id659091-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>
211 <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#id659107-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>
212 <a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a class=
"link" href=
"map.html#id659128-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>
213 <span class=
"identifier">size_type
</span> <a class=
"link" href=
"map.html#id659156-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>
214 <span class=
"keyword">void
</span> <a class=
"link" href=
"map.html#id659182-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>
215 <a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a class=
"link" href=
"map.html#id659220-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>
216 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Combiner
<span class=
"special">></span>
217 <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><span class=
"identifier">iterator
</span>
218 <a class=
"link" href=
"map.html#id659233-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 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Combiner
<span class=
"special">></span>
220 <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>
221 <a class=
"link" href=
"map.html#id659257-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>
223 <span class=
"comment">//
<a class=
"link" href=
"map.html#id659365-bb">private member functions
</a></span>
224 <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#id659367-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>
225 <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#id659386-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>
226 <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#id659408-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>
227 <span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> FragmentT
<span class=
"special">></span>
228 <span class=
"keyword">void
</span> <a class=
"link" href=
"map.html#id659427-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>
229 <span class=
"keyword">void
</span> <a class=
"link" href=
"map.html#id659451-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>
230 <span class=
"special">}
</span><span class=
"special">;
</span></pre></div>
231 <div class=
"refsect1" lang=
"en">
232 <a name=
"id1316264"></a><h2>Description
</h2>
233 <div class=
"refsect2" lang=
"en">
234 <a name=
"id1316268"></a><h3>
235 <a name=
"boost.icl.mapconstruct-copy-destruct"></a><code class=
"computeroutput">map
</code>
237 construct/copy/destruct
</h3>
238 <div class=
"orderedlist"><ol type=
"1">
239 <li><pre class=
"literallayout"><a name=
"id659276-bb"></a><span class=
"identifier">map
</span><span class=
"special">(
</span><span class=
"special">)
</span><span class=
"special">;
</span></pre></li>
240 <li><pre class=
"literallayout"><a name=
"id659277-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>
241 <li><pre class=
"literallayout"><span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> InputIterator
<span class=
"special">></span> <a name=
"id659283-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>
242 <li><pre class=
"literallayout"><span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> InputIterator
<span class=
"special">></span>
243 <a name=
"id659300-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>
244 <li><pre class=
"literallayout"><a name=
"id659322-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>
245 <li><pre class=
"literallayout"><span class=
"keyword">explicit
</span> <a name=
"id659331-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>
246 <li><pre class=
"literallayout"><a name=
"id659348-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>
247 <li><pre class=
"literallayout">map
& <a name=
"id659338-bb"></a><span class=
"keyword">operator
</span><span class=
"special">=
</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>
248 <li><pre class=
"literallayout">map
& <a name=
"id659356-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> <span class=
"special">&&</span> src
<span class=
"special">)
</span><span class=
"special">;
</span></pre></li>
251 <div class=
"refsect2" lang=
"en">
252 <a name=
"id1316659"></a><h3>
253 <a name=
"id658734-bb"></a><code class=
"computeroutput">map
</code> public member functions
</h3>
254 <div class=
"orderedlist"><ol type=
"1">
255 <li><pre class=
"literallayout"><span class=
"keyword">typedef
</span> <a name=
"id658736-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>
256 <li><pre class=
"literallayout"><span class=
"keyword">typedef
</span> <a name=
"id658752-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>
257 <li><pre class=
"literallayout"><span class=
"keyword">typedef
</span> <a name=
"id658767-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>
258 <li><pre class=
"literallayout"> <a name=
"id658783-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>
259 <li><pre class=
"literallayout"> <a name=
"id658800-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>
260 <li><pre class=
"literallayout"> <a name=
"id658816-bb"></a><span class=
"identifier">BOOST_STATIC_CONSTANT
</span><span class=
"special">(
</span><span class=
"keyword">bool
</span><span class=
"special">,
</span>
261 <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>
262 <li><pre class=
"literallayout"> <a name=
"id658838-bb"></a><span class=
"identifier">BOOST_STATIC_CONSTANT
</span><span class=
"special">(
</span><span class=
"keyword">bool
</span><span class=
"special">,
</span>
263 <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>
264 <li><pre class=
"literallayout"> <a name=
"id658856-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>
265 <li><pre class=
"literallayout"><span class=
"keyword">void
</span> <a name=
"id658873-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>
266 <li><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=
"id658886-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>
267 <li><pre class=
"literallayout"><span class=
"keyword">bool
</span> <a name=
"id658903-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>
269 <pre class=
"literallayout"><span class=
"identifier">std
</span><span class=
"special">::
</span><span class=
"identifier">size_t
</span> <a name=
"id658917-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>
270 <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>
273 <pre class=
"literallayout"><span class=
"identifier">codomain_type
</span> <a name=
"id658936-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>
274 <p>Total select function.
</p>
277 <pre class=
"literallayout"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a name=
"id658951-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>
278 <p><code class=
"computeroutput">add
</code> inserts
<code class=
"computeroutput">value_pair
</code> into the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code> if it's key does not exist in the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code>. If
<code class=
"computeroutput">value_pairs's
</code> key value exists in the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code>, it's data value is added to the data value already found in the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code>.
</p>
281 <pre class=
"literallayout"><span class=
"identifier">iterator
</span> <a name=
"id658996-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>
282 <p><code class=
"computeroutput">add
</code> add
<code class=
"computeroutput">value_pair
</code> into the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code> 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>
285 <pre class=
"literallayout"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a name=
"id659037-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>
286 <p>If the
<code class=
"computeroutput">value_pair's
</code> key value is in the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code>, it's data value is subtraced from the data value stored in the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code>.
</p>
288 <li><pre class=
"literallayout"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a name=
"id659067-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>
289 <li><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=
"id659080-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>
290 <li><pre class=
"literallayout"><span class=
"identifier">iterator
</span> <a name=
"id659091-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>
291 <li><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=
"id659107-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>
293 <pre class=
"literallayout"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a name=
"id659128-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>
294 <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>
297 <pre class=
"literallayout"><span class=
"identifier">size_type
</span> <a name=
"id659156-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>
298 <p>erase
<code class=
"computeroutput">key_value_pair
</code> from the
<code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code>. Erase only if, the exact value content
<code class=
"computeroutput">val
</code> is stored for the given key.
</p>
301 <pre class=
"literallayout"><span class=
"keyword">void
</span> <a name=
"id659182-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>
302 <p>The intersection of
<code class=
"computeroutput">key_value_pair
</code> and
<code class=
"computeroutput">*this
</code> <code class=
"computeroutput"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a></code> is added to
<code class=
"computeroutput">section
</code>.
</p>
304 <li><pre class=
"literallayout"><a class=
"link" href=
"map.html" title=
"Class template map">map
</a> <span class=
"special">&</span> <a name=
"id659220-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>
305 <li><pre class=
"literallayout"><span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Combiner
<span class=
"special">></span>
306 <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><span class=
"identifier">iterator
</span>
307 <a name=
"id659233-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> addend
<span class=
"special">)
</span><span class=
"special">;
</span></pre></li>
308 <li><pre class=
"literallayout"><span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Combiner
<span class=
"special">></span>
309 <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>
310 <a name=
"id659257-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>
313 <div class=
"refsect2" lang=
"en">
314 <a name=
"id1318415"></a><h3>
315 <a name=
"id659365-bb"></a><code class=
"computeroutput">map
</code> private member functions
</h3>
316 <div class=
"orderedlist"><ol type=
"1">
317 <li><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=
"id659367-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>
318 <li><pre class=
"literallayout"><span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> Combiner
<span class=
"special">></span>
319 <span class=
"identifier">iterator
</span> <a name=
"id659386-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>
320 <li><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=
"id659408-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>
321 <li><pre class=
"literallayout"><span class=
"keyword">template
</span><span class=
"special"><</span><span class=
"keyword">typename
</span> FragmentT
<span class=
"special">></span>
322 <span class=
"keyword">void
</span> <a name=
"id659427-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>
323 <li><pre class=
"literallayout"><span class=
"keyword">void
</span> <a name=
"id659451-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>
328 <table xmlns:
rev=
"http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width=
"100%"><tr>
329 <td align=
"left"></td>
330 <td align=
"right"><div class=
"copyright-footer">Copyright
© 2007 -
2010 Joachim Faulhaber
<br>Copyright
© 1999 -
2006 Cortex Software GmbH
<p>
331 Distributed under the Boost Software License, Version
1.0. (See accompanying
332 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>)
337 <div class=
"spirit-nav">
338 <a accesskey=
"p" href=
"total_enricher.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_id658058.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>