|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MergingManager | |
---|---|
org.semanticweb.HermiT.tableau |
Uses of MergingManager in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as MergingManager | |
---|---|
protected MergingManager |
Tableau.m_mergingManager
|
protected MergingManager |
NominalIntroductionManager.m_mergingManager
|
protected MergingManager |
DescriptionGraphManager.m_mergingManager
|
Methods in org.semanticweb.HermiT.tableau that return MergingManager | |
---|---|
MergingManager |
Tableau.getMergingManager()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |