Uses of Package
org.semanticweb.HermiT.existentials

Packages that use org.semanticweb.HermiT.existentials

Package	Description
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.tableau

Classes in org.semanticweb.HermiT.existentials used by org.semanticweb.HermiT.existentials

Class and Description
AbstractExpansionStrategy Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses.
ExistentialExpansionStrategy Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced.

Classes in org.semanticweb.HermiT.existentials used by org.semanticweb.HermiT.tableau

Class and Description
ExistentialExpansionStrategy Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced.