-
Terminally Deprecated ElementsElementDescriptionthis constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this does not. Use
FloatingPointNumber.getMantissaSizeWithoutHiddenBit()instead if you want the mantissa without the hidden bit, andFloatingPointNumber.getMantissaSizeWithHiddenBit()if you want it to include the hidden bit.UseFloatingPointNumber.of(String, FloatingPointType)instead.this constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this does not. UseFormulaType.FloatingPointType.getMantissaSizeWithoutHiddenBit()instead if you want the mantissa without the hidden bit, andFormulaType.FloatingPointType.getMantissaSizeWithHiddenBit()if you want it to include the hidden bit.this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this method expects the mantissa argument without the hidden bit. UseFormulaType.getFloatingPointTypeFromSizesWithoutHiddenBit(int, int)instead if you want to construct aFormulaType.FloatingPointTypewith the constructing method treating the mantissa argument without the hidden bit, andFormulaType.getFloatingPointTypeFromSizesWithHiddenBit(int, int)if you want it to include the hidden bit in the size of the mantissa argument.
-
Deprecated FieldsFieldDescriptionthis constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.this constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.
-
Deprecated MethodsMethodDescriptionthis method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this does not. Use
FloatingPointNumber.getMantissaSizeWithoutHiddenBit()instead if you want the mantissa without the hidden bit, andFloatingPointNumber.getMantissaSizeWithHiddenBit()if you want it to include the hidden bit.UseFloatingPointNumber.of(String, FloatingPointType)instead.this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this does not. UseFormulaType.FloatingPointType.getMantissaSizeWithoutHiddenBit()instead if you want the mantissa without the hidden bit, andFormulaType.FloatingPointType.getMantissaSizeWithHiddenBit()if you want it to include the hidden bit.this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this method expects the mantissa argument without the hidden bit. UseFormulaType.getFloatingPointTypeFromSizesWithoutHiddenBit(int, int)instead if you want to construct aFormulaType.FloatingPointTypewith the constructing method treating the mantissa argument without the hidden bit, andFormulaType.getFloatingPointTypeFromSizesWithHiddenBit(int, int)if you want it to include the hidden bit in the size of the mantissa argument.