Package 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.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
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
-
Method Details
-
getElementType
-
getIndexType
-
isArrayType
public boolean isArrayType()- Overrides:
isArrayTypein classFormulaType<ArrayFormula<TI extends Formula,TE extends Formula>>
-
toString
- Specified by:
toStringin classFormulaType<ArrayFormula<TI extends Formula,TE extends Formula>>
-
hashCode
public int hashCode() -
equals
-
toSMTLIBString
Description copied from class:FormulaTypereturn the correctly formatted SMTLIB2 type declaration.- Specified by:
toSMTLIBStringin classFormulaType<ArrayFormula<TI extends Formula,TE extends Formula>>
-