mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
69 lines
1.6 KiB
ReStructuredText
69 lines
1.6 KiB
ReStructuredText
.. _cpp-api:
|
|
|
|
C++ API Documentation
|
|
=====================
|
|
|
|
.. toctree::
|
|
:maxdepth: 2
|
|
|
|
datatype
|
|
datatypeconstructor
|
|
datatypeconstructordecl
|
|
datatypedecl
|
|
datatypeselector
|
|
exceptions
|
|
grammar
|
|
kind
|
|
op
|
|
result
|
|
roundingmode
|
|
solver
|
|
sort
|
|
statistics
|
|
term
|
|
|
|
|
|
Class Hierarchy
|
|
---------------
|
|
|
|
* namespace ``cvc5::api``
|
|
|
|
* class :cpp:class:`CVC5ApiException <cvc5::api::CVC5ApiException>`
|
|
* class :cpp:class:`CVC5ApiRecoverableException <cvc5::api::CVC5ApiRecoverableException>`
|
|
|
|
* class :cpp:class:`Datatype <cvc5::api::Datatype>`
|
|
|
|
* class :cpp:class:`const_iterator <cvc5::api::Datatype::const_iterator>`
|
|
|
|
* class :cpp:class:`DatatypeConstructor <cvc5::api::DatatypeConstructor>`
|
|
|
|
* class :cpp:class:`const_iterator <cvc5::api::DatatypeConstructor::const_iterator>`
|
|
|
|
* class :cpp:class:`DatatypeConstructorDecl <cvc5::api::DatatypeConstructorDecl>`
|
|
* class :cpp:class:`DatatypeDecl <cvc5::api::DatatypeDecl>`
|
|
* class :cpp:class:`DatatypeSelector <cvc5::api::DatatypeSelector>`
|
|
|
|
* class :cpp:class:`Grammar <cvc5::api::Grammar>`
|
|
|
|
* enum :cpp:enum:`Kind <cvc5::api::Kind>`
|
|
|
|
* class :cpp:class:`Op <cvc5::api::Op>`
|
|
|
|
* class :cpp:class:`Result <cvc5::api::Result>`
|
|
|
|
* enum :cpp:enum:`UnknownExplanation <cvc5::api::Result::UnknownExplanation>`
|
|
|
|
* enum :cpp:enum:`RoundingMode <cvc5::api::RoundingMode>`
|
|
|
|
* class :cpp:class:`Solver <cvc5::api::Solver>`
|
|
|
|
* class :cpp:class:`Sort <cvc5::api::Sort>`
|
|
|
|
* class :cpp:class:`Stat <cvc5::api::Stat>`
|
|
|
|
* class :cpp:class:`Statistics <cvc5::api::Statistics>`
|
|
|
|
* class :cpp:class:`Term <cvc5::api::Term>`
|
|
|
|
* class :cpp:class:`const_iterator <cvc5::api::Term::const_iterator>`
|