org.semanticweb.HermiT.tableau
Class ExtensionTable.UnindexedRetrieval

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

protected class ExtensionTable.UnindexedRetrieval
extends java.lang.Object
implements ExtensionTable.Retrieval, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int m_afterLastTupleIndex
           
protected  int[] m_bindingPositions
           
protected  java.lang.Object[] m_bindingsBuffer
           
protected  boolean m_checkTupleSelection
           
protected  int m_currentTupleIndex
           
protected  ExtensionTable.View m_extensionView
           
protected  boolean m_ownsBuffers
           
protected  java.lang.Object[] m_tupleBuffer
           
 
Constructor Summary
ExtensionTable.UnindexedRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
 
Method Summary
 boolean afterLast()
           
 void clear()
           
 int[] getBindingPositions()
           
 java.lang.Object[] getBindingsBuffer()
           
 int getCurrentTupleIndex()
           
 DependencySet getDependencySet()
           
 ExtensionTable getExtensionTable()
           
 ExtensionTable.View getExtensionView()
           
 java.lang.Object[] getTupleBuffer()
           
 boolean isCore()
           
protected  boolean isTupleActive()
           
 void next()
           
 void open()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_extensionView

protected final ExtensionTable.View m_extensionView

m_bindingPositions

protected final int[] m_bindingPositions

m_bindingsBuffer

protected final java.lang.Object[] m_bindingsBuffer

m_tupleBuffer

protected final java.lang.Object[] m_tupleBuffer

m_ownsBuffers

protected final boolean m_ownsBuffers

m_checkTupleSelection

protected final boolean m_checkTupleSelection

m_currentTupleIndex

protected int m_currentTupleIndex

m_afterLastTupleIndex

protected int m_afterLastTupleIndex
Constructor Detail

ExtensionTable.UnindexedRetrieval

public ExtensionTable.UnindexedRetrieval(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

afterLast

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

getCurrentTupleIndex

public int getCurrentTupleIndex()
Specified by:
getCurrentTupleIndex in interface ExtensionTable.Retrieval

next

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

isTupleActive

protected boolean isTupleActive()