|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExistentialExpansionManager | |
---|---|
org.semanticweb.HermiT.existentials | |
org.semanticweb.HermiT.tableau |
Uses of ExistentialExpansionManager in org.semanticweb.HermiT.existentials |
---|
Fields in org.semanticweb.HermiT.existentials declared as ExistentialExpansionManager | |
---|---|
protected ExistentialExpansionManager |
AbstractExpansionStrategy.m_existentialExpansionManager
|
Uses of ExistentialExpansionManager in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as ExistentialExpansionManager | |
---|---|
protected ExistentialExpansionManager |
Tableau.m_existentialExpasionManager
|
Methods in org.semanticweb.HermiT.tableau that return ExistentialExpansionManager | |
---|---|
ExistentialExpansionManager |
Tableau.getExistentialExpansionManager()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |