Base class for storm exceptions

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
 

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