Uses of Class
org.semanticweb.HermiT.tableau.TupleTableFullIndex

Packages that use TupleTableFullIndex
org.semanticweb.HermiT.tableau   
 

Uses of TupleTableFullIndex in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as TupleTableFullIndex
protected  TupleTableFullIndex NominalIntroductionManager.m_newRootNodesIndex
           
protected  TupleTableFullIndex ExtensionTableWithFullIndex.m_tupleTableFullIndex