org.semanticweb.HermiT.tableau
Interface ExtensionTable.DependencySetManager
- All Known Implementing Classes:
- ExtensionTable.DeterministicDependencySetManager, ExtensionTable.LastObjectDependencySetManager
- Enclosing class:
- ExtensionTable
protected static interface ExtensionTable.DependencySetManager
getDependencySet
DependencySet getDependencySet(int tupleIndex)
setDependencySet
void setDependencySet(int tupleIndex,
DependencySet dependencySet)
forgetDependencySet
void forgetDependencySet(int tupleIndex)