">domain_type</span> <span class="special">&amp;</span> itv<span class="special">)</span><span class="special">;</span></pre>Constructor for a single interval. </li>
<li>
<pre class="literallayout"><a name="id679416-bb"></a><span class="identifier">split_interval_set</span><span class="special">(</span><a class="link" href="split_interval_set.html" title="Class template split_interval_set">split_interval_set</a> <span class="special">&amp;&amp;</span> src<span class="special">)</span><span class="special">;