PPL
1.2
|
#include <cassert>
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Parma_Polyhedra_Library::Implementation | |
Implementation related data and functions. | |
Parma_Polyhedra_Library::Implementation::Watchdog | |
Functions | |
Time | Parma_Polyhedra_Library::Implementation::Watchdog::operator+ (const Time &x, const Time &y) |
Returns the sum of x and y . More... | |
Time | Parma_Polyhedra_Library::Implementation::Watchdog::operator- (const Time &x, const Time &y) |
Returns the difference of x and y or the null interval, if x is shorter than y . More... | |
bool | Parma_Polyhedra_Library::Implementation::Watchdog::operator== (const Time &x, const Time &y) |
Returns true if and only if x and y are equal. More... | |
bool | Parma_Polyhedra_Library::Implementation::Watchdog::operator!= (const Time &x, const Time &y) |
Returns true if and only if x and y are different. More... | |
bool | Parma_Polyhedra_Library::Implementation::Watchdog::operator< (const Time &x, const Time &y) |
Returns true if and only if x is shorter than y . More... | |
bool | Parma_Polyhedra_Library::Implementation::Watchdog::operator<= (const Time &x, const Time &y) |
Returns true if and only if x is shorter than or equal to y . More... | |
bool | Parma_Polyhedra_Library::Implementation::Watchdog::operator> (const Time &x, const Time &y) |
Returns true if and only if x is longer than y . More... | |
bool | Parma_Polyhedra_Library::Implementation::Watchdog::operator>= (const Time &x, const Time &y) |
Returns true if and only if x is longer than or equal to y . More... | |