ass="mlabel">inline</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">
<pre>
The variable domain given as a sorted list of n disjoint intervals
[min, max] and encoded as [min_0, max_0,  ..., min_{n-1}, max_{n-1}].
The most common example being just [min, max].
If min == max, then this is a constant variable.
We have:<ul>
<li>domain_size() is always even.</li>
<li>min == domain.front();</li>
<li>max == domain.back();</li>
<li>for all i &lt; n   :      min_i &lt;= max_i</li>
<li>for all i &lt; n