mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
46f5a39730
This removes the separate documentation for the `UnknownExplanation` enum, as it is already included in the documentation of the `Result` class.
33 lines
415 B
ReStructuredText
33 lines
415 B
ReStructuredText
.. _cpp-api:
|
|
|
|
C++ API Documentation
|
|
=====================
|
|
|
|
.. toctree::
|
|
:maxdepth: 1
|
|
|
|
quickstart
|
|
class_hierarchy
|
|
|
|
.. container:: hide-toctree
|
|
|
|
.. toctree::
|
|
:maxdepth: 0
|
|
|
|
datatype
|
|
datatypeconstructor
|
|
datatypeconstructordecl
|
|
datatypedecl
|
|
datatypeselector
|
|
exceptions
|
|
grammar
|
|
kind
|
|
op
|
|
optioninfo
|
|
result
|
|
roundingmode
|
|
solver
|
|
sort
|
|
statistics
|
|
term
|