summaryrefslogtreecommitdiff
path: root/docs/api
diff options
context:
space:
mode:
Diffstat (limited to 'docs/api')
-rw-r--r--docs/api/python/python.rst3
-rw-r--r--docs/api/python/sort.rst6
2 files changed, 8 insertions, 1 deletions
diff --git a/docs/api/python/python.rst b/docs/api/python/python.rst
index a6aca2cf9..f6258af2d 100644
--- a/docs/api/python/python.rst
+++ b/docs/api/python/python.rst
@@ -13,7 +13,6 @@ Python API Documentation
:maxdepth: 1
quickstart
- solver
datatype
datatypeconstructor
datatypeconstructordecl
@@ -23,4 +22,6 @@ Python API Documentation
op
result
roundingmode
+ solver
+ sort
unknownexplanation
diff --git a/docs/api/python/sort.rst b/docs/api/python/sort.rst
new file mode 100644
index 000000000..270113e0c
--- /dev/null
+++ b/docs/api/python/sort.rst
@@ -0,0 +1,6 @@
+Sort
+================
+
+.. autoclass:: pycvc5.Sort
+ :members:
+ :undoc-members:
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback