|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DLClauseEvaluator.ValuesBufferManager | |
---|---|
org.semanticweb.HermiT.tableau |
Uses of DLClauseEvaluator.ValuesBufferManager in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as DLClauseEvaluator.ValuesBufferManager | |
---|---|
protected DLClauseEvaluator.ValuesBufferManager |
DLClauseEvaluator.DLClauseCompiler.m_valuesBufferManager
|
Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClauseEvaluator.ValuesBufferManager | |
---|---|
DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply,
DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
Map<Integer,UnionDependencySet> unionDependencySetsBySize,
DLClauseEvaluator dlClauseEvalautor,
ExtensionManager extensionManager,
ExistentialExpansionStrategy existentialExpansionStrategy,
DLClause bodyDLClause,
List<DLClause> headDLClauses,
ExtensionTable.Retrieval firstAtomRetrieval)
|
|
DLClauseEvaluator(Tableau tableau,
DLClause bodyDLClause,
List<DLClause> headDLClauses,
ExtensionTable.Retrieval firstAtomRetrieval,
DLClauseEvaluator.BufferSupply bufferSupply,
DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
Map<Integer,UnionDependencySet> unionDependencySetsBySize)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |