7 const Real INFTY = HUGE;
10 Interval::set_empty() {
16 Interval::length() const {
21 Interval::unite(Interval h)
29 Interval::intersect(Interval h)
31 min = MAX(h.min, min);
32 max = MIN(h.max, max);
36 intersect(Interval x, Interval const &y)
43 Interval::operator String() const
49 return s + min + "," + max +"]";