org.semanticweb.HermiT.tableau
Class ExtensionTableWithTupleIndexes.IndexedRetrieval

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.TupleIndex.TupleIndexRetrieval
      extended by org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes.IndexedRetrieval
All Implemented Interfaces:
java.io.Serializable, ExtensionTable.Retrieval
Enclosing class:
ExtensionTableWithTupleIndexes

protected class ExtensionTableWithTupleIndexes.IndexedRetrieval
extends TupleIndex.TupleIndexRetrieval
implements ExtensionTable.Retrieval, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int m_afterLastTupleIndex
           
protected  int[] m_bindingPositions
           
protected  boolean m_checkTupleSelection
           
protected  DependencySet m_dependencySet
           
protected  ExtensionTable.View m_extensionView
           
protected  int m_firstTupleIndex
           
protected  boolean m_isCore
           
protected  boolean m_ownsBuffers
           
protected  java.lang.Object[] m_tupleBuffer
           
 
Fields inherited from class org.semanticweb.HermiT.tableau.TupleIndex.TupleIndexRetrieval
m_bindingsBuffer, m_currentTrieNode, m_indexingSequenceLength, m_selectionIndices, m_selectionIndicesLength, m_tupleIndex
 
Constructor Summary
ExtensionTableWithTupleIndexes.IndexedRetrieval(TupleIndex tupleIndex, int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
 
Method Summary
 void clear()
           
 int[] getBindingPositions()
           
 java.lang.Object[] getBindingsBuffer()
           
 DependencySet getDependencySet()
           
 ExtensionTable getExtensionTable()
           
 ExtensionTable.View getExtensionView()
           
 java.lang.Object[] getTupleBuffer()
           
 boolean isCore()
           
protected  boolean isTupleValid()
           
 void next()
           
 void open()
           
 
Methods inherited from class org.semanticweb.HermiT.tableau.TupleIndex.TupleIndexRetrieval
afterLast, getCurrentTupleIndex
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval
afterLast, getCurrentTupleIndex
 

Field Detail

m_bindingPositions

protected final int[] m_bindingPositions

m_tupleBuffer

protected final java.lang.Object[] m_tupleBuffer

m_ownsBuffers

protected final boolean m_ownsBuffers

m_extensionView

protected final ExtensionTable.View m_extensionView

m_checkTupleSelection

protected final boolean m_checkTupleSelection

m_dependencySet

protected DependencySet m_dependencySet

m_isCore

protected boolean m_isCore

m_firstTupleIndex

protected int m_firstTupleIndex

m_afterLastTupleIndex

protected int m_afterLastTupleIndex
Constructor Detail

ExtensionTableWithTupleIndexes.IndexedRetrieval

public ExtensionTableWithTupleIndexes.IndexedRetrieval(TupleIndex tupleIndex,
                                                       int[] bindingPositions,
                                                       java.lang.Object[] bindingsBuffer,
                                                       java.lang.Object[] tupleBuffer,
                                                       boolean ownsBuffers,
                                                       ExtensionTable.View extensionView)
Method Detail

getExtensionTable

public ExtensionTable getExtensionTable()
Specified by:
getExtensionTable in interface ExtensionTable.Retrieval

getExtensionView

public ExtensionTable.View getExtensionView()
Specified by:
getExtensionView in interface ExtensionTable.Retrieval

clear

public void clear()
Specified by:
clear in interface ExtensionTable.Retrieval

getBindingPositions

public int[] getBindingPositions()
Specified by:
getBindingPositions in interface ExtensionTable.Retrieval

getBindingsBuffer

public java.lang.Object[] getBindingsBuffer()
Specified by:
getBindingsBuffer in interface ExtensionTable.Retrieval

getTupleBuffer

public java.lang.Object[] getTupleBuffer()
Specified by:
getTupleBuffer in interface ExtensionTable.Retrieval

getDependencySet

public DependencySet getDependencySet()
Specified by:
getDependencySet in interface ExtensionTable.Retrieval

isCore

public boolean isCore()
Specified by:
isCore in interface ExtensionTable.Retrieval

open

public void open()
Specified by:
open in interface ExtensionTable.Retrieval
Overrides:
open in class TupleIndex.TupleIndexRetrieval

next

public void next()
Specified by:
next in interface ExtensionTable.Retrieval
Overrides:
next in class TupleIndex.TupleIndexRetrieval

isTupleValid

protected boolean isTupleValid()