p class="shortcomment cmt">A framework for applying batches of minimization rules to dependency graphs, possibly to fixed point.</p><div class="fullcomment"><div class="comment cmt"><p>A framework for applying batches of minimization rules to dependency graphs, possibly to fixed point.
</p></div><dl class="attributes block"> <dt>Definition Classes</dt><dd><a href="../index.html" class="extype" name="net.sansa_stack.inference.rules">rules</a></dd></dl></div>
    </li><li name="net.sansa_stack.inference.rules