|
||||||||||
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 |