Package org.semanticweb.HermiT.existentials

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

Class Summary
AbstractExpansionStrategy Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses.
CreationOrderStrategy Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials.
IndividualReuseStrategy  
IndividualReuseStrategy.NodeBranchingPointPair  
 

Enum Summary
AbstractExpansionStrategy.SatType