Uses of Package
org.semanticweb.HermiT.existentials

Packages that use org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.tableau   
 

Classes in org.semanticweb.HermiT.existentials used by org.semanticweb.HermiT.existentials
AbstractExpansionStrategy
          Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses.
AbstractExpansionStrategy.SatType
           
ExistentialExpansionStrategy
          Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced.
IndividualReuseStrategy.NodeBranchingPointPair
           
 

Classes in org.semanticweb.HermiT.existentials used by org.semanticweb.HermiT.tableau
ExistentialExpansionStrategy
          Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced.