mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
30 lines
567 B
ReStructuredText
30 lines
567 B
ReStructuredText
SortKind
|
|
========
|
|
|
|
Every :cpp:class:`Sort <cvc5::Sort>` has an associated kind, represented
|
|
as enum class :cpp:enum:`cvc5::SortKind`.
|
|
|
|
----
|
|
|
|
- enum class :cpp:enum:`cvc5::SortKind`
|
|
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, SortKind kind)`
|
|
- :cpp:struct:`std::hash\<cvc5::SortKind>`
|
|
|
|
----
|
|
|
|
.. doxygenenum:: cvc5::SortKind
|
|
:project: cvc5
|
|
|
|
----
|
|
|
|
.. doxygenfunction:: cvc5::operator<<(std::ostream& out, SortKind kind)
|
|
:project: cvc5
|
|
|
|
----
|
|
|
|
.. doxygenstruct:: std::hash< cvc5::SortKind >
|
|
:project: std
|
|
:members:
|
|
:undoc-members:
|
|
|