stormchecker · linusheck · Aug 20, 2026 · Aug 20, 2026 · Aug 20, 2026 · Aug 20, 2026
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ cmake-build-debug/
 .cache/
 .DS_Store
 .venv/
+doc/source/api/generated/
diff --git a/doc/source/_templates/autosummary/class.rst b/doc/source/_templates/autosummary/class.rst
@@ -0,0 +1,9 @@
+{{ objname | escape | underline }}
+
+.. currentmodule:: {{ module }}
+
+.. autoclass:: {{ objname }}
+   :members:
+   :undoc-members:
+   :inherited-members:
+   :show-inheritance:
diff --git a/doc/source/_templates/autosummary/function.rst b/doc/source/_templates/autosummary/function.rst
@@ -0,0 +1,5 @@
+{{ objname | escape | underline }}
+
+.. currentmodule:: {{ module }}
+
+.. auto{{ objtype }}:: {{ objname }}
diff --git a/doc/source/_templates/autosummary/module.rst b/doc/source/_templates/autosummary/module.rst
@@ -0,0 +1,58 @@
+{#- Only list the members that belong to this module (see filter_api_members in conf.py) -#}
+{%- set attributes = filter_api_members(fullname, attributes) -%}
+{%- set functions = filter_api_members(fullname, functions) -%}
+{%- set classes = filter_api_members(fullname, classes) -%}
+{%- set exceptions = filter_api_members(fullname, exceptions) -%}
+{{ fullname | escape | underline}}
+
+.. automodule:: {{ fullname }}
+
+   {% block attributes %}
+   {%- if attributes %}
+   .. rubric:: {{ _('Module Attributes') }}
+
+   .. autosummary::
+      :toctree:
+   {% for item in attributes %}
+      {{ item }}
+   {%- endfor %}
+   {% endif %}
+   {%- endblock %}
+
+   {%- block functions %}
+   {%- if functions %}
+   .. rubric:: {{ _('Functions') }}
+
+   .. autosummary::
+      :toctree:
+   {% for item in functions %}
+      {{ item }}
+   {%- endfor %}
+   {% endif %}
+   {%- endblock %}
+
+   {%- block classes %}
+   {%- if classes %}
+   .. rubric:: {{ _('Classes') }}
+
+   .. autosummary::
+      :toctree:
+      :template: autosummary/class.rst
+   {% for item in classes %}
+      {{ item }}
+   {%- endfor %}
+   {% endif %}
+   {%- endblock %}
+
+   {%- block exceptions %}
+   {%- if exceptions %}
+   .. rubric:: {{ _('Exceptions') }}
+
+   .. autosummary::
+      :toctree:
+      :template: autosummary/class.rst
+   {% for item in exceptions %}
+      {{ item }}
+   {%- endfor %}
+   {% endif %}
+   {%- endblock %}
diff --git a/doc/source/api.md b/doc/source/api.md
@@ -2,24 +2,36 @@
 
 Work in progress!
 
-:::{toctree}
-:maxdepth: 2
-:caption: Stormpy modules:
+```{eval-rst}
+.. autosummary::
+   :toctree: api/generated
+   :template: autosummary/module.rst
+   :caption: Stormpy modules:
 
-api/core
-api/info
-api/exceptions
-api/logic
-api/storage
-api/utility
+   stormpy
+   stormpy.storage
+   stormpy.logic
+   stormpy.dft
+   stormpy.gspn
+   stormpy.pars
+   stormpy.pomdp
+   stormpy.info
+   stormpy.exceptions
+   stormpy.utility
+```
 
-api/dft
-api/gspn
-api/pars
-api/pomdp
+```{eval-rst}
+.. autosummary::
+   :toctree: api/generated
+   :template: autosummary/module.rst
+   :caption: Pycarl modules:
 
-api/pycarl/core
-api/pycarl/convert
-api/pycarl/formula
-api/pycarl/parse
-:::
+   stormpy.pycarl
+   stormpy.pycarl.gmp
+   stormpy.pycarl.cln
+   stormpy.pycarl.formula
+   stormpy.pycarl.gmp.formula
+   stormpy.pycarl.cln.formula
+   stormpy.pycarl.parse
+   stormpy.pycarl.convert
+```
diff --git a/doc/source/api/core.rst b/doc/source/api/core.rst
diff --git a/doc/source/api/dft.rst b/doc/source/api/dft.rst
diff --git a/doc/source/api/exceptions.rst b/doc/source/api/exceptions.rst
diff --git a/doc/source/api/gspn.rst b/doc/source/api/gspn.rst
diff --git a/doc/source/api/info.rst b/doc/source/api/info.rst
diff --git a/doc/source/api/logic.rst b/doc/source/api/logic.rst
diff --git a/doc/source/api/pars.rst b/doc/source/api/pars.rst
diff --git a/doc/source/api/pomdp.rst b/doc/source/api/pomdp.rst
diff --git a/doc/source/api/pycarl/convert.rst b/doc/source/api/pycarl/convert.rst
diff --git a/doc/source/api/pycarl/core.rst b/doc/source/api/pycarl/core.rst
diff --git a/doc/source/api/pycarl/formula.rst b/doc/source/api/pycarl/formula.rst
diff --git a/doc/source/api/pycarl/parse.rst b/doc/source/api/pycarl/parse.rst
diff --git a/doc/source/api/storage.rst b/doc/source/api/storage.rst
diff --git a/doc/source/api/utility.rst b/doc/source/api/utility.rst
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,3 +14,4 @@ cmake-build-debug/ @@
     .cache/
     .DS_Store
     .venv/
+    doc/source/api/generated/