Uses of Class
org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

Packages that use AbstractExpansionStrategy
org.semanticweb.HermiT.existentials   
 

Uses of AbstractExpansionStrategy in org.semanticweb.HermiT.existentials
 

Subclasses of AbstractExpansionStrategy in org.semanticweb.HermiT.existentials
 class CreationOrderStrategy
          Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials.
 class IndividualReuseStrategy