libs/icl/doc/html/boost/icl/map.html

   1 <html>
   2 <head>
   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&#160;1.&#160;Boost.Icl">
   8 <link rel="up" href="../../header/boost/icl/map_hpp.html" title="Header &lt;boost/icl/map.hpp&gt;">
   9 <link rel="prev" href="total_enricher.html" title="Struct total_enricher">
  10 <link rel="next" href="map/on_codomain_model.html" title="Struct template on_codomain_model">
  11 </head>
  12 <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
  13 <table cellpadding="2" width="100%"><tr>
  14 <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
  15 <td align="center"><a href="../../../../../../index.html">Home</a></td>
  16 <td align="center"><a href="../../../../../libraries.htm">Libraries</a></td>
  17 <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18 <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19 <td align="center"><a href="../../../../../../more/index.htm">More</a></td>
  20 </tr></table>
  21 <hr>
  22 <div class="spirit-nav">
  23 <a accesskey="p" href="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.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  24 </div>
  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 &#8212; Addable, subractable and intersectable maps. </p>
  30 </div>
  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: &lt;<a class="link" href="../../header/boost/icl/map_hpp.html" title="Header &lt;boost/icl/map.hpp&gt;">boost/icl/map.hpp</a>&gt;
  33
  34 </span><span class="keyword">template</span><span class="special">&lt;</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">&gt;</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&lt; DomainT, CodomainT, ICL_COMPARE_DOMAIN(Compare, DomainT), Alloc&lt; std::pair&lt; const DomainT, CodomainT &gt; &gt; &gt;
  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">&lt;</span> <span class="keyword">typename</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">&gt;</span> <span class="special">&gt;</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">&lt;</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">&gt;</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">&lt;</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">&gt;</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">&lt;</span> <span class="identifier">DomainT</span> <span class="special">&gt;</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">&lt;</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">&gt;</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">&lt;</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">&gt;</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">&lt;</span> <span class="identifier">codomain_combine</span> <span class="special">&gt;</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">&lt;</span> <span class="identifier">has_set_semantics</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</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">&gt;</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">&lt;</span> <span class="identifier">codomain_intersect</span> <span class="special">&gt;</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">&lt;</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">&lt;</span> <span class="identifier">DomainT</span> <span class="special">&gt;</span> <span class="special">&gt;</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">&lt;</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">&gt;</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>
  74
  75   <span class="comment">// member classes/structs/unions</span>
  76   <span class="keyword">template</span><span class="special">&lt;</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">&gt;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
  80   <span class="keyword">struct</span> <a class="link" href="map/on_codomain_mo_idp38862400.html" title="Struct template on_codomain_model&lt;Type, false, false&gt;">on_codomain_model</a><span class="special">&lt;</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">&gt;</span> <span class="special">{</span>
  81
  82     <span class="comment">// <a class="link" href="map/on_codomain_mo_idp38862400.html#idp38864640-bb">public static functions</a></span>
  83     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_mo_idp38862400.html#idp38865200-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</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">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
  87   <span class="keyword">struct</span> <a class="link" href="map/on_codomain_mo_idp38868560.html" title="Struct template on_codomain_model&lt;Type, false, true&gt;">on_codomain_model</a><span class="special">&lt;</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">&gt;</span> <span class="special">{</span>
  88
  89     <span class="comment">// <a class="link" href="map/on_codomain_mo_idp38868560.html#idp38870800-bb">public static functions</a></span>
  90     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_mo_idp38868560.html#idp38871360-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</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">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
  94   <span class="keyword">struct</span> <a class="link" href="map/on_codomain_mo_idp38874720.html" title="Struct template on_codomain_model&lt;Type, true, false&gt;">on_codomain_model</a><span class="special">&lt;</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">&gt;</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_codomain_mo_idp38874720.html#boost.icl.map.on_codomain_mo_idp38874720.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
  97
  98     <span class="comment">// <a class="link" href="map/on_codomain_mo_idp38874720.html#idp38877840-bb">public static functions</a></span>
  99     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_mo_idp38874720.html#idp38878400-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</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">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 103   <span class="keyword">struct</span> <a class="link" href="map/on_codomain_mo_idp38881760.html" title="Struct template on_codomain_model&lt;Type, true, true&gt;">on_codomain_model</a><span class="special">&lt;</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">&gt;</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_codomain_mo_idp38881760.html#boost.icl.map.on_codomain_mo_idp38881760.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
 106
 107     <span class="comment">// <a class="link" href="map/on_codomain_mo_idp38881760.html#idp38884880-bb">public static functions</a></span>
 108     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_mo_idp38881760.html#idp38885440-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</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">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">,</span> <span class="keyword">bool</span> is_total<span class="special">&gt;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 115   <span class="keyword">struct</span> <a class="link" href="map/on_definedness_idp38890896.html" title="Struct template on_definedness&lt;Type, false&gt;">on_definedness</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>
 116
 117     <span class="comment">// <a class="link" href="map/on_definedness_idp38890896.html#idp38892848-bb">public static functions</a></span>
 118     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_definedness_idp38890896.html#idp38893408-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 121   <span class="keyword">struct</span> <a class="link" href="map/on_definedness_idp38896752.html" title="Struct template on_definedness&lt;Type, true&gt;">on_definedness</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>
 122
 123     <span class="comment">// <a class="link" href="map/on_definedness_idp38896752.html#idp38898704-bb">public static functions</a></span>
 124     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_definedness_idp38896752.html#idp38899264-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">,</span> <span class="keyword">bool</span> is_total_invertible<span class="special">&gt;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 130   <span class="keyword">struct</span> <a class="link" href="map/on_invertible__idp38904704.html" title="Struct template on_invertible&lt;Type, false&gt;">on_invertible</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</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_invertible__idp38904704.html#boost.icl.map.on_invertible__idp38904704.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_invertible__idp38904704.html#boost.icl.map.on_invertible__idp38904704.inverse_codomain_combine"><span class="identifier">inverse_codomain_combine</span></a><span class="special">;</span>
 134
 135     <span class="comment">// <a class="link" href="map/on_invertible__idp38904704.html#idp38908384-bb">public static functions</a></span>
 136     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_invertible__idp38904704.html#idp38908944-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 139   <span class="keyword">struct</span> <a class="link" href="map/on_invertible__idp38911600.html" title="Struct template on_invertible&lt;Type, true&gt;">on_invertible</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</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_invertible__idp38911600.html#boost.icl.map.on_invertible__idp38911600.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_invertible__idp38911600.html#boost.icl.map.on_invertible__idp38911600.inverse_codomain_combine"><span class="identifier">inverse_codomain_combine</span></a><span class="special">;</span>
 143
 144     <span class="comment">// <a class="link" href="map/on_invertible__idp38911600.html#idp38915280-bb">public static functions</a></span>
 145     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_invertible__idp38911600.html#idp38915840-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</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">&gt;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 151   <span class="keyword">struct</span> <a class="link" href="map/on_total_absor_idp38921440.html" title="Struct template on_total_absorbable&lt;Type, false, false&gt;">on_total_absorbable</a><span class="special">&lt;</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">&gt;</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_absor_idp38921440.html#boost.icl.map.on_total_absor_idp38921440.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_absor_idp38921440.html#boost.icl.map.on_total_absor_idp38921440.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_absor_idp38921440.html#boost.icl.map.on_total_absor_idp38921440.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_absor_idp38921440.html#boost.icl.map.on_total_absor_idp38921440.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
 157
 158     <span class="comment">// <a class="link" href="map/on_total_absor_idp38921440.html#idp38927104-bb">public static functions</a></span>
 159     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absor_idp38921440.html#idp38927664-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 162   <span class="keyword">struct</span> <a class="link" href="map/on_total_absor_idp38930320.html" title="Struct template on_total_absorbable&lt;Type, false, true&gt;">on_total_absorbable</a><span class="special">&lt;</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">&gt;</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_absor_idp38930320.html#boost.icl.map.on_total_absor_idp38930320.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_absor_idp38930320.html#boost.icl.map.on_total_absor_idp38930320.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_absor_idp38930320.html#boost.icl.map.on_total_absor_idp38930320.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_absor_idp38930320.html#boost.icl.map.on_total_absor_idp38930320.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>
 168
 169     <span class="comment">// <a class="link" href="map/on_total_absor_idp38930320.html#idp38935984-bb">public static functions</a></span>
 170     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absor_idp38930320.html#idp38936544-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 173   <span class="keyword">struct</span> <a class="link" href="map/on_total_absor_idp38939200.html" title="Struct template on_total_absorbable&lt;Type, true, false&gt;">on_total_absorbable</a><span class="special">&lt;</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">&gt;</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_absor_idp38939200.html#boost.icl.map.on_total_absor_idp38939200.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_absor_idp38939200.html#boost.icl.map.on_total_absor_idp38939200.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>
 177
 178     <span class="comment">// <a class="link" href="map/on_total_absor_idp38939200.html#idp38943136-bb">public static functions</a></span>
 179     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absor_idp38939200.html#idp38943696-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span>
 182   <span class="keyword">struct</span> <a class="link" href="map/on_total_absor_idp38946352.html" title="Struct template on_total_absorbable&lt;Type, true, true&gt;">on_total_absorbable</a><span class="special">&lt;</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">&gt;</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_absor_idp38946352.html#boost.icl.map.on_total_absor_idp38946352.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>
 185
 186     <span class="comment">// <a class="link" href="map/on_total_absor_idp38946352.html#idp38949440-bb">public static functions</a></span>
 187     <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absor_idp38946352.html#idp38950000-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</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">&amp;</span><span class="special">)</span><span class="special">;</span>
 188   <span class="special">}</span><span class="special">;</span>
 189
 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#idp39054000-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#idp39054288-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 193   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span> <a class="link" href="map.html#idp39055264-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">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span>
 195     <a class="link" href="map.html#idp39057776-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 196   <a class="link" href="map.html#idp39060976-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 197   <span class="keyword">explicit</span> <a class="link" href="map.html#idp39062400-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 198   <a class="link" href="map.html#idp39063648-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">&amp;&amp;</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">&amp;</span> <a class="link" href="map.html#idp39064912-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>
 200
 201   <span class="comment">// <a class="link" href="map.html#idp38980848-bb">public member functions</a></span>
 202   <span class="keyword">typedef</span> <a class="link" href="map.html#idp38981408-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#idp38983632-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#idp38985856-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#idp38988080-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#idp38990432-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#idp38992800-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">&lt;</span> <span class="identifier">is_total</span><span class="special">&lt;</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">&gt;</span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span> <span class="special">&gt;</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#idp38995904-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">&amp;&amp;</span><span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</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#idp38998304-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#idp39000656-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 213   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> SubObject<span class="special">&gt;</span> <span class="keyword">bool</span> <a class="link" href="map.html#idp39002480-bb"><span class="identifier">contains</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">SubObject</span> <span class="special">&amp;</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#idp39005136-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">&amp;</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#idp39007392-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#idp39010192-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">&amp;</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">&amp;</span> <a class="link" href="map.html#idp39012416-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 218   <span class="identifier">iterator</span> <a class="link" href="map.html#idp39015968-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">&amp;</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">&amp;</span> <a class="link" href="map.html#idp39020688-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">&amp;</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">&amp;</span> <a class="link" href="map.html#idp39023456-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">&amp;</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">&lt;</span> <span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">bool</span> <span class="special">&gt;</span> <a class="link" href="map.html#idp39025280-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 222   <span class="identifier">iterator</span> <a class="link" href="map.html#idp39026832-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 223   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Iterator<span class="special">&gt;</span> <span class="identifier">iterator</span> <a class="link" href="map.html#idp39029056-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">&amp;</span> <a class="link" href="map.html#idp39032128-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 225   <span class="identifier">size_type</span> <a class="link" href="map.html#idp39035712-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 226   <span class="keyword">void</span> <a class="link" href="map.html#idp39038608-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">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</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">&amp;</span> <a class="link" href="map.html#idp39043152-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 228   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 229     <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</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">&gt;</span> <span class="special">&amp;</span>
 230     <a class="link" href="map.html#idp39044976-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 231   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 232     <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</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">&gt;</span><span class="special">::</span><span class="identifier">iterator</span>
 233     <a class="link" href="map.html#idp39047696-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 234   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 235     <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</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">&gt;</span> <span class="special">&amp;</span>
 236     <a class="link" href="map.html#idp39051120-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 237
 238   <span class="comment">// <a class="link" href="map.html#idp39066592-bb">private member functions</a></span>
 239   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#idp39067168-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 240   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <span class="identifier">iterator</span> <a class="link" href="map.html#idp39069840-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 241   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#idp39072912-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">&amp;</span><span class="special">)</span><span class="special">;</span>
 242   <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> FragmentT<span class="special">&gt;</span>
 243     <span class="keyword">void</span> <a class="link" href="map.html#idp39075584-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">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">FragmentT</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
 244   <span class="keyword">void</span> <a class="link" href="map.html#idp39079216-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">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
 245 <span class="special">}</span><span class="special">;</span></pre></div>
 246 <div class="refsect1">
 247 <a name="idp114899424"></a><h2>Description</h2>
 248 <div class="refsect2">
 249 <a name="idp114899840"></a><h3>
 250 <a name="boost.icl.mapconstruct-copy-destruct"></a><code class="computeroutput">map</code>
 251         public
 252        construct/copy/destruct</h3>
 253 <div class="orderedlist"><ol class="orderedlist" type="1">
 254 <li class="listitem"><pre class="literallayout"><a name="idp39054000-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="special">)</span><span class="special">;</span></pre></li>
 255 <li class="listitem"><pre class="literallayout"><a name="idp39054288-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">&amp;</span> comp<span class="special">)</span><span class="special">;</span></pre></li>
 256 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span> <a name="idp39055264-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>
 257 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span>
 258   <a name="idp39057776-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">&amp;</span> comp<span class="special">)</span><span class="special">;</span></pre></li>
 259 <li class="listitem"><pre class="literallayout"><a name="idp39060976-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">&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
 260 <li class="listitem"><pre class="literallayout"><span class="keyword">explicit</span> <a name="idp39062400-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">&amp;</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre></li>
 261 <li class="listitem"><pre class="literallayout"><a name="idp39063648-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">&amp;&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
 262 <li class="listitem"><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39064912-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>
 263 </ol></div>
 264 </div>
 265 <div class="refsect2">
 266 <a name="idp114953856"></a><h3>
 267 <a name="idp38980848-bb"></a><code class="computeroutput">map</code> public member functions</h3>
 268 <div class="orderedlist"><ol class="orderedlist" type="1">
 269 <li class="listitem"><pre class="literallayout"><span class="keyword">typedef</span> <a name="idp38981408-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>
 270 <li class="listitem"><pre class="literallayout"><span class="keyword">typedef</span> <a name="idp38983632-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>
 271 <li class="listitem"><pre class="literallayout"><span class="keyword">typedef</span> <a name="idp38985856-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>
 272 <li class="listitem"><pre class="literallayout"> <a name="idp38988080-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>
 273 <li class="listitem"><pre class="literallayout"> <a name="idp38990432-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>
 274 <li class="listitem"><pre class="literallayout"> <a name="idp38992800-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span>
 275                        <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">&lt;</span> <span class="identifier">is_total</span><span class="special">&lt;</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">&gt;</span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
 276 <li class="listitem"><pre class="literallayout"> <a name="idp38995904-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span>
 277                        <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">&amp;&amp;</span><span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
 278 <li class="listitem"><pre class="literallayout"> <a name="idp38998304-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>
 279 <li class="listitem"><pre class="literallayout"><span class="keyword">void</span> <a name="idp39000656-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">&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
 280 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> SubObject<span class="special">&gt;</span> <span class="keyword">bool</span> <a name="idp39002480-bb"></a><span class="identifier">contains</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">SubObject</span> <span class="special">&amp;</span> sub<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
 281 <li class="listitem"><pre class="literallayout"><span class="keyword">bool</span> <a name="idp39005136-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">&amp;</span> super<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
 282 <li class="listitem">
 283 <pre class="literallayout"><span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <a name="idp39007392-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>
 284 <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>
 285 </li>
 286 <li class="listitem">
 287 <pre class="literallayout"><span class="identifier">codomain_type</span> <a name="idp39010192-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">&amp;</span> key<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
 288 <p>Total select function. </p>
 289 </li>
 290 <li class="listitem">
 291 <pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39012416-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
 292 <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>
 293 </li>
 294 <li class="listitem">
 295 <pre class="literallayout"><span class="identifier">iterator</span> <a name="idp39015968-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
 296 <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>
 297 </li>
 298 <li class="listitem">
 299 <pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39020688-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
 300 <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>
 301 </li>
 302 <li class="listitem"><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39023456-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">&amp;</span> key<span class="special">)</span><span class="special">;</span></pre></li>
 303 <li class="listitem"><pre class="literallayout"><span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">bool</span> <span class="special">&gt;</span> <a name="idp39025280-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
 304 <li class="listitem"><pre class="literallayout"><span class="identifier">iterator</span> <a name="idp39026832-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
 305 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Iterator<span class="special">&gt;</span> <span class="identifier">iterator</span> <a name="idp39029056-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>
 306 <li class="listitem">
 307 <pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39032128-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">&amp;</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre>
 308 <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>
 309 </li>
 310 <li class="listitem">
 311 <pre class="literallayout"><span class="identifier">size_type</span> <a name="idp39035712-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">&amp;</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre>
 312 <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>
 313 </li>
 314 <li class="listitem">
 315 <pre class="literallayout"><span class="keyword">void</span> <a name="idp39038608-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">&amp;</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> key_value_pair<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
 316 <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>
 317 </li>
 318 <li class="listitem"><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39043152-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">&amp;</span> operand<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">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 320   <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</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">&gt;</span> <span class="special">&amp;</span>
 321   <a name="idp39044976-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">&amp;</span> addend<span class="special">)</span><span class="special">;</span></pre></li>
 322 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 323   <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</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">&gt;</span><span class="special">::</span><span class="identifier">iterator</span>
 324   <a name="idp39047696-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">&amp;</span> addend<span class="special">)</span><span class="special">;</span></pre></li>
 325 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 326   <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</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">&gt;</span> <span class="special">&amp;</span>
 327   <a name="idp39051120-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">&amp;</span> minuend<span class="special">)</span><span class="special">;</span></pre></li>
 328 </ol></div>
 329 </div>
 330 <div class="refsect2">
 331 <a name="idp115227216"></a><h3>
 332 <a name="idp39066592-bb"></a><code class="computeroutput">map</code> private member functions</h3>
 333 <div class="orderedlist"><ol class="orderedlist" type="1">
 334 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39067168-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
 335 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span>
 336   <span class="identifier">iterator</span> <a name="idp39069840-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
 337 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="idp39072912-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">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
 338 <li class="listitem"><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> FragmentT<span class="special">&gt;</span>
 339   <span class="keyword">void</span> <a name="idp39075584-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">&amp;</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">FragmentT</span> <span class="special">&amp;</span> fragment<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
 340 <li class="listitem"><pre class="literallayout"><span class="keyword">void</span> <a name="idp39079216-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">&amp;</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> operand<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
 341 </ol></div>
 342 </div>
 343 </div>
 344 </div>
 345 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
 346 <td align="left"></td>
 347 <td align="right"><div class="copyright-footer">Copyright &#169; 2007-2010 Joachim
 348       Faulhaber<br>Copyright &#169; 1999-2006 Cortex Software
 349       GmbH<p>
 350         Distributed under the Boost Software License, Version 1.0. (See accompanying
 351         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>)
 352       </p>
 353 </div></td>
 354 </tr></table>
 355 <hr>
 356 <div class="spirit-nav">
 357 <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.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
 358 </div>
 359 </body>
 360 </html>