From eb557b42a52354c565d924b8a32c199b4df432d2 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 22 Apr 2021 10:20:36 -0700 Subject: [PATCH] api docs: Remove file reintroduced in past merge. (#6426) --- docs/cpp.rst | 72 ---------------------------------------------------- 1 file changed, 72 deletions(-) delete mode 100644 docs/cpp.rst 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` - - * class :doc:`cpp/datatypeconstructor` - - * class :ref:`DatatypeConstructor::const_iterator` - - * 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` - - * enum :doc:`cpp/kind` - - * enum :doc:`cpp/roundingmode` - - * struct :ref:`KindHashFunction` - - * struct :ref:`OpHashFunction` - - * struct :ref:`SortHashFunction` - - - -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 -- 2.30.2