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 Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_valuesBuffer
public final Object[] m_valuesBuffer
m_bodyDLPredicatesToIndexes
public final Map<DLPredicate,Integer> m_bodyDLPredicatesToIndexes
m_maxNumberOfVariables
public final int m_maxNumberOfVariables
DLClauseEvaluator.ValuesBufferManager
public DLClauseEvaluator.ValuesBufferManager(Set<DLClause> dlClauses)
Copyright © 2012. All Rights Reserved.