diff options
Diffstat (limited to 'docs/cpp.rst')
-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 413524078..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::CVC4ApiException` - - * class :cpp:class:`cvc5::api::CVC4ApiRecoverableException` - - * 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 |