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

Packages that use ExtensionTable

Package	Description
org.semanticweb.HermiT.tableau

Uses of ExtensionTable in org.semanticweb.HermiT.tableau

Subclasses of ExtensionTable in org.semanticweb.HermiT.tableau

Modifier and Type	Class and Description
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).

Methods in org.semanticweb.HermiT.tableau that return ExtensionTable

Modifier and Type	Method and Description
ExtensionTable	ExtensionManager.getBinaryExtensionTable()
ExtensionTable	ExtensionTable.Retrieval.getExtensionTable()
ExtensionTable	ExtensionManager.getExtensionTable(int arity)
ExtensionTable	ExtensionManager.getTernaryExtensionTable()

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type ExtensionTable

Modifier and Type	Method and Description
Collection<ExtensionTable>	ExtensionManager.getExtensionTables()

Methods in org.semanticweb.HermiT.tableau with parameters of type ExtensionTable

Modifier and Type	Method and Description
void	ClashManager.tupleAdded(ExtensionTable extensionTable, Object[] tuple, DependencySet dependencySet)