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

Packages that use ExtensionTable
org.semanticweb.HermiT.tableau   
 

Uses of ExtensionTable in org.semanticweb.HermiT.tableau
 

Subclasses of ExtensionTable in org.semanticweb.HermiT.tableau
 class ExtensionTableWithFullIndex
          This extension table is for use with Description Graphs and it supports tuple tables with arity greater than three, but are, as a result, less efficient.
 class ExtensionTableWithTupleIndexes
          This extension table is for use with binary and ternary assertions (not description graphs).
 

Fields in org.semanticweb.HermiT.tableau declared as ExtensionTable
protected  ExtensionTable[] ExtensionManager.m_allExtensionTablesArray
           
protected  ExtensionTable ExtensionManager.m_binaryExtensionTable
           
protected  ExtensionTable[] DescriptionGraphManager.m_extensionTablesByIndex
           
protected  ExtensionTable ExtensionManager.m_ternaryExtensionTable
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type ExtensionTable
protected  java.util.Map<java.lang.Integer,ExtensionTable> ExtensionManager.m_extensionTablesByArity
           
 

Methods in org.semanticweb.HermiT.tableau that return ExtensionTable
 ExtensionTable ExtensionManager.getBinaryExtensionTable()
           
 ExtensionTable ExtensionTableWithTupleIndexes.IndexedRetrieval.getExtensionTable()
           
 ExtensionTable ExtensionTableWithFullIndex.IndexedRetrieval.getExtensionTable()
           
 ExtensionTable ExtensionTable.Retrieval.getExtensionTable()
           
 ExtensionTable ExtensionTable.UnindexedRetrieval.getExtensionTable()
           
 ExtensionTable ExtensionManager.getExtensionTable(int arity)
           
 ExtensionTable ExtensionManager.getTernaryExtensionTable()
           
 

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type ExtensionTable
 java.util.Collection<ExtensionTable> ExtensionManager.getExtensionTables()
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable
 void ClashManager.tupleAdded(ExtensionTable extensionTable, java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable
ExtensionTable.DeterministicDependencySetManager(ExtensionTable extensionTable)
           
ExtensionTable.LastObjectDependencySetManager(ExtensionTable extensionTable)