Uses of Interface
org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

Packages that use ExistentialExpansionStrategy

Package	Description
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.tableau

Uses of ExistentialExpansionStrategy in org.semanticweb.HermiT.existentials

Classes in org.semanticweb.HermiT.existentials that implement ExistentialExpansionStrategy

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

Uses of ExistentialExpansionStrategy in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return ExistentialExpansionStrategy

Modifier and Type	Method and Description
ExistentialExpansionStrategy	Tableau.getExistentialsExpansionStrategy()

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExistentialExpansionStrategy

Constructor and Description
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Map<String,Object> parameters)