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

Packages that use ExistentialExpansionStrategy
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
 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
           
 

Uses of ExistentialExpansionStrategy in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as ExistentialExpansionStrategy
protected  ExistentialExpansionStrategy Tableau.m_existentialExpansionStrategy
           
protected  ExistentialExpansionStrategy DLClauseEvaluator.DLClauseCompiler.m_existentialExpansionStrategy
           
 

Methods in org.semanticweb.HermiT.tableau that return ExistentialExpansionStrategy
 ExistentialExpansionStrategy Tableau.getExistentialsExpansionStrategy()
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExistentialExpansionStrategy
DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize, DLClauseEvaluator dlClauseEvalautor, ExtensionManager extensionManager, ExistentialExpansionStrategy existentialExpansionStrategy, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval)
           
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, java.util.Map<java.lang.String,java.lang.Object> parameters)