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