Little cleaning of interval code

This commit is contained in:
Abramo Bagnara 2000-12-23 10:14:15 +00:00
parent 9acdef38c9
commit 80c3adaace
2 changed files with 9 additions and 6 deletions

View file

@ -31,6 +31,12 @@ INLINE void interval_all(interval_t *i)
i->max = UINT_MAX;
}
INLINE int interval_checkempty(const interval_t *i)
{
return (i->min > i->max ||
(i->min == i->max && (i->openmin || i->openmax)));
}
INLINE int interval_empty(const interval_t *i)
{
return i->empty;