Uses of Class
org.semanticweb.HermiT.tableau.DependencySetFactory

Packages that use DependencySetFactory
org.semanticweb.HermiT.tableau   
 

Uses of DependencySetFactory in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DependencySetFactory
protected  DependencySetFactory Tableau.m_dependencySetFactory
           
protected  DependencySetFactory NominalIntroductionManager.m_dependencySetFactory
           
protected  DependencySetFactory ExtensionTable.DeterministicDependencySetManager.m_dependencySetFactory
           
protected  DependencySetFactory ExtensionTable.LastObjectDependencySetManager.m_dependencySetFactory
           
protected  DependencySetFactory ExtensionManager.m_dependencySetFactory
           
 

Methods in org.semanticweb.HermiT.tableau that return DependencySetFactory
 DependencySetFactory Tableau.getDependencySetFactory()