org.semanticweb.HermiT.tableau

Class ExtensionTableWithTupleIndexes

java.lang.Object

org.semanticweb.HermiT.tableau.ExtensionTable

org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

All Implemented Interfaces:

Serializable

public class ExtensionTableWithTupleIndexes
extends ExtensionTable

This extension table is for use with binary and ternary assertions (not description graphs).

See Also:

ExtensionTableWithFullIndex, Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.semanticweb.HermiT.tableau.ExtensionTable

ExtensionTable.Retrieval, ExtensionTable.View

Constructor Summary

Constructors

Constructor and Description
ExtensionTableWithTupleIndexes(Tableau tableau, int tupleArity, boolean needsDependencySets, org.semanticweb.HermiT.tableau.TupleIndex[] tupleIndexes)

Method Summary

Modifier and Type	Method and Description
boolean	addTuple(Object[] tuple, DependencySet dependencySet, boolean isCore)
void	clear() Clear.
boolean	containsTuple(Object[] tuple)
ExtensionTable.Retrieval	createRetrieval(int[] bindingPositions, Object[] bindingsBuffer, Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
DependencySet	getDependencySet(Object[] tuple)
boolean	isCore(Object[] tuple)
int	sizeInMemory()

Methods inherited from class org.semanticweb.HermiT.tableau.ExtensionTable

backtrack, branchingPointPushed, createRetrieval, getArity, getDependencySet, getTupleObject, isCore, isTupleActive, isTupleActive, propagateDeltaNew, retrieveTuple

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtensionTableWithTupleIndexes

public ExtensionTableWithTupleIndexes(Tableau tableau,
                                      int tupleArity,
                                      boolean needsDependencySets,
                                      org.semanticweb.HermiT.tableau.TupleIndex[] tupleIndexes)

Parameters:

tableau - tableau

tupleArity - tupleArity

needsDependencySets - needsDependencySets

tupleIndexes - tupleIndexes

Method Detail

sizeInMemory

public int sizeInMemory()

Specified by:

sizeInMemory in class ExtensionTable

Returns:

size in memory

addTuple

public boolean addTuple(Object[] tuple,
                        DependencySet dependencySet,
                        boolean isCore)

Specified by:

addTuple in class ExtensionTable

Parameters:

tuple - tuple

dependencySet - dependencySet

isCore - isCore

Returns:

true if tuple added

containsTuple

public boolean containsTuple(Object[] tuple)

Specified by:

containsTuple in class ExtensionTable

Parameters:

tuple - tuple

Returns:

true if contained

getDependencySet

public DependencySet getDependencySet(Object[] tuple)

Specified by:

getDependencySet in class ExtensionTable

Parameters:

tuple - tuple

Returns:

dependency set

isCore

public boolean isCore(Object[] tuple)

Specified by:

isCore in class ExtensionTable

Parameters:

tuple - tuple

Returns:

true if core

createRetrieval

public ExtensionTable.Retrieval createRetrieval(int[] bindingPositions,
                                                Object[] bindingsBuffer,
                                                Object[] tupleBuffer,
                                                boolean ownsBuffers,
                                                ExtensionTable.View extensionView)

Specified by:

createRetrieval in class ExtensionTable

Parameters:

bindingPositions - bindingPositions

bindingsBuffer - bindingsBuffer

tupleBuffer - tupleBuffer

ownsBuffers - ownsBuffers

extensionView - extensionView

Returns:

retrieval

clear

public void clear()

Description copied from class: ExtensionTable

Clear.

Overrides:

clear in class ExtensionTable