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.EnumerationFormulaType, FormulaType.FloatingPointType, FormulaType.NumeralType<T extends NumeralFormula>

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

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`	`toSMTLIBString()`	return the correctly formatted SMTLIB2 type declaration.
`String`	`toString()`

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

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>
  - toSMTLIBString
```
public String toSMTLIBString()
```
    Description copied from class: FormulaType
    
    return the correctly formatted SMTLIB2 type declaration.
    
    Specified by:
    
    toSMTLIBString in class FormulaType<FloatingPointFormula>