public enum RoundingMode extends java.lang.Enum<RoundingMode>
Enum Constant and Description |
---|
ROUND_NEAREST_TIES_TO_AWAY
Round to the nearest number away from zero.
|
ROUND_NEAREST_TIES_TO_EVEN
Round to the nearest even number.
|
ROUND_TOWARD_NEGATIVE
Round towards negative infinity (
-oo ). |
ROUND_TOWARD_POSITIVE
Round towards positive infinity (SMT-LIB:
+oo ). |
ROUND_TOWARD_ZERO
Round towards zero.
|
Modifier and Type | Method and Description |
---|---|
static RoundingMode |
fromInt(int value) |
int |
getValue() |
static RoundingMode |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static RoundingMode[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final RoundingMode ROUND_NEAREST_TIES_TO_EVEN
public static final RoundingMode ROUND_TOWARD_POSITIVE
+oo
).
The result shall be the format's floating-point number (possibly +oo
)
closest to and no less than the infinitely precise result.public static final RoundingMode ROUND_TOWARD_NEGATIVE
-oo
).
The result shall be the format's floating-point number (possibly -oo
)
closest to and no less than the infinitely precise result.public static final RoundingMode ROUND_TOWARD_ZERO
public static final RoundingMode ROUND_NEAREST_TIES_TO_AWAY
public static RoundingMode[] values()
for (RoundingMode c : RoundingMode.values()) System.out.println(c);
public static RoundingMode valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic static RoundingMode fromInt(int value) throws CVC5ApiException
CVC5ApiException
public int getValue()