1392-bb"><span class="identifier">discrete_interval</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">DomainT</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="discrete_interval.html#idp40123536-bb"><span class="identifier">discrete_interval</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">DomainT</span> <span class="special">&amp;</