diff options
Diffstat (limited to 'docs/api/cpp/class_hierarchy.rst')
-rw-r--r-- | docs/api/cpp/class_hierarchy.rst | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/docs/api/cpp/class_hierarchy.rst b/docs/api/cpp/class_hierarchy.rst deleted file mode 100644 index b441106ff..000000000 --- a/docs/api/cpp/class_hierarchy.rst +++ /dev/null @@ -1,47 +0,0 @@ -C++ API Class Hierarchy -======================= - -``namespace cvc5::api {`` - - * class :cpp:class:`CVC5ApiException <cvc5::api::CVC5ApiException>` - * class :cpp:class:`CVC5ApiRecoverableException <cvc5::api::CVC5ApiRecoverableException>` - - * class :ref:`api/cpp/datatype:datatype` - - * class :cpp:class:`const_iterator <cvc5::api::Datatype::const_iterator>` - - * class :ref:`api/cpp/datatypeconstructor:datatypeconstructor` - - * class :cpp:class:`const_iterator <cvc5::api::DatatypeConstructor::const_iterator>` - - * class :ref:`api/cpp/datatypeconstructordecl:datatypeconstructordecl` - * class :ref:`api/cpp/datatypedecl:datatypedecl` - * class :ref:`api/cpp/datatypeselector:datatypeselector` - - * class :ref:`api/cpp/grammar:grammar` - - * class :ref:`api/cpp/kind:kind` - - * class :ref:`api/cpp/op:op` - - * class :ref:`api/cpp/optioninfo:optioninfo` - - * class :ref:`api/cpp/result:result` - - * enum :cpp:enum:`UnknownExplanation <cvc5::api::Result::UnknownExplanation>` - - * class :ref:`api/cpp/roundingmode:roundingmode` - - * class :ref:`api/cpp/solver:solver` - - * class :ref:`api/cpp/sort:sort` - - * class :cpp:class:`Stat <cvc5::api::Stat>` - - * class :cpp:class:`Statistics <cvc5::api::Statistics>` - - * class :ref:`api/cpp/term:term` - - * class :cpp:class:`const_iterator <cvc5::api::Term::const_iterator>` - -``}`` |