FormulaType.FloatingPointType (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.api.FormulaType<FloatingPointFormula>
- - org.sosy_lab.java_smt.api.FormulaType.FloatingPointType

Enclosing class:: FormulaType<T extends Formula>

@Immutable
public static final class FormulaType.FloatingPointType
extends FormulaType<FloatingPointFormula>

Nested Class Summary
- Nested classes/interfaces inherited from class org.sosy_lab.java_smt.api.FormulaType
  FormulaType.ArrayFormulaType<TI extends Formula,TE extends Formula>, FormulaType.BitvectorType, FormulaType.FloatingPointType, FormulaType.NumeralType<T extends NumeralFormula>

Field Summary
- Fields inherited from class org.sosy_lab.java_smt.api.FormulaType
  BooleanType, FloatingPointRoundingModeType, IntegerType, RationalType

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`int`	`getExponentSize()`
`int`	`getMantissaSize()`
`int`	`getTotalSize()`	Return the total size of a value of this type in bits.
`int`	`hashCode()`
`boolean`	`isFloatingPointType()`
`String`	`toString()`

Methods inherited from class org.sosy_lab.java_smt.api.FormulaType
fromString, getArrayType, getBitvectorTypeWithSize, getDoublePrecisionFloatingPointType, getFloatingPointType, getSinglePrecisionFloatingPointType, isArrayType, isBitvectorType, isBooleanType, isFloatingPointRoundingModeType, isIntegerType, isNumeralType, isRationalType, isSLType

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Method Detail
  - isFloatingPointType
```
public boolean isFloatingPointType()
```
    Overrides:
    
    isFloatingPointType in class FormulaType<FloatingPointFormula>
  - getExponentSize
```
public int getExponentSize()
```
  - getMantissaSize
```
public int getMantissaSize()
```
  - getTotalSize
```
public int getTotalSize()
```
    Return the total size of a value of this type in bits.
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class FormulaType<FloatingPointFormula>