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.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, getFloatingPointType, getSinglePrecisionFloatingPointType, isArrayType, isBooleanType, 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>