|
spot
1.2.6
|
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 |
An exception used to forward GSPN errors.
1.8.4