org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.BufferSupply

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

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


Field Summary
protected  java.util.List<java.lang.Object[]> m_allBuffers
           
protected  java.util.Map<java.lang.Integer,java.util.List<java.lang.Object[]>> m_availableBuffersByArity
           
 
Constructor Summary
DLClauseEvaluator.BufferSupply()
           
 
Method Summary
 java.lang.Object[][] getAllBuffers()
           
 java.lang.Object[] getBuffer(int arity)
           
 void reuseBuffers()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_allBuffers

protected final java.util.List<java.lang.Object[]> m_allBuffers

m_availableBuffersByArity

protected final java.util.Map<java.lang.Integer,java.util.List<java.lang.Object[]>> m_availableBuffersByArity
Constructor Detail

DLClauseEvaluator.BufferSupply

public DLClauseEvaluator.BufferSupply()
Method Detail

reuseBuffers

public void reuseBuffers()

getBuffer

public java.lang.Object[] getBuffer(int arity)

getAllBuffers

public java.lang.Object[][] getAllBuffers()