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.

                      {
}

---

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.

                {
  if (const Throwable* p = abandon_expensive_computations)
    p->throw_me();
}

---

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

• globals.defs.hh
• globals.inlines.hh