<a href="index.html" class="extype" name="com.cra.figaro.algorithm">com.cra.figaro.algorithm</a>] </dd><dt>Definition Classes</dt><dd><a href="Anytime.html" class="extype" name="com.cra.figaro.algorithm.Anytime">Anytime</a> → <a href="Algorithm.html" class="extype" name="com.cra.figaro.algorithm.Algorithm">Algorithm</a></dd></dl></div>
    </li><li name="com.cra.figaro.algorithm.Anytime#doResume" visbl="prt" class="indented0 " data-isabs="false" fullComment="yes" group="Ungrouped">
      <a id="doResume()