tools_1_1sat_1_1SatParameters_1_1ConflictMinimizationAlgorithm.html#a720de651a6a79a3ee4af9e17b0d3575f">forNumber(int)</a> instead. </dd></dl>

<p class="definition">Definition at line <a class="el" href="SatParameters_8java_source.html#l01322">1322</a> of file <a class="el" href="SatParameters_8java_source.html">SatParameters.java</a>.</p>

</div>
</div>
<h2 class="groupheader">Member Data Documentation</h2>
<a id="ac6194ef0ef990faa8ae09fc09de5ae74"></a>
<h2 class="memtitle"><span class="permalink"><a href=