From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 22 Apr 2021 17:20:36 +0000 (-0700)
Subject: api docs: Remove file reintroduced in past merge. (#6426)
X-Git-Tag: cvc5-1.0.0~1856
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eb557b42a52354c565d924b8a32c199b4df432d2;p=cvc5.git

api docs: Remove file reintroduced in past merge. (#6426)
---

diff --git a/docs/cpp.rst b/docs/cpp.rst
deleted file mode 100644
index eeeae257e..000000000
--- a/docs/cpp.rst
+++ /dev/null
@@ -1,72 +0,0 @@
-C++ API Documentation
-=====================
-
-Class Hierarchy
----------------
-
-* namespace ``cvc5``
-
-  * namespace ``api``
-
-    * class :cpp:class:`cvc5::api::CVC5ApiException`
-
-    * class :cpp:class:`cvc5::api::CVC5ApiRecoverableException`
-
-    * class :doc:`cpp/datatype`
-
-      * class :ref:`Datatype::const_iterator<datatype>`
-
-    * class :doc:`cpp/datatypeconstructor`
-
-      * class :ref:`DatatypeConstructor::const_iterator<datatypeconstructor>`
-
-    * class :doc:`cpp/datatypeconstructordecl`
-
-    * class :doc:`cpp/datatypedecl`
-
-    * class :doc:`cpp/datatypeselector`
-
-    * class :doc:`cpp/grammar`
-
-    * class :doc:`cpp/op`
-
-    * class :doc:`cpp/result`
-
-    * class :doc:`cpp/solver`
-
-    * class :doc:`cpp/term`
-
-      * class :ref:`Term::const_iterator<term>`
-
-    * enum :doc:`cpp/kind`
-
-    * enum :doc:`cpp/roundingmode`
-
-    * struct :ref:`KindHashFunction<kind>`
-
-    * struct :ref:`OpHashFunction<op>`
-
-    * struct :ref:`SortHashFunction<sort>`
-
-
-
-Full API Documentation
-----------------------
-
-.. toctree::
-   :maxdepth: 2
-
-   cpp/datatype
-   cpp/datatypeconstructor
-   cpp/datatypeconstructordecl
-   cpp/datatypedecl
-   cpp/datatypeselector
-   cpp/exceptions
-   cpp/grammar
-   cpp/kind
-   cpp/op
-   cpp/result
-   cpp/roundingmode
-   cpp/solver
-   cpp/sort
-   cpp/term