n class="special">,</span> <span class="identifier">State</span> <span class="special">&amp;</span><span class="special">,</span> <span class="identifier">time_type</span><span class="special">,</span> <span class="identifier">time_type</span><span class="special">,</span> 
                         <span class="identifier">time_type</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="adaptive_time_iterator.html#idp40446816-bb"><span class="identifier">adaptive_time_ite