><span class="special">;</span>
  <span class="identifier">iterator</span> <a class="link" href="split_interval_set.html#id679466-bb"><span class="identifier">add_over</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">interval_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
<span class="special">}</span><span class="special">;</span></pre></div>
<div class="refsect1" lang="en">
<a name="id1326733"></