_2PartialVariableAssignment_8java_source.html">sat/PartialVariableAssignment.java</a>.</p>

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

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" 