FormulaType.BitvectorType (JavaSMT Solver Library)

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.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 pObj)`
`int`	`getSize()`
`int`	`hashCode()`
`boolean`	`isBitvectorType()`
`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, isBooleanType, isEnumerationType, isFloatingPointRoundingModeType, isFloatingPointType, isIntegerType, isNumeralType, isRationalType, isRegexType, isSLType, isStringType

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