org.semanticweb.HermiT.existentials
Interfaces 
ExistentialExpansionStrategy
Classes 
AbstractExpansionStrategy
CreationOrderStrategy
IndividualReuseStrategy
IndividualReuseStrategy.NodeBranchingPointPair
Enums 
AbstractExpansionStrategy.SatType