diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-16 08:10:47 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 08:10:47 -0600 |
| commit | 5d2daf534a6b23dc31c359e38e0b93a2fe907ed4 (patch) | |
| tree | 3b9b587fb8d500784f635af4f532ec0c747ef098 /docs/api/java/java.rst | |
| parent | 577d4b6bde6c31bd77254de9355666f6b698cc45 (diff) | |
| parent | 4a7c0c73f69aabb20be4c79c47047ce23d3358b0 (diff) | |
Merge branch 'master' into deleteInvalidMkConstdeleteInvalidMkConst
Diffstat (limited to 'docs/api/java/java.rst')
| -rw-r--r-- | docs/api/java/java.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/api/java/java.rst b/docs/api/java/java.rst index 725e2bf7c..71a70023b 100644 --- a/docs/api/java/java.rst +++ b/docs/api/java/java.rst @@ -1,5 +1,5 @@ Java API -====================== +======== The Java API for cvc5 mostly mirrors the :doc:`C++ API <../cpp/cpp>` and supports operator overloading, iterators, and exceptions. @@ -56,7 +56,7 @@ Building cvc5 Java API (< (+ a b) 1) `Package io.github.cvc5.api <io/github/cvc5/api/package-summary.html>`_ -^^^^^^^^^^^^^^^ +^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ * class `Datatype <io/github/cvc5/api/Datatype.html>`_ * class `DatatypeConstructor <io/github/cvc5/api/DatatypeConstructor.html>`_ |