org.semanticweb.HermiT.tableau
Class ExtensionTable.RealCoreManager

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.ExtensionTable.RealCoreManager
All Implemented Interfaces:
java.io.Serializable, ExtensionTable.CoreManager
Enclosing class:
ExtensionTable

protected static class ExtensionTable.RealCoreManager
extends java.lang.Object
implements ExtensionTable.CoreManager, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int[] m_bits
           
 
Constructor Summary
ExtensionTable.RealCoreManager()
           
 
Method Summary
 void addCore(int tupleIndex)
           
 boolean isCore(int tupleIndex)
           
 void setCore(int tupleIndex, boolean isCore)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_bits

protected int[] m_bits
Constructor Detail

ExtensionTable.RealCoreManager

public ExtensionTable.RealCoreManager()
Method Detail

isCore

public boolean isCore(int tupleIndex)
Specified by:
isCore in interface ExtensionTable.CoreManager

addCore

public void addCore(int tupleIndex)
Specified by:
addCore in interface ExtensionTable.CoreManager

setCore

public void setCore(int tupleIndex,
                    boolean isCore)
Specified by:
setCore in interface ExtensionTable.CoreManager