Files
cvc5/docs/api/python/base/roundingmode.rst

11 lines
158 B
ReStructuredText

RoundingMode
================
This enum represents a floating-point rounding mode.
----
.. autoclass:: cvc5.RoundingMode
:members:
:undoc-members: