|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |