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

ValuesBufferManager.

Field Summary

Fields

Modifier and Type	Field and Description
int	m_maxNumberOfVariables Max number of variables
Object[]	m_valuesBuffer Values buffer.

Constructor Summary

Constructors

Constructor and Description
ValuesBufferManager(Set<DLClause> dlClauses, Map<Term,Node> termsToNodes)

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_valuesBuffer

public final Object[] m_valuesBuffer

Values buffer.

m_maxNumberOfVariables

public final int m_maxNumberOfVariables

Max number of variables

Constructor Detail

ValuesBufferManager

public ValuesBufferManager(Set<DLClause> dlClauses,
                           Map<Term,Node> termsToNodes)

Parameters:

dlClauses - dlClauses

termsToNodes - termsToNodes