Uses of Class
org.semanticweb.HermiT.model.ConstantEnumeration

Packages that use ConstantEnumeration

Package	Description
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of ConstantEnumeration in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return ConstantEnumeration

Modifier and Type	Method and Description
static ConstantEnumeration	ConstantEnumeration.create(Constant[] constants)

Uses of ConstantEnumeration in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type ConstantEnumeration

Modifier and Type	Method and Description
List<ConstantEnumeration>	DatatypeManager.DVariable.getNegativeDataValueEnumerations()
List<ConstantEnumeration>	DatatypeManager.DVariable.getPositiveDataValueEnumerations()