ass="result">: <span class="extype" name="scala.Unit">Unit</span></span>
      </span>
      
      <p class="shortcomment cmt">Run a single iteration of refinement/solving, then record the solutions.</p><div class="fullcomment"><div class="comment cmt"><p>Run a single iteration of refinement/solving, then record the solutions.
</p></div><dl class="attributes block"> <dt>Definition Classes</dt><dd><a href="StructuredAlgorithm.html" class="extype" name="com.cra.figaro.algorithm.structured.algorithm.Structure