|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DatatypeManager.DVariable | |
---|---|
org.semanticweb.HermiT.tableau |
Uses of DatatypeManager.DVariable in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as DatatypeManager.DVariable | |
---|---|
protected DatatypeManager.DVariable[] |
DatatypeManager.DConjunction.m_buckets
|
protected DatatypeManager.DVariable |
DatatypeManager.DVariable.m_nextEntry
|
Fields in org.semanticweb.HermiT.tableau with type parameters of type DatatypeManager.DVariable | |
---|---|
static Comparator<DatatypeManager.DVariable> |
DatatypeManager.SmallestEnumerationFirst.INSTANCE
|
protected List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.m_activeVariables
|
protected List<DatatypeManager.DVariable> |
DatatypeManager.m_auxiliaryVariableList
|
protected List<DatatypeManager.DVariable> |
DatatypeManager.DVariable.m_unequalTo
|
protected List<DatatypeManager.DVariable> |
DatatypeManager.DVariable.m_unequalToDirect
|
protected List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.m_unusedVariables
|
protected List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.m_usedVariables
|
Methods in org.semanticweb.HermiT.tableau that return DatatypeManager.DVariable | |
---|---|
protected DatatypeManager.DVariable |
DatatypeManager.getAndInitializeVariableFor(Node node,
boolean[] newVariableAdded)
|
DatatypeManager.DVariable |
DatatypeManager.DConjunction.getVariableFor(Node node)
|
protected DatatypeManager.DVariable |
DatatypeManager.DConjunction.getVariableForEx(Node node,
boolean[] newVariableAdded)
|
Methods in org.semanticweb.HermiT.tableau that return types with arguments of type DatatypeManager.DVariable | |
---|---|
List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.getActiveVariables()
|
List<DatatypeManager.DVariable> |
DatatypeManager.DVariable.getUnequalToDirect()
|
Method parameters in org.semanticweb.HermiT.tableau with type arguments of type DatatypeManager.DVariable | |
---|---|
protected void |
DatatypeManager.setClashFor(List<DatatypeManager.DVariable> variables)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |