ct template value_size&lt;icl::discrete_interval&lt; DomainT &gt;&gt;">value_size</a><span class="special">&lt;</span><span class="identifier">icl</span><span class="special">::</span><span class="identifier">discrete_interval</span><span class="special">&lt;</span> <span class="identifier">DomainT</span> <span class="special">&gt;</span><span class="special">&gt;</span> <span class="special">{</span>

  <span class="comment">// <a class="link" href="value_size_icl_di_id647194.html#id647206-bb">public stati