spot
1.1.4
|
An exception used to forward GSPN errors. More...
#include <gspn/common.hh>
Public Member Functions | |
gspn_exception (const std::string &where, int err) | |
int | get_err () const |
std::string | get_where () const |
Private Attributes | |
int | err_ |
std::string | where_ |
An exception used to forward GSPN errors.
|
inline |
|
inline |
References err_.
|
inline |
References where_.
|
private |
Referenced by get_err().
|
private |
Referenced by get_where().