org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.ValuesBufferManager

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

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


Field Summary
 java.util.Map<DLPredicate,java.lang.Integer> m_bodyDLPredicatesToIndexes
           
 int m_maxNumberOfVariables
           
 java.lang.Object[] m_valuesBuffer
           
 
Constructor Summary
DLClauseEvaluator.ValuesBufferManager(java.util.Set<DLClause> dlClauses)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_valuesBuffer

public final java.lang.Object[] m_valuesBuffer

m_bodyDLPredicatesToIndexes

public final java.util.Map<DLPredicate,java.lang.Integer> m_bodyDLPredicatesToIndexes

m_maxNumberOfVariables

public final int m_maxNumberOfVariables
Constructor Detail

DLClauseEvaluator.ValuesBufferManager

public DLClauseEvaluator.ValuesBufferManager(java.util.Set<DLClause> dlClauses)