Storm
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.