[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Comparing intervals

Function: bool ap_interval_is_top (ap_interval_t* op)
Function: bool ap_interval_is_bottom (ap_interval_t* op)
Return true if the interval is resp. the universe interval ([-oo,+oo]) or an empty interval.

Function: bool ap_interval_is_leq (ap_interval_t* op1, ap_interval_t* op2)
Inclusion test.

Return true if the interval op1 is included in op2.

Function: bool ap_interval_equal (ap_interval_t* op1, ap_interval_t* op2)
Equality test.

Return true if the interval op1 is included in op2.

Function: int ap_interval_cmp (ap_interval_t* op1, ap_interval_t* op2)
Non-total comparison.
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



This document was generated on September, 10 2009 using texi2html