PPL Prolog Language Interface  1.2
Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception Class Reference

#include <ppl_prolog_common_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception:
Collaboration diagram for Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception:

Public Member Functions

void throw_me () const
 
int priority () const
 
- Public Member Functions inherited from Parma_Polyhedra_Library::Throwable
virtual ~Throwable ()
 
void maybe_abandon ()
 

Detailed Description

Definition at line 505 of file ppl_prolog_common_defs.hh.

Member Function Documentation

int Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception::priority ( ) const
inline

Definition at line 511 of file ppl_prolog_common_defs.hh.

void Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception::throw_me ( ) const
inlinevirtual

Implements Parma_Polyhedra_Library::Throwable.

Definition at line 508 of file ppl_prolog_common_defs.hh.


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