org.semanticweb.HermiT.tableau
Interface ExtensionTable.DependencySetManager

All Known Implementing Classes:
ExtensionTable.DeterministicDependencySetManager, ExtensionTable.LastObjectDependencySetManager
Enclosing class:
ExtensionTable

protected static interface ExtensionTable.DependencySetManager


Method Summary
 void forgetDependencySet(int tupleIndex)
           
 DependencySet getDependencySet(int tupleIndex)
           
 void setDependencySet(int tupleIndex, DependencySet dependencySet)
           
 

Method Detail

getDependencySet

DependencySet getDependencySet(int tupleIndex)

setDependencySet

void setDependencySet(int tupleIndex,
                      DependencySet dependencySet)

forgetDependencySet

void forgetDependencySet(int tupleIndex)