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

