org.semanticweb.HermiT.tableau
Class DatatypeManager.DConjunction
java.lang.Object
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
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
DatatypeManager.DConjunction
public DatatypeManager.DConjunction()
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.