|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|

Go to the source code of this file.
Macros | |
| #define | STORM_NEW_EXCEPTION(exception_name) |
| Macro to generate descendant exception classes. | |
| #define STORM_NEW_EXCEPTION | ( | exception_name | ) |
Macro to generate descendant exception classes.
As all classes are nearly the same, this makes changing common features much easier.
Definition at line 8 of file ExceptionMacros.h.