|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExtensionManager | |
---|---|
org.semanticweb.HermiT.blocking | |
org.semanticweb.HermiT.existentials | |
org.semanticweb.HermiT.tableau |
Uses of ExtensionManager in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as ExtensionManager | |
---|---|
protected ExtensionManager |
BlockingValidator.m_extensionManager
|
protected ExtensionManager |
AnywhereValidatedBlocking.m_extensionManager
|
Methods in org.semanticweb.HermiT.blocking with parameters of type ExtensionManager | |
---|---|
boolean |
BlockingValidator.ConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node blockedX)
|
boolean |
BlockingValidator.SimpleConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
|
boolean |
BlockingValidator.X2YOrY2XConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
|
boolean |
BlockingValidator.MirroredYConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
|
boolean |
BlockingValidator.YConstraint.isSatisfiedExplicitly(ExtensionManager extensionManager,
Node nodeX,
Node nodeY)
|
boolean |
BlockingValidator.MirroredYConsequenceAtom.isSatisfiedNonMirrored(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo)
|
boolean |
BlockingValidator.YConstraint.isSatisfiedViaMirroringY(ExtensionManager extensionManager,
Node nodeX,
Node nodeY)
|
Constructors in org.semanticweb.HermiT.blocking with parameters of type ExtensionManager | |
---|---|
BlockingValidator.DLClauseInfo(DLClause dlClause,
ExtensionManager extensionManager)
|
Uses of ExtensionManager in org.semanticweb.HermiT.existentials |
---|
Fields in org.semanticweb.HermiT.existentials declared as ExtensionManager | |
---|---|
protected ExtensionManager |
AbstractExpansionStrategy.m_extensionManager
|
Uses of ExtensionManager in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as ExtensionManager | |
---|---|
protected ExtensionManager |
Tableau.m_extensionManager
|
protected ExtensionManager |
MergingManager.m_extensionManager
|
protected ExtensionManager |
HyperresolutionManager.m_extensionManager
|
protected ExtensionManager |
ExistentialExpansionManager.m_extensionManager
|
protected ExtensionManager |
DLClauseEvaluator.m_extensionManager
|
protected ExtensionManager |
DLClauseEvaluator.SetClash.m_extensionManager
|
protected ExtensionManager |
DLClauseEvaluator.DeriveUnaryFact.m_extensionManager
|
protected ExtensionManager |
DLClauseEvaluator.DeriveBinaryFact.m_extensionManager
|
protected ExtensionManager |
DLClauseEvaluator.DeriveTernaryFact.m_extensionManager
|
protected ExtensionManager |
DLClauseEvaluator.DLClauseCompiler.m_extensionManager
|
protected ExtensionManager |
DescriptionGraphManager.m_extensionManager
|
protected ExtensionManager |
DatatypeManager.m_extensionManager
|
protected ExtensionManager |
ClashManager.m_extensionManager
|
Methods in org.semanticweb.HermiT.tableau that return ExtensionManager | |
---|---|
ExtensionManager |
Tableau.getExtensionManager()
|
Constructors in org.semanticweb.HermiT.tableau with parameters of type ExtensionManager | |
---|---|
DLClauseEvaluator.DeriveBinaryFact(ExtensionManager extensionManager,
java.lang.Object[] valuesBuffer,
DependencySet dependencySet,
DLPredicate dlPredicate,
int argumentIndex1,
int argumentIndex2)
|
|
DLClauseEvaluator.DeriveTernaryFact(ExtensionManager extensionManager,
java.lang.Object[] valuesBuffer,
DependencySet dependencySet,
DLPredicate dlPredicate,
int argumentIndex1,
int argumentIndex2,
int argumentIndex3)
|
|
DLClauseEvaluator.DeriveUnaryFact(ExtensionManager extensionManager,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables,
DependencySet dependencySet,
DLPredicate dlPredicate,
int argumentIndex)
|
|
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.SetClash(ExtensionManager extensionManager,
DependencySet dependencySet)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |