lass="definition">Definition at line <a class="el" href="sat_2PartialVariableAssignment_8java_source.html#l00458">458</a> of file <a class="el" href="sat_2PartialVariableAssignment_8java_source.html">sat/PartialVariableAssignment.java</a>.</p>

</div>
</div>
<a id="ade618743efd88d6aa13c3ba5c6e389d2"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ade618743efd88d6aa13c3ba5c6e389d2">&#9670;&nbsp;</a></span>buildPartial()</h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  