Uses of Interface
org.semanticweb.HermiT.tableau.ExtensionTable.CoreManager

Packages that use ExtensionTable.CoreManager
org.semanticweb.HermiT.tableau   
 

Uses of ExtensionTable.CoreManager in org.semanticweb.HermiT.tableau
 

Classes in org.semanticweb.HermiT.tableau that implement ExtensionTable.CoreManager
protected static class ExtensionTable.NoCoreManager
           
protected static class ExtensionTable.RealCoreManager
           
 

Fields in org.semanticweb.HermiT.tableau declared as ExtensionTable.CoreManager
protected  ExtensionTable.CoreManager ExtensionTable.m_coreManager