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

Packages that use ConstantEnumeration
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.tableau   
 

Uses of ConstantEnumeration in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type ConstantEnumeration
protected  int Printing.DataRangeComparator.compareConstantEnumerations(ConstantEnumeration dve1, ConstantEnumeration dve2)
           
 

Uses of ConstantEnumeration in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model with type parameters of type ConstantEnumeration
protected static InterningManager<ConstantEnumeration> ConstantEnumeration.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return ConstantEnumeration
static ConstantEnumeration ConstantEnumeration.create(Constant[] constants)
           
 

Uses of ConstantEnumeration in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type ConstantEnumeration
protected  java.util.List<ConstantEnumeration> DatatypeManager.DVariable.m_negativeConstantEnumerations
           
protected  java.util.List<ConstantEnumeration> DatatypeManager.DVariable.m_positiveConstantEnumerations
           
 

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type ConstantEnumeration
 java.util.List<ConstantEnumeration> DatatypeManager.DVariable.getNegativeDataValueEnumerations()
           
 java.util.List<ConstantEnumeration> DatatypeManager.DVariable.getPositiveDataValueEnumerations()
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type ConstantEnumeration
protected  boolean DatatypeManager.containsDataValue(ConstantEnumeration constantEnumeration, java.lang.Object dataValue)