Uses of Class
org.semanticweb.HermiT.tableau.ExistentialExpansionManager

Packages that use ExistentialExpansionManager

Package	Description
org.semanticweb.HermiT.tableau

Uses of ExistentialExpansionManager in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return ExistentialExpansionManager

Modifier and Type	Method and Description
ExistentialExpansionManager	Tableau.getExistentialExpansionManager()