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.FloatingPointType, FormulaType.NumeralType<T extends NumeralFormula>

Field Summary
- Fields inherited from class org.sosy_lab.java_smt.api.FormulaType
  BooleanType, FloatingPointRoundingModeType, IntegerType, RationalType

Constructor Summary

Constructors
Constructor Description

ArrayFormulaType(FormulaType<TI> pIndexType, FormulaType<TE> pElementType)

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, getFloatingPointType, getSinglePrecisionFloatingPointType, isBitvectorType, isBooleanType, isFloatingPointRoundingModeType, isFloatingPointType, isIntegerType, isNumeralType, isRationalType, isSLType

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - ArrayFormulaType
```
public ArrayFormulaType(FormulaType<TI> pIndexType,
                        FormulaType<TE> pElementType)
```
- 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>>