[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
true
if the interval is resp. the universe interval
([-oo,+oo]) or an empty interval.
Return true if the interval op1 is included in op2.
Return true if the interval op1 is included in op2.
0 equality
-1 op1 included in op2
+1 op2 included in op1
-2 op1.inf less than op2.inf
+2 op1.inf greater than op2.inf