Uses of Class
org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

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)