org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.GroundDisjunctionHeaderManager

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager
Enclosing class:
DLClauseEvaluator

public static class DLClauseEvaluator.GroundDisjunctionHeaderManager
extends java.lang.Object


Field Summary
protected  GroundDisjunctionHeader[] m_buckets
           
protected  int m_numberOfElements
           
protected  int m_threshold
           
 
Constructor Summary
DLClauseEvaluator.GroundDisjunctionHeaderManager()
           
 
Method Summary
 GroundDisjunctionHeader get(DLPredicate[] dlPredicates)
           
protected static int getIndexFor(int hashCode, int tableLength)
           
protected  void resize(int newCapacity)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_buckets

protected GroundDisjunctionHeader[] m_buckets

m_numberOfElements

protected int m_numberOfElements

m_threshold

protected int m_threshold
Constructor Detail

DLClauseEvaluator.GroundDisjunctionHeaderManager

public DLClauseEvaluator.GroundDisjunctionHeaderManager()
Method Detail

get

public GroundDisjunctionHeader get(DLPredicate[] dlPredicates)

resize

protected void resize(int newCapacity)

getIndexFor

protected static int getIndexFor(int hashCode,
                                 int tableLength)