Package org.sosy_lab.java_smt.api
Class FormulaType.NumeralType<T extends NumeralFormula>
- java.lang.Object
-
- org.sosy_lab.java_smt.api.FormulaType<T>
-
- org.sosy_lab.java_smt.api.FormulaType.NumeralType<T>
-
- Enclosing class:
- FormulaType<T extends Formula>
@Immutable public abstract static class FormulaType.NumeralType<T extends NumeralFormula> extends FormulaType<T>
-
-
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
-
-
Constructor Summary
Constructors Constructor Description NumeralType()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isNumeralType()
-
Methods inherited from class org.sosy_lab.java_smt.api.FormulaType
fromString, getArrayType, getBitvectorTypeWithSize, getDoublePrecisionFloatingPointType, getEnumerationType, getFloatingPointType, getSinglePrecisionFloatingPointType, isArrayType, isBitvectorType, isBooleanType, isEnumerationType, isFloatingPointRoundingModeType, isFloatingPointType, isIntegerType, isRationalType, isRegexType, isSLType, isStringType, toSMTLIBString, toString
-
-
-
-
Method Detail
-
isNumeralType
public final boolean isNumeralType()
- Overrides:
isNumeralType
in classFormulaType<T extends NumeralFormula>
-
-