blob: a2e9289279a46c114403dce798dd6f68150b84a1 (
plain)
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
|
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>`
|