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
|
Term
----
Terms of a given :cpp:enum:`bitwuzla::Kind` are created via
:cpp:func:`bitwuzla::mk_term()`. A comprehensive documentation of supported
term kinds can be found :doc:`here <enums/kind>`.
For creating terms that represent general and special values of a given sort,
Bitwuzla provides additional functions, see below.
.. note::
Terms are not tied to a specific Bitwuzla instance and can be shared across
instances.
----
- class :cpp:class:`bitwuzla::Term`
- struct :cpp:struct:`std::hash\<bitwuzla::Term>`
- :cpp:func:`bool bitwuzla::operator==(const Term& a, const Term& b)`
- :cpp:func:`bool bitwuzla::operator!=(const Term& a, const Term& b)`
- :cpp:func:`std::ostream& bitwuzla::operator<<(std::ostream& out, const Term& term)`
----
:code:`namespace bitwuzla {`
.. doxygenclass:: bitwuzla::Term
:project: Bitwuzla_cpp
:members:
----
.. doxygenfunction:: bitwuzla::operator==(const Term& a, const Term& b)
:project: Bitwuzla_cpp
.. doxygenfunction:: bitwuzla::operator!=(const Term& a, const Term& b)
:project: Bitwuzla_cpp
.. doxygenfunction:: bitwuzla::operator<<(std::ostream& out, const Term& term)
:project: Bitwuzla_cpp
:code:`}`
----
:code:`namespace std {`
.. doxygenstruct:: std::hash< bitwuzla::Term >
:project: Bitwuzla_cpp
:members:
:code:`}`
|
