include imported members

7 years ago · a2903b197b
1 changed files with 1 additions and 0 deletions
--- 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
 =========================