  </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

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

</div>
</div>
<a id="a3e05e91aa90c10970a9aafb7b561e218"></a>
<h2 class="memtitle"><span