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

Packages that use ExtensionTable.Retrieval
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger.commands   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.tableau   
 

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

Fields in org.semanticweb.HermiT.blocking declared as ExtensionTable.Retrieval
protected  ExtensionTable.Retrieval BlockingValidator.m_binaryRetrieval1Bound
           
protected  ExtensionTable.Retrieval ValidatedSingleDirectBlockingChecker.m_binaryTableSearch1Bound
           
protected  ExtensionTable.Retrieval ValidatedPairwiseDirectBlockingChecker.m_binaryTableSearch1Bound
           
protected  ExtensionTable.Retrieval SingleDirectBlockingChecker.m_binaryTableSearch1Bound
           
protected  ExtensionTable.Retrieval PairWiseDirectBlockingChecker.m_binaryTableSearch1Bound
           
protected  ExtensionTable.Retrieval BlockingValidator.m_ternaryRetrieval01Bound
           
protected  ExtensionTable.Retrieval BlockingValidator.m_ternaryRetrieval02Bound
           
protected  ExtensionTable.Retrieval BlockingValidator.m_ternaryRetrieval1Bound
           
protected  ExtensionTable.Retrieval BlockingValidator.m_ternaryRetrieval2Bound
           
protected  ExtensionTable.Retrieval ValidatedSingleDirectBlockingChecker.m_ternaryTableSearch12Bound
           
protected  ExtensionTable.Retrieval ValidatedPairwiseDirectBlockingChecker.m_ternaryTableSearch12Bound
           
protected  ExtensionTable.Retrieval PairWiseDirectBlockingChecker.m_ternaryTableSearch12Bound
           
protected  ExtensionTable.Retrieval[] BlockingValidator.DLClauseInfo.m_x2yRetrievals
           
protected  ExtensionTable.Retrieval[] BlockingValidator.DLClauseInfo.m_y2xRetrievals
           
protected  ExtensionTable.Retrieval[] BlockingValidator.DLClauseInfo.m_zRetrievals
           
 

Uses of ExtensionTable.Retrieval in org.semanticweb.HermiT.debugger.commands
 

Methods in org.semanticweb.HermiT.debugger.commands with parameters of type ExtensionTable.Retrieval
protected  void ShowModelCommand.loadFacts(java.util.Set<java.lang.Object[]> facts, ExtensionTable.Retrieval retrieval)
           
 

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

Fields in org.semanticweb.HermiT.existentials declared as ExtensionTable.Retrieval
protected  ExtensionTable.Retrieval AbstractExpansionStrategy.m_ternaryExtensionTableSearch01Bound
           
protected  ExtensionTable.Retrieval AbstractExpansionStrategy.m_ternaryExtensionTableSearch02Bound
           
 

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

Fields in org.semanticweb.HermiT.hierarchy declared as ExtensionTable.Retrieval
protected  ExtensionTable.Retrieval InstanceManager.m_binaryRetrieval01Bound
           
protected  ExtensionTable.Retrieval InstanceManager.m_binaryRetrieval0Bound
           
protected  ExtensionTable.Retrieval InstanceManager.m_binaryRetrieval1Bound
           
protected  ExtensionTable.Retrieval InstanceManager.m_ternaryRetrieval012Bound
           
protected  ExtensionTable.Retrieval InstanceManager.m_ternaryRetrieval0Bound
           
protected  ExtensionTable.Retrieval InstanceManager.m_ternaryRetrieval1Bound
           
 

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

Classes in org.semanticweb.HermiT.tableau that implement ExtensionTable.Retrieval
protected  class ExtensionTable.UnindexedRetrieval
           
protected  class ExtensionTableWithFullIndex.IndexedRetrieval
           
protected  class ExtensionTableWithTupleIndexes.IndexedRetrieval
           
 

Fields in org.semanticweb.HermiT.tableau declared as ExtensionTable.Retrieval
protected  ExtensionTable.Retrieval DatatypeManager.m_assertions0Retrieval
           
protected  ExtensionTable.Retrieval DatatypeManager.m_assertions1Retrieval
           
protected  ExtensionTable.Retrieval DatatypeManager.m_assertionsDeltaOldRetrieval
           
protected  ExtensionTable.Retrieval MergingManager.m_binaryExtensionTableSearch1Bound
           
protected  ExtensionTable.Retrieval HyperresolutionManager.m_binaryTableRetrieval
           
protected  ExtensionTable.Retrieval[] HyperresolutionManager.m_deltaOldRetrievals
           
protected  ExtensionTable.Retrieval[] DescriptionGraphManager.m_deltaOldRetrievals
           
protected  ExtensionTable.Retrieval DatatypeManager.m_inequality01Retrieval
           
protected  ExtensionTable.Retrieval DatatypeManager.m_inequality02Retrieval
           
protected  ExtensionTable.Retrieval DatatypeManager.m_inequalityDeltaOldRetrieval
           
protected  ExtensionTable.Retrieval DLClauseEvaluator.CopyDependencySet.m_retrieval
           
protected  ExtensionTable.Retrieval DLClauseEvaluator.OpenRetrieval.m_retrieval
           
protected  ExtensionTable.Retrieval DLClauseEvaluator.NextRetrieval.m_retrieval
           
protected  ExtensionTable.Retrieval DLClauseEvaluator.HasMoreRetrieval.m_retrieval
           
protected  ExtensionTable.Retrieval[] DLClauseEvaluator.m_retrievals
           
protected  ExtensionTable.Retrieval ExistentialExpansionManager.m_ternaryExtensionTableSearch01Bound
           
protected  ExtensionTable.Retrieval ClashManager.m_ternaryExtensionTableSearch01Bound
           
protected  ExtensionTable.Retrieval ExistentialExpansionManager.m_ternaryExtensionTableSearch02Bound
           
protected  ExtensionTable.Retrieval MergingManager.m_ternaryExtensionTableSearch1Bound
           
protected  ExtensionTable.Retrieval MergingManager.m_ternaryExtensionTableSearch2Bound
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type ExtensionTable.Retrieval
protected  java.util.List<ExtensionTable.Retrieval> DLClauseEvaluator.DLClauseCompiler.m_retrievals
           
 

Methods in org.semanticweb.HermiT.tableau that return ExtensionTable.Retrieval
 ExtensionTable.Retrieval ExtensionTable.createRetrieval(boolean[] bindingPattern, ExtensionTable.View extensionView)
           
 ExtensionTable.Retrieval ExtensionTableWithTupleIndexes.createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
 ExtensionTable.Retrieval ExtensionTableWithFullIndex.createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
abstract  ExtensionTable.Retrieval ExtensionTable.createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable.Retrieval
protected  void DLClauseEvaluator.DLClauseCompiler.compileCheckUnboundVariableMatches(Atom atom, ExtensionTable.Retrieval retrieval, int jumpIndex)
           
protected  void DLClauseEvaluator.DLClauseCompiler.compileGenerateBindings(ExtensionTable.Retrieval retrieval, Atom atom)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable.Retrieval
DLClauseEvaluator.CopyDependencySet(ExtensionTable.Retrieval retrieval, DependencySet[] targetDependencySets, int targetIndex)
           
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.HasMoreRetrieval(int eofProgramCounter, ExtensionTable.Retrieval retrieval)
           
DLClauseEvaluator.NextRetrieval(ExtensionTable.Retrieval retrieval)
           
DLClauseEvaluator.OpenRetrieval(ExtensionTable.Retrieval retrieval)
           
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)