org.semanticweb.HermiT.tableau
Class ExtensionTable.NoCoreManager

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

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

See Also:
Serialized Form

Constructor Summary
protected ExtensionTable.NoCoreManager()
           
 
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
 

Constructor Detail

ExtensionTable.NoCoreManager

protected ExtensionTable.NoCoreManager()
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