org.sosy_lab.java_smt.api

Class FormulaType.FloatingPointType

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

Modifier and Type	Method and 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

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>