diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-20 15:11:39 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-20 15:11:39 -0800 |
commit | 6a02b2e28ee8d0560c923eaf0073c2fdce8fbfa2 (patch) | |
tree | f17b2eb5737d537e6b3ac69624a0bc1e1d8481b2 /src/util | |
parent | fedb3256b37511943c4a843327d36da31480be69 (diff) |
RoundingMode: Rename enum values to conform to code style guidelines. (#5494)
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/roundingmode.h | 13 | ||||
-rw-r--r-- | src/util/symfpu_literal.cpp | 10 |
2 files changed, 12 insertions, 11 deletions
diff --git a/src/util/roundingmode.h b/src/util/roundingmode.h index 245654a53..a1bda2988 100644 --- a/src/util/roundingmode.h +++ b/src/util/roundingmode.h @@ -27,13 +27,14 @@ namespace CVC4 { */ enum CVC4_PUBLIC RoundingMode { - roundNearestTiesToEven = FE_TONEAREST, - roundTowardPositive = FE_UPWARD, - roundTowardNegative = FE_DOWNWARD, - roundTowardZero = FE_TOWARDZERO, + ROUND_NEAREST_TIES_TO_EVEN = FE_TONEAREST, + ROUND_TOWARD_POSITIVE = FE_UPWARD, + ROUND_TOWARD_NEGATIVE = FE_DOWNWARD, + ROUND_TOWARD_ZERO = FE_TOWARDZERO, // Initializes this to the diagonalization of the 4 other values. - roundNearestTiesToAway = (((~FE_TONEAREST) & 0x1) | ((~FE_UPWARD) & 0x2) - | ((~FE_DOWNWARD) & 0x4) | ((~FE_TOWARDZERO) & 0x8)) + ROUND_NEAREST_TIES_TO_AWAY = + (((~FE_TONEAREST) & 0x1) | ((~FE_UPWARD) & 0x2) | ((~FE_DOWNWARD) & 0x4) + | ((~FE_TOWARDZERO) & 0x8)) }; /* enum RoundingMode */ /** diff --git a/src/util/symfpu_literal.cpp b/src/util/symfpu_literal.cpp index 46d3cbe40..b916d62f9 100644 --- a/src/util/symfpu_literal.cpp +++ b/src/util/symfpu_literal.cpp @@ -400,11 +400,11 @@ wrappedBitVector<isSigned> wrappedBitVector<isSigned>::extract( template class wrappedBitVector<true>; template class wrappedBitVector<false>; -traits::rm traits::RNE(void) { return ::CVC4::roundNearestTiesToEven; }; -traits::rm traits::RNA(void) { return ::CVC4::roundNearestTiesToAway; }; -traits::rm traits::RTP(void) { return ::CVC4::roundTowardPositive; }; -traits::rm traits::RTN(void) { return ::CVC4::roundTowardNegative; }; -traits::rm traits::RTZ(void) { return ::CVC4::roundTowardZero; }; +traits::rm traits::RNE(void) { return ::CVC4::ROUND_NEAREST_TIES_TO_EVEN; }; +traits::rm traits::RNA(void) { return ::CVC4::ROUND_NEAREST_TIES_TO_AWAY; }; +traits::rm traits::RTP(void) { return ::CVC4::ROUND_TOWARD_POSITIVE; }; +traits::rm traits::RTN(void) { return ::CVC4::ROUND_TOWARD_NEGATIVE; }; +traits::rm traits::RTZ(void) { return ::CVC4::ROUND_TOWARD_ZERO; }; // This is a literal back-end so props are actually bools // so these can be handled in the same way as the internal assertions above |