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

Packages that use DLClauseEvaluator.BufferSupply

Package	Description
org.semanticweb.HermiT.tableau

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

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClauseEvaluator.BufferSupply

Constructor and Description
ConjunctionCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize, ExtensionManager extensionManager, Atom[] bodyAtoms, List<Variable> headVariables)
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize)