org.semanticweb.HermiT.tableau
Class ExtensionTable.DeterministicDependencySetManager
java.lang.Object
org.semanticweb.HermiT.tableau.ExtensionTable.DeterministicDependencySetManager
- All Implemented Interfaces:
- Serializable, ExtensionTable.DependencySetManager
- Enclosing class:
- ExtensionTable
protected static class ExtensionTable.DeterministicDependencySetManager
- extends Object
- implements ExtensionTable.DependencySetManager, Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_dependencySetFactory
protected final DependencySetFactory m_dependencySetFactory
ExtensionTable.DeterministicDependencySetManager
public ExtensionTable.DeterministicDependencySetManager(ExtensionTable extensionTable)
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
Copyright © 2012. All Rights Reserved.