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

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)