Uses of Class
org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager

Packages that use DLClauseEvaluator.GroundDisjunctionHeaderManager
org.semanticweb.HermiT.tableau   
 

Uses of DLClauseEvaluator.GroundDisjunctionHeaderManager in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DLClauseEvaluator.GroundDisjunctionHeaderManager
protected  DLClauseEvaluator.GroundDisjunctionHeaderManager DLClauseEvaluator.DLClauseCompiler.m_groundDisjunctionHeaderManager
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClauseEvaluator.GroundDisjunctionHeaderManager
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)
           
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize)