|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.tableau.ExtensionTable.LastObjectDependencySetManager
protected class ExtensionTable.LastObjectDependencySetManager
Field Summary | |
---|---|
protected DependencySetFactory |
m_dependencySetFactory
|
Constructor Summary | |
---|---|
ExtensionTable.LastObjectDependencySetManager(ExtensionTable extensionTable)
|
Method Summary | |
---|---|
void |
forgetDependencySet(int tupleIndex)
|
DependencySet |
getDependencySet(int tupleIndex)
|
void |
setDependencySet(int tupleIndex,
DependencySet dependencySet)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected final DependencySetFactory m_dependencySetFactory
Constructor Detail |
---|
public ExtensionTable.LastObjectDependencySetManager(ExtensionTable extensionTable)
Method Detail |
---|
public DependencySet getDependencySet(int tupleIndex)
getDependencySet
in interface ExtensionTable.DependencySetManager
public void setDependencySet(int tupleIndex, DependencySet dependencySet)
setDependencySet
in interface ExtensionTable.DependencySetManager
public void forgetDependencySet(int tupleIndex)
forgetDependencySet
in interface ExtensionTable.DependencySetManager
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |