Classes
class	Handler
	Abstract base class for handlers of the watchdog events. More...

class	Handler_Flag
	A kind of Handler that installs a flag onto a flag-holder. More...

class	Handler_Function
	A kind of Handler calling a given function. More...

class	Pending_Element
	A class for pending watchdog events with embedded links. More...

class	Pending_List
	An ordered list for recording pending watchdog events. More...

class	Time
	A class for representing and manipulating positive time intervals. More...

Functions
bool	operator== (const Time &x, const Time &y)
	Returns `true` if and only if `x` and `y` are equal. More...

bool	operator!= (const Time &x, const Time &y)
	Returns `true` if and only if `x` and `y` are different. More...

bool	operator< (const Time &x, const Time &y)
	Returns `true` if and only if `x` is shorter than `y`. More...

bool	operator<= (const Time &x, const Time &y)
	Returns `true` if and only if `x` is shorter than or equal to `y`. More...

bool	operator> (const Time &x, const Time &y)
	Returns `true` if and only if `x` is longer than `y`. More...

bool	operator>= (const Time &x, const Time &y)
	Returns `true` if and only if `x` is longer than or equal to `y`. More...

Time	operator+ (const Time &x, const Time &y)
	Returns the sum of `x` and `y`. More...

Time	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...

Function Documentation

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator!=	(	const Time &	x,
		const Time &	y
	)

inline

Returns true if and only if x and y are different.

Definition at line 122 of file Time_inlines.hh.

References Parma_Polyhedra_Library::Implementation::Watchdog::Time::OK().

                                          {
   assert(x.OK() && y.OK());
   return !(x == y);
 }

Time Parma_Polyhedra_Library::Implementation::Watchdog::operator+	(	const Time &	x,
		const Time &	y
	)

inline

Returns the sum of x and y.

Definition at line 102 of file Time_inlines.hh.

                                         {
   Time z = x;
   z += y;
   return z;
 }

Time Parma_Polyhedra_Library::Implementation::Watchdog::operator-	(	const Time &	x,
		const Time &	y
	)

inline

Returns the difference of x and y or the null interval, if x is shorter than y.

Definition at line 109 of file Time_inlines.hh.

                                         {
   Time z = x;
   z -= y;
   return z;
 }

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator<	(	const Time &	x,
		const Time &	y
	)

inline

Returns true if and only if x is shorter than y.

Definition at line 128 of file Time_inlines.hh.

References Parma_Polyhedra_Library::Implementation::Watchdog::Time::microseconds(), Parma_Polyhedra_Library::Implementation::Watchdog::Time::OK(), and Parma_Polyhedra_Library::Implementation::Watchdog::Time::seconds().

                                         {
   assert(x.OK() && y.OK());
   return x.seconds() < y.seconds()
     || (x.seconds() == y.seconds() && x.microseconds() < y.microseconds());
 }

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator<=	(	const Time &	x,
		const Time &	y
	)

inline

Returns true if and only if x is shorter than or equal to y.

Definition at line 135 of file Time_inlines.hh.

                                          {
   return x < y || x == y;
 }

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator==	(	const Time &	x,
		const Time &	y
	)

inline

Returns true if and only if x and y are equal.

Definition at line 116 of file Time_inlines.hh.

References Parma_Polyhedra_Library::Implementation::Watchdog::Time::microseconds(), Parma_Polyhedra_Library::Implementation::Watchdog::Time::OK(), and Parma_Polyhedra_Library::Implementation::Watchdog::Time::seconds().

                                          {
   assert(x.OK() && y.OK());
   return x.seconds() == y.seconds() && y.microseconds() == y.microseconds();
 }

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator>	(	const Time &	x,
		const Time &	y
	)

inline

Returns true if and only if x is longer than y.

Definition at line 140 of file Time_inlines.hh.

                                         {
   return y < x;
 }

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator>=	(	const Time &	x,
		const Time &	y
	)

inline

Returns true if and only if x is longer than or equal to y.

Definition at line 145 of file Time_inlines.hh.

                                          {
   return y <= x;
 }

Classes

Functions

Function Documentation