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 |