org.semanticweb.HermiT.tableau
Class DatatypeManager.DConjunction
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
DatatypeManager.DConjunction
public DatatypeManager.DConjunction()
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)