
| altitude(interval i) const | GDT_interval_set | [inline] |
| del_interval(interval i) | GDT_interval_set | |
| GDT_interval_set() | GDT_interval_set | [inline] |
| interval typedef | GDT_interval_set | |
| left(interval i) const | GDT_interval_set | [inline] |
| new_interval(double f, double t, double z) | GDT_interval_set | |
| print(std::ostream &o) const | GDT_interval_set | |
| ray_shooting_down(double x, double z) | GDT_interval_set | [inline] |
| ray_shooting_up(double x, double z) | GDT_interval_set | [inline] |
| right(interval i) const | GDT_interval_set | [inline] |
| ~GDT_interval_set() | GDT_interval_set |
1.5.3