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

Packages that use PermanentDependencySet
org.semanticweb.HermiT.tableau   
 

Uses of PermanentDependencySet in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as PermanentDependencySet
protected  PermanentDependencySet ExtensionManager.m_clashDependencySet
           
protected  PermanentDependencySet GroundDisjunction.m_dependencySet
           
protected  PermanentDependencySet DependencySetFactory.m_emptySet
           
protected  PermanentDependencySet[] DependencySetFactory.m_entries
           
protected  PermanentDependencySet DependencySetFactory.m_firstDestroyedSet
           
protected  PermanentDependencySet DependencySetFactory.m_firstUnusedSet
           
protected  PermanentDependencySet Node.m_mergedIntoDependencySet
           
protected  PermanentDependencySet PermanentDependencySet.m_nextEntry
           
protected  PermanentDependencySet PermanentDependencySet.m_nextUnusedSet
           
protected  PermanentDependencySet PermanentDependencySet.m_previousUnusedSet
           
protected  PermanentDependencySet PermanentDependencySet.m_rest
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type PermanentDependencySet
protected  java.util.List<PermanentDependencySet> DependencySetFactory.m_mergeSets
           
 

Methods in org.semanticweb.HermiT.tableau that return PermanentDependencySet
 PermanentDependencySet DependencySetFactory.addBranchingPoint(DependencySet dependencySet, int branchingPoint)
           
 PermanentDependencySet Node.addCanonicalNodeDependencySet(DependencySet dependencySet)
           
protected  PermanentDependencySet DependencySetFactory.createDependencySet(PermanentDependencySet rest, int branchingPoint)
           
 PermanentDependencySet DependencySetFactory.emptySet()
           
 PermanentDependencySet Node.getCanonicalNodeDependencySet()
           
protected  PermanentDependencySet DependencySetFactory.getDepdendencySet(PermanentDependencySet rest, int branchingPoint)
           
 PermanentDependencySet Node.getMergedIntoDependencySet()
           
 PermanentDependencySet DependencySetFactory.getPermanent(DependencySet dependencySet)
           
 PermanentDependencySet DependencySetFactory.removeBranchingPoint(DependencySet dependencySet, int branchingPoint)
           
 PermanentDependencySet DependencySetFactory.unionWith(DependencySet set1, DependencySet set2)
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type PermanentDependencySet
protected  void DependencySetFactory.addToUnusedList(PermanentDependencySet dependencySet)
           
 void DependencySetFactory.addUsage(PermanentDependencySet dependencySet)
           
protected  PermanentDependencySet DependencySetFactory.createDependencySet(PermanentDependencySet rest, int branchingPoint)
           
protected  void DependencySetFactory.destroyDependencySet(PermanentDependencySet dependencySet)
           
protected  PermanentDependencySet DependencySetFactory.getDepdendencySet(PermanentDependencySet rest, int branchingPoint)
           
protected  void DependencySetFactory.removeFromEntries(PermanentDependencySet dependencySet)
           
protected  void DependencySetFactory.removeFromUnusedList(PermanentDependencySet dependencySet)
           
 void DependencySetFactory.removeUsage(PermanentDependencySet dependencySet)