Deprecated List (JavaSMT Solver Library)

For Removal
Element	Description
org.sosy_lab.java_smt.api.BitvectorFormulaManager.extract(BitvectorFormula, int, int, boolean)
org.sosy_lab.java_smt.api.BitvectorFormulaManager.modulo(BitvectorFormula, BitvectorFormula, boolean)
org.sosy_lab.java_smt.api.FloatingPointFormulaManager.castTo(FloatingPointFormula, FormulaType<T>)
org.sosy_lab.java_smt.api.FloatingPointFormulaManager.makeNumber(BigInteger, BigInteger, boolean, FormulaType.FloatingPointType)
org.sosy_lab.java_smt.api.FloatingPointNumber.DOUBLE_PRECISION_EXPONENT_SIZE
org.sosy_lab.java_smt.api.FloatingPointNumber.DOUBLE_PRECISION_MANTISSA_SIZE	this constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.
org.sosy_lab.java_smt.api.FloatingPointNumber.getMantissaSize()	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, and `FloatingPointNumber.getMantissaSizeWithHiddenBit()` if you want it to include the hidden bit.
org.sosy_lab.java_smt.api.FloatingPointNumber.getSign()
org.sosy_lab.java_smt.api.FloatingPointNumber.of(boolean, BigInteger, BigInteger, int, int)
org.sosy_lab.java_smt.api.FloatingPointNumber.SINGLE_PRECISION_EXPONENT_SIZE
org.sosy_lab.java_smt.api.FloatingPointNumber.SINGLE_PRECISION_MANTISSA_SIZE	this constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.
org.sosy_lab.java_smt.api.FormulaType.FloatingPointType.getMantissaSize()	this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this does not. Use `FormulaType.FloatingPointType.getMantissaSizeWithoutHiddenBit()` instead if you want the mantissa without the hidden bit, and `FormulaType.FloatingPointType.getMantissaSizeWithHiddenBit()` if you want it to include the hidden bit.
org.sosy_lab.java_smt.api.FormulaType.getFloatingPointType(int, int)	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. Use `FormulaType.getFloatingPointTypeFromSizesWithoutHiddenBit(int, int)` instead if you want to construct a `FormulaType.FloatingPointType` with the constructing method treating the mantissa argument without the hidden bit, and `FormulaType.getFloatingPointTypeFromSizesWithHiddenBit(int, int)` if you want it to include the hidden bit in the size of the mantissa argument.

Fields
Field	Description
org.sosy_lab.java_smt.api.FloatingPointNumber.DOUBLE_PRECISION_EXPONENT_SIZE
org.sosy_lab.java_smt.api.FloatingPointNumber.DOUBLE_PRECISION_MANTISSA_SIZE	this constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.
org.sosy_lab.java_smt.api.FloatingPointNumber.SINGLE_PRECISION_EXPONENT_SIZE
org.sosy_lab.java_smt.api.FloatingPointNumber.SINGLE_PRECISION_MANTISSA_SIZE	this constant can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this constant does not.

Methods
Method	Description
org.sosy_lab.java_smt.api.BitvectorFormulaManager.extract(BitvectorFormula, int, int, boolean)
org.sosy_lab.java_smt.api.BitvectorFormulaManager.modulo(BitvectorFormula, BitvectorFormula, boolean)
org.sosy_lab.java_smt.api.FloatingPointFormulaManager.castTo(FloatingPointFormula, FormulaType<T>)
org.sosy_lab.java_smt.api.FloatingPointFormulaManager.makeNumber(BigInteger, BigInteger, boolean, FormulaType.FloatingPointType)
org.sosy_lab.java_smt.api.FloatingPointNumber.getMantissaSize()	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, and `FloatingPointNumber.getMantissaSizeWithHiddenBit()` if you want it to include the hidden bit.
org.sosy_lab.java_smt.api.FloatingPointNumber.getSign()
org.sosy_lab.java_smt.api.FloatingPointNumber.of(boolean, BigInteger, BigInteger, int, int)
org.sosy_lab.java_smt.api.FormulaType.FloatingPointType.getMantissaSize()	this method can be confusing, as the SMTLIB2 standard expects the mantissa to include the hidden bit, but this does not. Use `FormulaType.FloatingPointType.getMantissaSizeWithoutHiddenBit()` instead if you want the mantissa without the hidden bit, and `FormulaType.FloatingPointType.getMantissaSizeWithHiddenBit()` if you want it to include the hidden bit.
org.sosy_lab.java_smt.api.FormulaType.getFloatingPointType(int, int)	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. Use `FormulaType.getFloatingPointTypeFromSizesWithoutHiddenBit(int, int)` instead if you want to construct a `FormulaType.FloatingPointType` with the constructing method treating the mantissa argument without the hidden bit, and `FormulaType.getFloatingPointTypeFromSizesWithHiddenBit(int, int)` if you want it to include the hidden bit in the size of the mantissa argument.
org.sosy_lab.java_smt.api.visitors.BooleanFormulaVisitor.visitBoundVar(BooleanFormula, int)
org.sosy_lab.java_smt.api.visitors.FormulaVisitor.visitBoundVariable(Formula, int)