6 files changed, 35 insertions, 0 deletions

diff --git a/docs/api/python/grammar.rst b/docs/api/python/grammar.rst
new file mode 100644
index 000000000..a2059fa93
--- /dev/null
+++ b/docs/api/python/grammar.rst
@@ -0,0 +1,6 @@
+Grammar
+================
+
+.. autoclass:: pycvc5.Grammar
+    :members:
+    :undoc-members:
diff --git a/docs/api/python/op.rst b/docs/api/python/op.rst
new file mode 100644
index 000000000..7769b33f0
--- /dev/null
+++ b/docs/api/python/op.rst
@@ -0,0 +1,6 @@
+Op
+================
+
+.. autoclass:: pycvc5.Op
+    :members:
+    :undoc-members:
diff --git a/docs/api/python/python.rst b/docs/api/python/python.rst
index d815f837a..a6aca2cf9 100644
--- a/docs/api/python/python.rst
+++ b/docs/api/python/python.rst
@@ -19,3 +19,8 @@ Python API Documentation
     datatypeconstructordecl
     datatypedecl
     datatypeselector
+    grammar
+    op
+    result
+    roundingmode
+    unknownexplanation
diff --git a/docs/api/python/result.rst b/docs/api/python/result.rst
new file mode 100644
index 000000000..9edb12b92
--- /dev/null
+++ b/docs/api/python/result.rst
@@ -0,0 +1,6 @@
+Result
+================
+
+.. autoclass:: pycvc5.Result
+    :members:
+    :undoc-members:
diff --git a/docs/api/python/roundingmode.rst b/docs/api/python/roundingmode.rst
new file mode 100644
index 000000000..0c226082e
--- /dev/null
+++ b/docs/api/python/roundingmode.rst
@@ -0,0 +1,6 @@
+RoundingMode
+================
+
+.. autoclass:: pycvc5.RoundingMode
+    :members:
+    :undoc-members:
diff --git a/docs/api/python/unknownexplanation.rst b/docs/api/python/unknownexplanation.rst
new file mode 100644
index 000000000..54c37665b
--- /dev/null
+++ b/docs/api/python/unknownexplanation.rst
@@ -0,0 +1,6 @@
+UnknownExplanation
+================
+
+.. autoclass:: pycvc5.UnknownExplanation
+    :members:
+    :undoc-members: