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