)</span><span class="special">;</span>
  <span class="keyword">explicit</span> <a class="link" href="split_interval_set.html#id679379-bb"><span class="identifier">split_interval_set</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="keyword">explicit</span> <a class="link" href="split_interval_set.html#id679388-bb"><span class="id