org.sosy_lab.java_smt.api

Class FormulaType.BitvectorType

java.lang.Object

org.sosy_lab.java_smt.api.FormulaType<BitvectorFormula>

org.sosy_lab.java_smt.api.FormulaType.BitvectorType

Enclosing class:

FormulaType<T extends Formula>

@Immutable
public static final class FormulaType.BitvectorType
extends FormulaType<BitvectorFormula>

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 pObj)
int	getSize()
int	hashCode()
boolean	isBitvectorType()
String	toString()

Methods inherited from class org.sosy_lab.java_smt.api.FormulaType

fromString, getArrayType, getBitvectorTypeWithSize, getDoublePrecisionFloatingPointType, getFloatingPointType, getSinglePrecisionFloatingPointType, isArrayType, isBooleanType, isFloatingPointRoundingModeType, isFloatingPointType, isIntegerType, isNumeralType, isRationalType, isSLType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

isBitvectorType

public boolean isBitvectorType()

Overrides:

isBitvectorType in class FormulaType<BitvectorFormula>

getSize

public int getSize()

toString

public String toString()

Specified by:

toString in class FormulaType<BitvectorFormula>

equals

public boolean equals(Object pObj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object