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