|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of ExtensionTable.Retrieval in org.semanticweb.HermiT.blocking |
|---|
| 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 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||