org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.GroundDisjunctionHeaderManager
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager
- Enclosing class:
- DLClauseEvaluator
public static class DLClauseEvaluator.GroundDisjunctionHeaderManager
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_buckets
protected GroundDisjunctionHeader[] m_buckets
m_numberOfElements
protected int m_numberOfElements
m_threshold
protected int m_threshold
DLClauseEvaluator.GroundDisjunctionHeaderManager
public DLClauseEvaluator.GroundDisjunctionHeaderManager()
get
public GroundDisjunctionHeader get(DLPredicate[] dlPredicates)
resize
protected void resize(int newCapacity)
getIndexFor
protected static int getIndexFor(int hashCode,
int tableLength)