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

Packages that use AbstractExpansionStrategy

Package	Description
org.semanticweb.HermiT.existentials

Uses of AbstractExpansionStrategy in org.semanticweb.HermiT.existentials

Subclasses of AbstractExpansionStrategy in org.semanticweb.HermiT.existentials

Modifier and Type	Class and Description
class	CreationOrderStrategy Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials.
class	IndividualReuseStrategy IndividualReuseStrategy.