org.sosy_lab.java_smt.api

Class FormulaType.ArrayFormulaType<TI extends Formula,TE extends Formula>

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 and Description
ArrayFormulaType(FormulaType<TI> pIndexType, FormulaType<TE> pElementType)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
FormulaType<TE>	getElementType()
FormulaType<TI>	getIndexType()
int	hashCode()
boolean	isArrayType()
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

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