Uses of Class
org.semanticweb.HermiT.tableau.UnionDependencySet

Packages that use UnionDependencySet
org.semanticweb.HermiT.tableau   
 

Uses of UnionDependencySet in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as UnionDependencySet
protected  UnionDependencySet MergingManager.m_binaryUnionDependencySet
           
protected  UnionDependencySet ExistentialExpansionManager.m_binaryUnionDependencySet
           
protected  UnionDependencySet DescriptionGraphManager.m_binaryUnionDependencySet
           
protected  UnionDependencySet ClashManager.m_binaryUnionDependencySet
           
protected  UnionDependencySet DLClauseEvaluator.DLClauseCompiler.m_unionDependencySet
           
protected  UnionDependencySet DatatypeManager.m_unionDependencySet
           
protected  UnionDependencySet[] HyperresolutionManager.m_unionDependencySetsToClear
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type UnionDependencySet
protected  java.util.List<UnionDependencySet> DependencySetFactory.m_unprocessedSets
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type UnionDependencySet
 void DescriptionGraphManager.mergeGraphs(Node mergeFrom, Node mergeInto, UnionDependencySet binaryUnionDependencySet)
           
 

Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type UnionDependencySet
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)