org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.BufferSupply
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator.BufferSupply
- Enclosing class:
- DLClauseEvaluator
public static class DLClauseEvaluator.BufferSupply
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_allBuffers
protected final List<Object[]> m_allBuffers
m_availableBuffersByArity
protected final Map<Integer,List<Object[]>> m_availableBuffersByArity
DLClauseEvaluator.BufferSupply
public DLClauseEvaluator.BufferSupply()
reuseBuffers
public void reuseBuffers()
getBuffer
public Object[] getBuffer(int arity)
getAllBuffers
public Object[][] getAllBuffers()
Copyright © 2012. All Rights Reserved.