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

Packages that use PermanentDependencySet

Package	Description
org.semanticweb.HermiT.tableau

Uses of PermanentDependencySet in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return PermanentDependencySet

Modifier and Type	Method and Description
PermanentDependencySet	DependencySetFactory.addBranchingPoint(DependencySet dependencySet, int branchingPoint)
PermanentDependencySet	Node.addCanonicalNodeDependencySet(DependencySet dependencySet)
PermanentDependencySet	DependencySetFactory.emptySet()
PermanentDependencySet	Node.getCanonicalNodeDependencySet()
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

Modifier and Type	Method and Description
void	DependencySetFactory.addUsage(PermanentDependencySet dependencySet)
void	DependencySetFactory.removeUsage(PermanentDependencySet dependencySet)