diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-22 10:20:36 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-22 11:08:24 -0700 |
| commit | eb557b42a52354c565d924b8a32c199b4df432d2 (patch) | |
| tree | e57912a3976d7dc308430bccb45bff959d23f14c /docs | |
| parent | ccd0e7fdf1484d72b0a2565fefd0259fe7557b0c (diff) | |
api docs: Remove file reintroduced in past merge. (#6426)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/cpp.rst | 72 |
1 files changed, 0 insertions, 72 deletions
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 |