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

BufferSupply.

Constructor Summary

Constructors

Constructor and Description
BufferSupply()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

BufferSupply

public BufferSupply()