Fix module names and import

Former-commit-id: daa4c50427

stormpy/lib/stormpy/storage/state.py

@@ -1,4 +1,4 @@
-import stormpy.storage
+from . import action
 
 class State:
     """ Represents a state in the model """
@@ -31,4 +31,4 @@ class State:
         row_group_indices = self.model.transition_matrix()._row_group_indices()
         start = row_group_indices[self.id]
         end = row_group_indices[self.id+1]
-        return stormpy.action.Action(start, end, 0, self.model)
+        return action.Action(start, end, 0, self.model)

stormpy/src/mod_expressions.cpp

@@ -4,7 +4,7 @@
 #include <src/storage/expressions/ExpressionManager.h>
 
 PYBIND11_PLUGIN(expressions) {
-	py::module m("stormpy.expressions", "Storm expressions");
+	py::module m("expressions", "Storm expressions");
 
     py::class_<std::shared_ptr<storm::expressions::ExpressionManager>>(m, "ExpressionManager", "Manages variables for expressions")
         ;

stormpy/src/mod_info.cpp

@@ -4,7 +4,7 @@
 #include <src/utility/storm-version.h>
 
 PYBIND11_PLUGIN(info) {
-	py::module m("stormpy.info", "Storm information");
+	py::module m("info", "Storm information");
     py::class_<storm::utility::StormVersion>(m, "Version", "Version information for Storm")
         .def("short", &storm::utility::StormVersion::shortVersionString, "Storm version in short representation")
         .def("long", &storm::utility::StormVersion::longVersionString, "Storm version in long representation")

stormpy/src/mod_logic.cpp

@@ -3,7 +3,7 @@
 #include "logic/formulae.h"
 
 PYBIND11_PLUGIN(logic) {
-    py::module m("stormpy.logic", "Logic module for Storm");
+    py::module m("logic", "Logic module for Storm");
     define_formulae(m);
     return m.ptr();
 }

stormpy/src/mod_storage.cpp

@@ -4,7 +4,7 @@
 #include "storage/matrix.h"
 
 PYBIND11_PLUGIN(storage) {
-    py::module m("stormpy.storage");
+    py::module m("storage");
     define_model(m);
     define_sparse_matrix(m);
     return m.ptr();