An exception used to forward GSPN errors.
More...
#include <gspn/common.hh>
Detailed Description
An exception used to forward GSPN errors.
Constructor & Destructor Documentation
spot::gspn_exception::gspn_exception |
( |
const std::string & |
where, |
|
|
int |
err |
|
) |
| |
|
inline |
Member Function Documentation
int spot::gspn_exception::get_err |
( |
| ) |
const |
|
inline |
std::string spot::gspn_exception::get_where |
( |
| ) |
const |
|
inline |
Member Data Documentation
int spot::gspn_exception::err_ |
|
private |
std::string spot::gspn_exception::where_ |
|
private |
The documentation for this class was generated from the following file: