FormulaType.ArrayFormulaType (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.api.FormulaType<ArrayFormula<TI,TE>>
- - org.sosy_lab.java_smt.api.FormulaType.ArrayFormulaType<TI,TE>

Enclosing class:: FormulaType<T extends Formula>

public static final class FormulaType.ArrayFormulaType<TI extends Formula,TE extends Formula>
extends FormulaType<ArrayFormula<TI,TE>>

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)`
`FormulaType<TE>`	`getElementType()`
`FormulaType<TI>`	`getIndexType()`
`int`	`hashCode()`
`boolean`	`isArrayType()`
`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, isBitvectorType, 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
  - getElementType
```
public FormulaType<TE> getElementType()
```
  - getIndexType
```
public FormulaType<TI> getIndexType()
```
  - isArrayType
```
public boolean isArrayType()
```
    Overrides:
    
    isArrayType in class FormulaType<ArrayFormula<TI extends Formula,TE extends Formula>>
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class FormulaType<ArrayFormula<TI extends Formula,TE extends Formula>>
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals 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<ArrayFormula<TI extends Formula,TE extends Formula>>