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

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

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

Fields in org.semanticweb.HermiT.tableau declared as DLClauseEvaluator.ValuesBufferManager
protected  DLClauseEvaluator.ValuesBufferManager DLClauseEvaluator.DLClauseCompiler.m_valuesBufferManager
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClauseEvaluator.ValuesBufferManager
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)