Package org.sosy_lab.java_smt.basicimpl

Class AbstractEnumerationFormulaManager.EnumType

java.lang.Object

org.sosy_lab.java_smt.basicimpl.AbstractEnumerationFormulaManager.EnumType

Enclosing class:

AbstractEnumerationFormulaManager<TFormulaInfo,TType,TEnv,TFuncDecl>

protected class AbstractEnumerationFormulaManager.EnumType
extends Object

The class 'EnumType' is just a plain internal value-holding class.

Constructor Summary

Constructors

Constructor	Description
EnumType(FormulaType.EnumerationFormulaType pEnumerationFormulaType, TType pNativeType, ImmutableMap<String,TFormulaInfo> pConstants)

Method Summary

Modifier and Type	Method	Description
FormulaType.EnumerationFormulaType	getEnumerationFormulaType()
boolean	hasConstants(String name)

Methods inherited from class java.lang.Object

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

Constructor Details

EnumType

public EnumType(FormulaType.EnumerationFormulaType pEnumerationFormulaType,
 TType pNativeType,
 ImmutableMap<String,TFormulaInfo> pConstants)

Method Details

getEnumerationFormulaType

public FormulaType.EnumerationFormulaType getEnumerationFormulaType()

hasConstants

public boolean hasConstants(String name)