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

__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