
<A NAME=Interval>

<TITLE>Interval</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>INTERVAL</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>type</B><P>
<P>
 
Intervals are generally coded as lower bound and 
upper bound connected by the operator <em>..</em>, usually 
associated to a variable in an 
equation. 
<P>
<P>
 <P> <H3> 
syntax: </H3>
&lt;var&gt; = (&lt;low&gt; .. &lt;high&gt;) 
<P>
<P>
<P>
where &lt;var&gt; is a 
<A HREF=r37_0002.html>kernel</A> and &lt;low&gt;, &lt;high&gt; are 
numbers or expression which evaluate to numbers with &lt;low&gt;&lt;=&lt;high
&gt;. 
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT></TT></PRE><P>means that the variable x is taken in the range from 2
.5 up to 
3.5. 
<P>
<P>
