Classes
class	Doubly_Linked_Object
	A (base) class for doubly linked objects. More...
class	EList
	A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves). More...
class	EList_Iterator
	A class providing iterators for embedded lists. More...
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
template<typename T >
bool	operator== (const EList_Iterator< T > &x, const EList_Iterator< T > &y)
	Returns `true` if and only if `x` and `y` are equal.
template<typename T >
bool	operator!= (const EList_Iterator< T > &x, const EList_Iterator< T > &y)
	Returns `true` if and only if `x` and `y` are different.
bool	operator== (const Time &x, const Time &y)
	Returns `true` if and only if `x` and `y` are equal.
bool	operator!= (const Time &x, const Time &y)
	Returns `true` if and only if `x` and `y` are different.
bool	operator< (const Time &x, const Time &y)
	Returns `true` if and only if `x` is shorter than `y`.
bool	operator<= (const Time &x, const Time &y)
	Returns `true` if and only if `x` is shorter than or equal to `y`.
bool	operator> (const Time &x, const Time &y)
	Returns `true` if and only if `x` is longer than `y`.
bool	operator>= (const Time &x, const Time &y)
	Returns `true` if and only if `x` is longer than or equal to `y`.
Time	operator+ (const Time &x, const Time &y)
	Returns the sum of `x` and `y`.
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`.

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);
}

template<typename T >

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator!=	(	const EList_Iterator< T > &	x,
		const EList_Iterator< T > &	y
	)

inline

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

Definition at line 103 of file EList_Iterator.inlines.hh.

References Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >::ptr.

                                                                   {
  return x.ptr != y.ptr;
}

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();
}

template<typename T >

bool Parma_Polyhedra_Library::Implementation::Watchdog::operator==	(	const EList_Iterator< T > &	x,
		const EList_Iterator< T > &	y
	)

inline

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

Definition at line 97 of file EList_Iterator.inlines.hh.

References Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >::ptr.

                                                                   {
  return x.ptr == y.ptr;
}

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