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

Packages that use TupleTable
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.tableau   
 

Uses of TupleTable in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as TupleTable
protected  TupleTable IndividualReuseStrategy.m_reuseBacktrackingTable
           
 

Uses of TupleTable in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as TupleTable
protected  TupleTable NominalIntroductionManager.m_annotatedEqualities
           
protected  TupleTable ExistentialExpansionManager.m_expandedExistentials
           
protected  TupleTable NominalIntroductionManager.m_newRootNodesTable
           
protected  TupleTable TupleTableFullIndex.m_tupleTable
           
protected  TupleTable ExtensionTable.m_tupleTable
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type TupleTable
TupleTableFullIndex(TupleTable tupleTable, int indexedArity)