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

Modifier and Type	Method	Description
final 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

NumeralType

public NumeralType()

Method Details

isNumeralType

public final boolean isNumeralType()

Overrides:

isNumeralType in class FormulaType<T extends NumeralFormula>