org.semanticweb.HermiT.tableau

Interface ExtensionTable.Retrieval

Enclosing class:

ExtensionTable

public static interface ExtensionTable.Retrieval

Retrieval.

Method Summary

Modifier and Type	Method and Description
boolean	afterLast()
void	clear() Clear.
int[]	getBindingPositions()
Object[]	getBindingsBuffer()
int	getCurrentTupleIndex()
DependencySet	getDependencySet()
ExtensionTable	getExtensionTable()
Object[]	getTupleBuffer()
boolean	isCore()
void	next() Next.
void	open() Open.

Method Detail

getExtensionTable

ExtensionTable getExtensionTable()

Returns:

extension table

clear

void clear()

Clear.

getBindingPositions

int[] getBindingPositions()

Returns:

binding positions

getBindingsBuffer

Object[] getBindingsBuffer()

Returns:

bindings buffers

getTupleBuffer

Object[] getTupleBuffer()

Returns:

tuple buffers

getDependencySet

DependencySet getDependencySet()

Returns:

dependency set

isCore

boolean isCore()

Returns:

is core

open

void open()

Open.

afterLast

boolean afterLast()

Returns:

after last

getCurrentTupleIndex

int getCurrentTupleIndex()

Returns:

current tuple index

next

void next()

Next.