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 91 of file globals.defs.hh.


Constructor & Destructor Documentation

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

Virtual destructor.

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

00037                       {
00038 }


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 41 of file globals.inlines.hh.

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


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

Generated on Sat Oct 11 10:41:03 2008 for PPL by  doxygen 1.5.6