Parma_Polyhedra_Library::Throwable Class Reference
[C++ Language Interface]

User objects the PPL can throw. More...

#include <globals.defs.hh>

List of all members.

Public Member Functions

virtual void throw_me () const =0
 Throws the user defined exception object.
virtual ~Throwable ()
 Virtual destructor.

Related Functions

(Note that these are not member functions.)

void maybe_abandon ()
 If the pointer abandon_expensive_computations is found to be nonzero, the exception it points to is thrown.


Detailed Description

User objects the PPL can throw.

This abstract base class should be instantiated by those users willing to provide a polynomial upper bound to the time spent by any invocation of a library operator.

Definition at line 133 of file globals.defs.hh.


Constructor & Destructor Documentation

Parma_Polyhedra_Library::Throwable::~Throwable (  )  [inline, virtual]

Virtual destructor.

Definition at line 38 of file globals.inlines.hh.

00038                       {
00039 }


Member Function Documentation

virtual void Parma_Polyhedra_Library::Throwable::throw_me (  )  const [pure virtual]

Throws the user defined exception object.


Friends And Related Function Documentation

void maybe_abandon (  )  [related]

If the pointer abandon_expensive_computations is found to be nonzero, the exception it points to is thrown.

Definition at line 42 of file globals.inlines.hh.

00042                 {
00043   if (const Throwable* p = abandon_expensive_computations)
00044     p->throw_me();
00045 }


The documentation for this class was generated from the following files:

Generated on Wed Jul 16 22:55:44 2008 for PPL by  doxygen 1.5.6