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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FormulaType.EnumerationFormulaType
getEnumerationFormulaType()
boolean
hasConstants(String name)
-
-
-
Constructor Detail
-
EnumType
public EnumType(FormulaType.EnumerationFormulaType pEnumerationFormulaType, TType pNativeType, ImmutableMap<String,TFormulaInfo> pConstants)
-
-
Method Detail
-
getEnumerationFormulaType
public FormulaType.EnumerationFormulaType getEnumerationFormulaType()
-
hasConstants
public boolean hasConstants(String name)
-
-