20 #ifndef SPOT_IFACE_GSPN_COMMON_HH
21 # define SPOT_IFACE_GSPN_COMMON_HH
37 : err_(err), where_(where)
58 std::ostream& operator<<(std::ostream& os,
const gspn_exception& e);
61 #endif // SPOT_IFACE_GSPN_COMMON_HH
An exception used to forward GSPN errors.
Definition: common.hh:33