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