an interval is empty
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALis_empty">is_empty</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Tests if an interval is empty
</div>
</td></tr>
<tr><td><a href="Interval2.html#VALis_entire">is_entire</a> [<a href="Interval2.html">Interval2</a>]</td>
<td><div class="info">
Tests if an interval is the entire interval
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALis_entire">is_entire</a> [<a href="Interval1.html">Interval1</a>]</td>
<