Package org.sosy_lab.java_smt.api

Class FormulaType.EnumerationFormulaType

java.lang.Object

org.sosy_lab.java_smt.api.FormulaType<EnumerationFormula>

org.sosy_lab.java_smt.api.FormulaType.EnumerationFormulaType

Enclosing class:

FormulaType<T extends Formula>

public static final class FormulaType.EnumerationFormulaType
extends FormulaType<EnumerationFormula>

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

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	getCardinality()
ImmutableSet<String>	getElements()
String	getName()
int	hashCode()
boolean	isEnumerationType()
String	toSMTLIBString()	return the correctly formatted SMTLIB2 type declaration.
String	toString()

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

fromString, getArrayType, getBitvectorTypeWithSize, getDoublePrecisionFloatingPointType, getEnumerationType, getFloatingPointType, getSinglePrecisionFloatingPointType, isArrayType, isBitvectorType, isBooleanType, isFloatingPointRoundingModeType, isFloatingPointType, isIntegerType, isNumeralType, isRationalType, isRegexType, isSLType, isStringType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

getName

public String getName()

getElements

public ImmutableSet<String> getElements()

getCardinality

public int getCardinality()

isEnumerationType

public boolean isEnumerationType()

Overrides:

isEnumerationType in class FormulaType<EnumerationFormula>

toString

public String toString()

Specified by:

toString in class FormulaType<EnumerationFormula>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toSMTLIBString

public String toSMTLIBString()

Description copied from class: FormulaType

return the correctly formatted SMTLIB2 type declaration.

Specified by:

toSMTLIBString in class FormulaType<EnumerationFormula>