der</a>.</p>

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

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

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