org.semanticweb.HermiT.tableau
Class ExtensionTableWithTupleIndexes

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.ExtensionTable
      extended by org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes
All Implemented Interfaces:
java.io.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
protected  class ExtensionTableWithTupleIndexes.IndexedRetrieval
           
 
Nested classes/interfaces inherited from class org.semanticweb.HermiT.tableau.ExtensionTable
ExtensionTable.CoreManager, ExtensionTable.DependencySetManager, ExtensionTable.DeterministicDependencySetManager, ExtensionTable.LastObjectDependencySetManager, ExtensionTable.NoCoreManager, ExtensionTable.RealCoreManager, ExtensionTable.Retrieval, ExtensionTable.UnindexedRetrieval, ExtensionTable.View
 
Field Summary
protected  java.lang.Object[] m_auxiliaryTuple
           
protected  TupleIndex[] m_tupleIndexes
           
 
Fields inherited from class org.semanticweb.HermiT.tableau.ExtensionTable
m_afterDeltaNewTupleIndex, m_afterExtensionOldTupleIndex, m_afterExtensionThisTupleIndex, m_coreManager, m_dependencySetManager, m_indicesByBranchingPoint, m_tableau, m_tableauMonitor, m_tupleArity, m_tupleTable
 
Constructor Summary
ExtensionTableWithTupleIndexes(Tableau tableau, int tupleArity, boolean needsDependencySets, TupleIndex[] tupleIndexes)
           
 
Method Summary
 boolean addTuple(java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 void clear()
           
 boolean containsTuple(java.lang.Object[] tuple)
           
 ExtensionTable.Retrieval createRetrieval(int[] bindingPositions, java.lang.Object[] bindingsBuffer, java.lang.Object[] tupleBuffer, boolean ownsBuffers, ExtensionTable.View extensionView)
           
protected static int[] createSelectionArray(int[] bindingPositions, int[] indexingSequence)
           
 DependencySet getDependencySet(java.lang.Object[] tuple)
           
 boolean isCore(java.lang.Object[] tuple)
           
protected  void removeTuple(int tupleIndex)
           
 int sizeInMemory()
           
 
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
 

Field Detail

m_tupleIndexes

protected final TupleIndex[] m_tupleIndexes

m_auxiliaryTuple

protected final java.lang.Object[] m_auxiliaryTuple
Constructor Detail

ExtensionTableWithTupleIndexes

public ExtensionTableWithTupleIndexes(Tableau tableau,
                                      int tupleArity,
                                      boolean needsDependencySets,
                                      TupleIndex[] tupleIndexes)
Method Detail

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

createSelectionArray

protected static int[] createSelectionArray(int[] bindingPositions,
                                            int[] indexingSequence)