|
||||||||||
| 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 | |||||||||