RoundingMode
============

This enum class represents a floating-point rounding mode.

----

- enum class :cpp:enum:`cvc5::RoundingMode`
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, RoundingMode rm)`
- :cpp:func:`std::string std::to_string(cvc5::RoundingMode rm)`

----

.. doxygenenum:: cvc5::RoundingMode
    :project: cvc5

----

.. doxygenfunction:: cvc5::operator<<(std::ostream& out, RoundingMode rm)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::RoundingMode rm)
    :project: cvc5
