Uses of Class
org.semanticweb.HermiT.tableau.DLClauseEvaluator.BufferSupply

Packages that use DLClauseEvaluator.BufferSupply
org.semanticweb.HermiT.tableau   
 

Uses of DLClauseEvaluator.BufferSupply in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DLClauseEvaluator.BufferSupply
protected  DLClauseEvaluator.BufferSupply DLClauseEvaluator.DLClauseCompiler.m_bufferSupply
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClauseEvaluator.BufferSupply
DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize, DLClauseEvaluator dlClauseEvalautor, ExtensionManager extensionManager, ExistentialExpansionStrategy existentialExpansionStrategy, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval)
           
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize)