diff --git a/doc/source/code_stormpy_core.rst b/doc/source/code_stormpy_core.rst index 77329a0..4f26fa9 100644 --- a/doc/source/code_stormpy_core.rst +++ b/doc/source/code_stormpy_core.rst @@ -4,6 +4,7 @@ Stormpy.core .. automodule:: stormpy :members: :undoc-members: + :imported-members: Core members =========================