PPL 0.12
|
microseconds() const | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline] |
OK() const | Parma_Polyhedra_Library::Implementation::Watchdog::Time | |
operator+=(const Time &y) | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline] |
operator-=(const Time &y) | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline] |
seconds() const | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline] |
Time() | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline] |
Time(long centisecs) | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline, explicit] |
Time(long s, long m) | Parma_Polyhedra_Library::Implementation::Watchdog::Time | [inline] |