org.semanticweb.HermiT.tableau
Class TupleTableFullIndex.EntryManager

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.TupleTableFullIndex.EntryManager
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
TupleTableFullIndex

protected static final class TupleTableFullIndex.EntryManager
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int[] m_entries
           
protected  int m_firstFreeEntry
           
 
Constructor Summary
TupleTableFullIndex.EntryManager()
           
 
Method Summary
 void clear()
           
 void deleteEntry(int entry)
           
 int getEntryComponent(int entry, int component)
           
 int newEntry()
           
 void setEntryComponent(int entry, int component, int value)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_entries

protected int[] m_entries

m_firstFreeEntry

protected int m_firstFreeEntry
Constructor Detail

TupleTableFullIndex.EntryManager

public TupleTableFullIndex.EntryManager()
Method Detail

size

public int size()

clear

public void clear()

getEntryComponent

public int getEntryComponent(int entry,
                             int component)

setEntryComponent

public void setEntryComponent(int entry,
                              int component,
                              int value)

newEntry

public int newEntry()

deleteEntry

public void deleteEntry(int entry)