docs/cpp/cpp.rst


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

C++ API Documentation
=====================

Class Hierarchy
---------------

* namespace ``cvc5``

  * namespace ``api``

    * class :cpp:class:`cvc5::api::CVC4ApiException`

    * class :cpp:class:`cvc5::api::CVC4ApiRecoverableException`

    * class :doc:`datatype`

      * class :ref:`Datatype::const_iterator<datatype>`

    * class :doc:`datatypeconstructor`

      * class :ref:`DatatypeConstructor::const_iterator<datatypeconstructor>`

    * class :doc:`datatypeconstructordecl`

    * class :doc:`datatypedecl`

    * class :doc:`datatypeselector`

    * class :doc:`grammar`

    * class :doc:`op`

    * class :doc:`result`

    * class :doc:`solver`

    * class :doc:`term`

      * class :ref:`Term::const_iterator<term>`

    * enum :doc:`kind`

    * enum :doc:`roundingmode`

    * struct :ref:`KindHashFunction<kind>`

    * struct :ref:`OpHashFunction<op>`

    * struct :ref:`SortHashFunction<sort>`


Full API Documentation
----------------------

.. toctree::
  :maxdepth: 2

  datatype
  datatypeconstructor
  datatypeconstructordecl
  datatypedecl
  datatypeselector
  exceptions
  grammar
  kind
  op
  result
  roundingmode
  solver
  sort
  term