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 Object


Field Summary
protected  List<Object[]> m_allBuffers
           
protected  Map<Integer,List<Object[]>> m_availableBuffersByArity
           
 
Constructor Summary
DLClauseEvaluator.BufferSupply()
           
 
Method Summary
 Object[][] getAllBuffers()
           
 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 List<Object[]> m_allBuffers

m_availableBuffersByArity

protected final Map<Integer,List<Object[]>> m_availableBuffersByArity
Constructor Detail

DLClauseEvaluator.BufferSupply

public DLClauseEvaluator.BufferSupply()
Method Detail

reuseBuffers

public void reuseBuffers()

getBuffer

public Object[] getBuffer(int arity)

getAllBuffers

public Object[][] getAllBuffers()


Copyright © 2012. All Rights Reserved.