Cvc5RoundingMode
================

This enum represents a floating-point rounding mode.

.. container:: hide-toctree

  .. toctree::

----

.. doxygenenum:: Cvc5RoundingMode
    :project: cvc5_c

----

.. doxygenfunction:: cvc5_rm_to_string
    :project: cvc5_c
