|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |