Uses of Interface
org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

Packages that use ExtensionTable.Retrieval

Package	Description
org.semanticweb.HermiT.tableau

Uses of ExtensionTable.Retrieval in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return ExtensionTable.Retrieval

Modifier and Type	Method and Description
ExtensionTable.Retrieval	ExtensionTable.createRetrieval(boolean[] bindingPattern, ExtensionTable.View extensionView)
abstract ExtensionTable.Retrieval	ExtensionTable.createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
ExtensionTable.Retrieval	ExtensionTableWithFullIndex.createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
ExtensionTable.Retrieval	ExtensionTableWithTupleIndexes.createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable.Retrieval

Constructor and Description

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)