|
||||||||||
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 |