org.sosy_lab.solver.api

Class FormulaType.NumeralType<T extends NumeralFormula>

java.lang.Object

org.sosy_lab.solver.api.FormulaType<T>

org.sosy_lab.solver.api.FormulaType.NumeralType<T>

Enclosing class:

FormulaType<T extends Formula>

public abstract static class FormulaType.NumeralType<T extends NumeralFormula>
extends FormulaType<T>

Nested Class Summary

Nested classes/interfaces inherited from class org.sosy_lab.solver.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.solver.api.FormulaType

BooleanType, IntegerType, RationalType

Constructor Summary

Constructors

Constructor and Description
FormulaType.NumeralType()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isNumeralType()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaType.NumeralType

public FormulaType.NumeralType()

Method Detail

isNumeralType

public final boolean isNumeralType()

Overrides:

isNumeralType in class FormulaType<T extends NumeralFormula>