|
||||||||||
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 java.util.Comparator<DatatypeManager.DVariable> |
DatatypeManager.SmallestEnumerationFirst.INSTANCE
|
protected java.util.List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.m_activeVariables
|
protected java.util.List<DatatypeManager.DVariable> |
DatatypeManager.m_auxiliaryVariableList
|
protected java.util.List<DatatypeManager.DVariable> |
DatatypeManager.DVariable.m_unequalTo
|
protected java.util.List<DatatypeManager.DVariable> |
DatatypeManager.DVariable.m_unequalToDirect
|
protected java.util.List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.m_unusedVariables
|
protected java.util.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 | |
---|---|
java.util.List<DatatypeManager.DVariable> |
DatatypeManager.DConjunction.getActiveVariables()
|
java.util.List<DatatypeManager.DVariable> |
DatatypeManager.DVariable.getUnequalToDirect()
|
Methods in org.semanticweb.HermiT.tableau with parameters of type DatatypeManager.DVariable | |
---|---|
protected void |
DatatypeManager.addDataRange(DatatypeManager.DVariable variable,
DataRange dataRange)
|
protected void |
DatatypeManager.DConjunction.addInequality(DatatypeManager.DVariable node1,
DatatypeManager.DVariable node2)
|
int |
DatatypeManager.SmallestEnumerationFirst.compare(DatatypeManager.DVariable o1,
DatatypeManager.DVariable o2)
|
boolean |
DatatypeManager.DVariable.hasSameRestrictions(DatatypeManager.DVariable that)
|
protected void |
DatatypeManager.loadAssertionDependencySets(DatatypeManager.DVariable variable)
|
protected void |
DatatypeManager.loadConjunctionFrom(DatatypeManager.DVariable startVariable)
|
protected void |
DatatypeManager.normalize(DatatypeManager.DVariable variable)
|
protected void |
DatatypeManager.normalizeAsEnumeration(DatatypeManager.DVariable variable)
|
protected void |
DatatypeManager.normalizeAsValueSpaceSubset(DatatypeManager.DVariable variable)
|
protected boolean |
DatatypeManager.satisfiesNeighbors(DatatypeManager.DVariable variable,
java.lang.Object dataValue)
|
protected void |
DatatypeManager.setClashFor(DatatypeManager.DVariable variable)
|
Method parameters in org.semanticweb.HermiT.tableau with type arguments of type DatatypeManager.DVariable | |
---|---|
protected void |
DatatypeManager.setClashFor(java.util.List<DatatypeManager.DVariable> variables)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |