diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index 5c6d212..db9282d 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -4,6 +4,7 @@ from . import storage from .storage import * from ._config import * from .logic import * +from .exceptions import * from pycarl import Variable # needed for building parametric models diff --git a/lib/stormpy/exceptions/__init__.py b/lib/stormpy/exceptions/__init__.py new file mode 100644 index 0000000..eb6d32b --- /dev/null +++ b/lib/stormpy/exceptions/__init__.py @@ -0,0 +1,11 @@ +class StormError(Exception): + """ + Base class for exceptions in Storm. + """ + + def __init__(self, message): + """ + Constructor. + :param message: Error message. + """ + self.message = "Storm: " + message