org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.ValuesBufferManager
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator.ValuesBufferManager
- Enclosing class:
- DLClauseEvaluator
public static class DLClauseEvaluator.ValuesBufferManager
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
m_bodyNonvariableTermsToIndexes
public final java.util.Map<Term,java.lang.Integer> m_bodyNonvariableTermsToIndexes
DLClauseEvaluator.ValuesBufferManager
public DLClauseEvaluator.ValuesBufferManager(java.util.Set<DLClause> dlClauses,
java.util.Map<Term,Node> termsToNodes)