|
||||||||||
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 |