org.semanticweb.HermiT.tableau
Interface ExtensionTable.Retrieval

All Known Implementing Classes:
ExtensionTable.UnindexedRetrieval, ExtensionTableWithFullIndex.IndexedRetrieval, ExtensionTableWithTupleIndexes.IndexedRetrieval
Enclosing class:
ExtensionTable

public static interface ExtensionTable.Retrieval


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()
           
 void next()
           
 void open()
           
 

Method Detail

getExtensionTable

ExtensionTable getExtensionTable()

getExtensionView

ExtensionTable.View getExtensionView()

clear

void clear()

getBindingPositions

int[] getBindingPositions()

getBindingsBuffer

java.lang.Object[] getBindingsBuffer()

getTupleBuffer

java.lang.Object[] getTupleBuffer()

getDependencySet

DependencySet getDependencySet()

isCore

boolean isCore()

open

void open()

afterLast

boolean afterLast()

getCurrentTupleIndex

int getCurrentTupleIndex()

next

void next()