org.semanticweb.HermiT.tableau
Class DatatypeManager.DConjunction

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

public static class DatatypeManager.DConjunction
extends Object
implements Serializable

See Also:
Serialized Form

Field Summary
protected  List<DatatypeManager.DVariable> m_activeVariables
           
protected  DatatypeManager.DVariable[] m_buckets
           
protected  int m_numberOfEntries
           
protected  int m_resizeThreshold
           
protected  List<DatatypeManager.DVariable> m_unusedVariables
           
protected  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()
           
 List<DatatypeManager.DVariable> getActiveVariables()
           
 DatatypeManager.DVariable getVariableFor(Node node)
           
protected  DatatypeManager.DVariable getVariableForEx(Node node, boolean[] newVariableAdded)
           
 boolean isSymmetricClique()
           
protected  void resize(int newCapacity)
           
 String toString()
           
 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 List<DatatypeManager.DVariable> m_unusedVariables

m_usedVariables

protected final List<DatatypeManager.DVariable> m_usedVariables

m_activeVariables

protected final 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 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 String toString()
Overrides:
toString in class Object

toString

public String toString(Prefixes prefixes)


Copyright © 2012. All Rights Reserved.