</tr>
</table>
</div><div class="memdoc">

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

</div>
</div>
<a id="a916dae08dfc215ec61d3721b0eed6631"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a916dae08dfc215ec61d3721b0eed6631">&#9670;&nbsp;</a></span>mergeFrom() <span class="overload">[3/3]</spa