Uses of Interface
org.semanticweb.HermiT.tableau.ExtensionTable.DependencySetManager

Packages that use ExtensionTable.DependencySetManager
org.semanticweb.HermiT.tableau   
 

Uses of ExtensionTable.DependencySetManager in org.semanticweb.HermiT.tableau
 

Classes in org.semanticweb.HermiT.tableau that implement ExtensionTable.DependencySetManager
protected static class ExtensionTable.DeterministicDependencySetManager
           
protected  class ExtensionTable.LastObjectDependencySetManager
           
 

Fields in org.semanticweb.HermiT.tableau declared as ExtensionTable.DependencySetManager
protected  ExtensionTable.DependencySetManager ExtensionTable.m_dependencySetManager