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.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
NumeralType()

Method Summary

Modifier and Type	Method and Description
boolean	isNumeralType()

Methods inherited from class org.sosy_lab.java_smt.api.FormulaType

fromString, getArrayType, getBitvectorTypeWithSize, getDoublePrecisionFloatingPointType, getFloatingPointType, getSinglePrecisionFloatingPointType, isArrayType, isBitvectorType, isBooleanType, isFloatingPointRoundingModeType, isFloatingPointType, isIntegerType, isRationalType, isSLType, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

NumeralType

public NumeralType()

Method Detail

isNumeralType

public final boolean isNumeralType()

Overrides:

isNumeralType in class FormulaType<T extends NumeralFormula>