lass="identifier">DomainT</span><span class="special">)</span><span class="special">&gt;</span> 
<span class="keyword">class</span> <a class="link" href="discrete_interval.html" title="Class template discrete_interval">discrete_interval</a> <span class="special">{</span>
<span class="keyword">public</span><span class="special">:</span>
  <span class="comment">// types</span>
  <span class="keyword">typedef</span> <a class="link" href="discrete_interval.html" title="Class template discrete_interval">discrete