mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
26 lines
616 B
ReStructuredText
26 lines
616 B
ReStructuredText
UnknownExplanation
|
|
==================
|
|
|
|
This enum class represents the explanation for an unknown solver result
|
|
(see :doc:`../classes/result`).
|
|
|
|
----
|
|
|
|
- enum class :cpp:enum:`cvc5::UnknownExplanation`
|
|
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, UnknownExplanation e)`
|
|
- :cpp:func:`std::string std::to_string(cvc5::UnknownExplanation ue)`
|
|
|
|
----
|
|
|
|
.. doxygenenum:: cvc5::UnknownExplanation
|
|
:project: cvc5
|
|
|
|
----
|
|
|
|
.. doxygenfunction:: cvc5::operator<<(std::ostream& out, UnknownExplanation e)
|
|
:project: cvc5
|
|
|
|
.. doxygenfunction:: std::to_string(cvc5::UnknownExplanation ue)
|
|
:project: cvc5
|
|
|