org.semanticweb.HermiT.tableau
Class DatatypeManager.DConjunction

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DatatypeManager

public static class DatatypeManager.DConjunction
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  java.util.List<DatatypeManager.DVariable> m_activeVariables
           
protected  DatatypeManager.DVariable[] m_buckets
           
protected  int m_numberOfEntries
           
protected  int m_resizeThreshold
           
protected  java.util.List<DatatypeManager.DVariable> m_unusedVariables
           
protected  java.util.List<DatatypeManager.DVariable> m_usedVariables
           
 
Constructor Summary
DatatypeManager.DConjunction()
           
 
Method Summary
protected  void addInequality(DatatypeManager.DVariable node1, DatatypeManager.DVariable node2)
           
protected  void clear()
           
protected  void clearActiveVariables()
           
 java.util.List<DatatypeManager.DVariable> getActiveVariables()
           
 DatatypeManager.DVariable getVariableFor(Node node)
           
protected  DatatypeManager.DVariable getVariableForEx(Node node, boolean[] newVariableAdded)
           
 boolean isSymmetricClique()
           
protected  void resize(int newCapacity)
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_unusedVariables

protected final java.util.List<DatatypeManager.DVariable> m_unusedVariables

m_usedVariables

protected final java.util.List<DatatypeManager.DVariable> m_usedVariables

m_activeVariables

protected final java.util.List<DatatypeManager.DVariable> m_activeVariables

m_buckets

protected DatatypeManager.DVariable[] m_buckets

m_numberOfEntries

protected int m_numberOfEntries

m_resizeThreshold

protected int m_resizeThreshold
Constructor Detail

DatatypeManager.DConjunction

public DatatypeManager.DConjunction()
Method Detail

clear

protected void clear()

clearActiveVariables

protected void clearActiveVariables()

getActiveVariables

public java.util.List<DatatypeManager.DVariable> getActiveVariables()

getVariableFor

public DatatypeManager.DVariable getVariableFor(Node node)

getVariableForEx

protected DatatypeManager.DVariable getVariableForEx(Node node,
                                                     boolean[] newVariableAdded)

resize

protected void resize(int newCapacity)

addInequality

protected void addInequality(DatatypeManager.DVariable node1,
                             DatatypeManager.DVariable node2)

isSymmetricClique

public boolean isSymmetricClique()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toString

public java.lang.String toString(Prefixes prefixes)