|
PPL
0.12.1
|
| 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] |