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 Object


Field Summary
 Map<DLPredicate,Integer> m_bodyDLPredicatesToIndexes
           
 int m_maxNumberOfVariables
           
 Object[] m_valuesBuffer
           
 
Constructor Summary
DLClauseEvaluator.ValuesBufferManager(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 Object[] m_valuesBuffer

m_bodyDLPredicatesToIndexes

public final Map<DLPredicate,Integer> m_bodyDLPredicatesToIndexes

m_maxNumberOfVariables

public final int m_maxNumberOfVariables
Constructor Detail

DLClauseEvaluator.ValuesBufferManager

public DLClauseEvaluator.ValuesBufferManager(Set<DLClause> dlClauses)


Copyright © 2012. All Rights Reserved.