org.semanticweb.HermiT.tableau
Interface ExtensionTable.CoreManager

All Known Implementing Classes:
ExtensionTable.NoCoreManager, ExtensionTable.RealCoreManager
Enclosing class:
ExtensionTable

protected static interface ExtensionTable.CoreManager


Method Summary
 void addCore(int tupleIndex)
           
 boolean isCore(int tupleIndex)
           
 void setCore(int tupleIndex, boolean isCore)
           
 

Method Detail

isCore

boolean isCore(int tupleIndex)

addCore

void addCore(int tupleIndex)

setCore

void setCore(int tupleIndex,
             boolean isCore)