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

This enum class represents a floating-point rounding mode.

----

- enum class :cpp:enum:`cvc5::RoundingMode`

----

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


