|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||