RoundingMode

This enum represents a floating-point rounding mode.

class cvc5.RoundingMode(*values)

The RoundingMode enum

ROUND_NEAREST_TIES_TO_AWAY = 4

ROUND_NEAREST_TIES_TO_EVEN = 0

ROUND_TOWARD_NEGATIVE = 2

ROUND_TOWARD_POSITIVE = 1

ROUND_TOWARD_ZERO = 3