entifier">split_interval_set</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>
  <a class="link" href="split_interval_set.html#id679416-bb"><span class="identifier">split_interval_set</span></a><span class="special">(</span><a class="link" href="split_interval_set.html" title="Class template split_interval_set">split_interval_set</a> <span class=