org.semanticweb.HermiT.tableau
Class ExtensionTableWithFullIndex
java.lang.Object
org.semanticweb.HermiT.tableau.ExtensionTable
org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex
- All Implemented Interfaces:
- java.io.Serializable
public class ExtensionTableWithFullIndex
- extends ExtensionTable
This extension table is for use with Description Graphs and it supports tuple
tables with arity greater than three, but are, as a result, less efficient.
- See Also:
ExtensionTableWithTupleIndexes
,
Serialized Form
Methods inherited from class org.semanticweb.HermiT.tableau.ExtensionTable |
backtrack, branchingPointPushed, createRetrieval, getArity, getDependencySet, getTupleObject, isCore, isTupleActive, isTupleActive, postAdd, postRemove, propagateDeltaNew, retrieveTuple |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_tupleTableFullIndex
protected final TupleTableFullIndex m_tupleTableFullIndex
m_auxiliaryTuple
protected final java.lang.Object[] m_auxiliaryTuple
ExtensionTableWithFullIndex
public ExtensionTableWithFullIndex(Tableau tableau,
int tupleArity,
boolean needsDependencySets)
sizeInMemory
public int sizeInMemory()
- Specified by:
sizeInMemory
in class ExtensionTable
addTuple
public boolean addTuple(java.lang.Object[] tuple,
DependencySet dependencySet,
boolean isCore)
- Specified by:
addTuple
in class ExtensionTable
containsTuple
public boolean containsTuple(java.lang.Object[] tuple)
- Specified by:
containsTuple
in class ExtensionTable
getDependencySet
public DependencySet getDependencySet(java.lang.Object[] tuple)
- Specified by:
getDependencySet
in class ExtensionTable
isCore
public boolean isCore(java.lang.Object[] tuple)
- Specified by:
isCore
in class ExtensionTable
createRetrieval
public ExtensionTable.Retrieval createRetrieval(int[] bindingPositions,
java.lang.Object[] bindingsBuffer,
java.lang.Object[] tupleBuffer,
boolean ownsBuffers,
ExtensionTable.View extensionView)
- Specified by:
createRetrieval
in class ExtensionTable
removeTuple
protected void removeTuple(int tupleIndex)
- Specified by:
removeTuple
in class ExtensionTable
clear
public void clear()
- Overrides:
clear
in class ExtensionTable