|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||