diff options
Diffstat (limited to 'docs/api')
-rw-r--r-- | docs/api/python/python.rst | 3 | ||||
-rw-r--r-- | docs/api/python/sort.rst | 6 |
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: |