org.semanticweb.HermiT.tableau
Class ExtensionTable.DeterministicDependencySetManager

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.ExtensionTable.DeterministicDependencySetManager
All Implemented Interfaces:
java.io.Serializable, ExtensionTable.DependencySetManager
Enclosing class:
ExtensionTable

protected static class ExtensionTable.DeterministicDependencySetManager
extends java.lang.Object
implements ExtensionTable.DependencySetManager, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  DependencySetFactory m_dependencySetFactory
           
 
Constructor Summary
ExtensionTable.DeterministicDependencySetManager(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

m_dependencySetFactory

protected final DependencySetFactory m_dependencySetFactory
Constructor Detail

ExtensionTable.DeterministicDependencySetManager

public ExtensionTable.DeterministicDependencySetManager(ExtensionTable extensionTable)
Method Detail

getDependencySet

public DependencySet getDependencySet(int tupleIndex)
Specified by:
getDependencySet in interface ExtensionTable.DependencySetManager

setDependencySet

public void setDependencySet(int tupleIndex,
                             DependencySet dependencySet)
Specified by:
setDependencySet in interface ExtensionTable.DependencySetManager

forgetDependencySet

public void forgetDependencySet(int tupleIndex)
Specified by:
forgetDependencySet in interface ExtensionTable.DependencySetManager