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

Packages that use Node
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.debugger.commands   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.monitor   
org.semanticweb.HermiT.tableau   
 

Uses of Node in org.semanticweb.HermiT.blocking
 

Fields in org.semanticweb.HermiT.blocking declared as Node
protected  Node AnywhereValidatedBlocking.m_firstChangedNode
           
protected  Node AnywhereBlocking.m_firstChangedNode
           
protected  Node AnywhereValidatedBlocking.m_lastValidatedUnchangedNode
           
protected  Node ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_node
           
protected  Node ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_node
           
protected  Node SingleDirectBlockingChecker.SingleBlockingObject.m_node
           
protected  Node PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_node
           
protected  Node BlockingValidator.DLClauseInfo.m_xNode
           
protected  Node[] BlockingValidator.DLClauseInfo.m_yNodes
           
protected  Node[] BlockingValidator.DLClauseInfo.m_zNodes
           
 

Fields in org.semanticweb.HermiT.blocking with type parameters of type Node
 java.util.Map<AtLeastConcept,Node> BlockingValidator.inValidAtleastForBlockedParent
           
 java.util.Map<AtLeastConcept,Node> BlockingValidator.inValidAtleastForBlocker
           
 java.util.Map<BlockingValidator.DLClauseInfo,Node> BlockingValidator.inValidClausesForBlockedParent
           
 java.util.Map<BlockingValidator.DLClauseInfo,Node> BlockingValidator.inValidClausesForBlocker
           
 

Methods in org.semanticweb.HermiT.blocking that return Node
 Node ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node DirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node ValidatedPairwiseDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node SingleDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node PairWiseDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node DirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node ValidatedSingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node ValidatedPairwiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node SingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node PairWiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node DirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 

Methods in org.semanticweb.HermiT.blocking with parameters of type Node
 boolean BlockingSignatureCache.addNode(Node node)
           
 Node ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node DirectBlockingChecker.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void BlockingStrategy.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AnywhereValidatedBlocking.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AnywhereBlocking.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AncestorBlocking.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionAdded(Concept concept, Node node, boolean isCore)
           
 void BlockingStrategy.assertionAdded(Concept concept, Node node, boolean isCore)
           
 void AnywhereValidatedBlocking.assertionAdded(Concept concept, Node node, boolean isCore)
           
 void AnywhereBlocking.assertionAdded(Concept concept, Node node, boolean isCore)
           
 void AncestorBlocking.assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void BlockingStrategy.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void AnywhereValidatedBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void AnywhereBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void AncestorBlocking.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void BlockingStrategy.assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void AnywhereValidatedBlocking.assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void AnywhereBlocking.assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void AncestorBlocking.assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void BlockingStrategy.assertionCoreSet(Concept concept, Node node)
           
 void AnywhereValidatedBlocking.assertionCoreSet(Concept concept, Node node)
           
 void AnywhereBlocking.assertionCoreSet(Concept concept, Node node)
           
 void AncestorBlocking.assertionCoreSet(Concept concept, Node node)
           
 void BlockingStrategy.assertionCoreSet(DataRange range, Node node)
           
 void AnywhereValidatedBlocking.assertionCoreSet(DataRange range, Node node)
           
 void AnywhereBlocking.assertionCoreSet(DataRange range, Node node)
           
 void AncestorBlocking.assertionCoreSet(DataRange range, Node node)
           
 Node ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void BlockingStrategy.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AnywhereValidatedBlocking.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AnywhereBlocking.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AncestorBlocking.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void BlockingStrategy.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void AnywhereValidatedBlocking.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void AnywhereBlocking.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void AncestorBlocking.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node ValidatedSingleDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node ValidatedPairwiseDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node SingleDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node PairWiseDirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 Node DirectBlockingChecker.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void BlockingStrategy.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void AnywhereValidatedBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void AnywhereBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void AncestorBlocking.assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void BlockingValidator.blockerChanged(Node node)
           
 int ValidatedSingleDirectBlockingChecker.blockingHashCode(Node node)
           
 int ValidatedPairwiseDirectBlockingChecker.blockingHashCode(Node node)
           
 int SingleDirectBlockingChecker.blockingHashCode(Node node)
           
 int PairWiseDirectBlockingChecker.blockingHashCode(Node node)
           
 int DirectBlockingChecker.blockingHashCode(Node node)
           
 boolean ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.blocksNode(Node node)
           
 boolean ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.blocksNode(Node node)
           
 boolean SingleDirectBlockingChecker.SingleBlockingSignature.blocksNode(Node node)
           
 boolean PairWiseDirectBlockingChecker.PairWiseBlockingSignature.blocksNode(Node node)
           
abstract  boolean BlockingSignature.blocksNode(Node node)
           
 boolean ValidatedSingleDirectBlockingChecker.canBeBlocked(Node node)
           
 boolean ValidatedPairwiseDirectBlockingChecker.canBeBlocked(Node node)
           
 boolean SingleDirectBlockingChecker.canBeBlocked(Node node)
           
 boolean PairWiseDirectBlockingChecker.canBeBlocked(Node node)
           
 boolean DirectBlockingChecker.canBeBlocked(Node node)
           
 boolean ValidatedSingleDirectBlockingChecker.canBeBlocker(Node node)
           
 boolean ValidatedPairwiseDirectBlockingChecker.canBeBlocker(Node node)
           
 boolean SingleDirectBlockingChecker.canBeBlocker(Node node)
           
 boolean PairWiseDirectBlockingChecker.canBeBlocker(Node node)
           
 boolean DirectBlockingChecker.canBeBlocker(Node node)
           
protected  void BlockingValidator.checkAtLeastForNonblocked(AtLeastConcept atleast, Node nonblocked)
           
protected  void BlockingValidator.checkConstraintsForNonblockedX(Node nonblockedX)
           
protected  void BlockingValidator.checkDLClauseForNonblockedX(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX)
           
protected  void BlockingValidator.checkDLClauseForNonblockedXAndAnyZ(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX, int toMatchIndex)
           
protected  void BlockingValidator.checkDLClauseForNonblockedXAndMatchedNodes(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX)
           
protected  void BlockingValidator.checkDLClauseForNonblockedXAnyZAndAnyY(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX, int toMatchIndexXtoY, int toMatchIndexYtoX)
           
protected  void AncestorBlocking.checkParentBlocking(Node node)
           
 void ValidatedSingleDirectBlockingChecker.clearBlockingInfoChanged(Node node)
           
 void ValidatedPairwiseDirectBlockingChecker.clearBlockingInfoChanged(Node node)
           
 void SingleDirectBlockingChecker.clearBlockingInfoChanged(Node node)
           
 void PairWiseDirectBlockingChecker.clearBlockingInfoChanged(Node node)
           
 void DirectBlockingChecker.clearBlockingInfoChanged(Node node)
           
 boolean AncestorBlocking.computeIsBlocked(Node node)
           
 boolean BlockingSignatureCache.containsSignature(Node node)
           
protected  java.util.Set<AtomicConcept> SingleDirectBlockingChecker.fetchAtomicConceptsLabel(Node node)
           
protected  java.util.Set<AtomicConcept> PairWiseDirectBlockingChecker.fetchAtomicConceptsLabel(Node node)
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.fetchAtomicConceptsLabel(Node node, boolean onlyCore)
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.fetchAtomicConceptsLabel(Node node, boolean onlyCore)
           
protected  java.util.Set<AtomicRole> ValidatedSingleDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom, Node nodeTo, boolean onlyCore)
           
protected  java.util.Set<AtomicRole> ValidatedPairwiseDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom, Node nodeTo, boolean onlyCore)
           
 java.util.Set<AtomicRole> PairWiseDirectBlockingChecker.fetchEdgeLabel(Node nodeFrom, Node nodeTo)
           
 BlockingSignature ValidatedSingleDirectBlockingChecker.getBlockingSignatureFor(Node node)
           
 BlockingSignature ValidatedPairwiseDirectBlockingChecker.getBlockingSignatureFor(Node node)
           
 BlockingSignature SingleDirectBlockingChecker.getBlockingSignatureFor(Node node)
           
 BlockingSignature PairWiseDirectBlockingChecker.getBlockingSignatureFor(Node node)
           
 BlockingSignature DirectBlockingChecker.getBlockingSignatureFor(Node node)
           
 boolean ValidatedSingleDirectBlockingChecker.hasBlockingInfoChanged(Node node)
           
 boolean ValidatedPairwiseDirectBlockingChecker.hasBlockingInfoChanged(Node node)
           
 boolean SingleDirectBlockingChecker.hasBlockingInfoChanged(Node node)
           
 boolean PairWiseDirectBlockingChecker.hasBlockingInfoChanged(Node node)
           
 boolean DirectBlockingChecker.hasBlockingInfoChanged(Node node)
           
 boolean ValidatedSingleDirectBlockingChecker.hasChangedSinceValidation(Node node)
           
 boolean ValidatedPairwiseDirectBlockingChecker.hasChangedSinceValidation(Node node)
           
 boolean SingleDirectBlockingChecker.hasChangedSinceValidation(Node node)
           
 boolean PairWiseDirectBlockingChecker.hasChangedSinceValidation(Node node)
           
 boolean DirectBlockingChecker.hasChangedSinceValidation(Node node)
           
 boolean ValidatedSingleDirectBlockingChecker.isBlockedBy(Node blocker, Node blocked)
           
 boolean ValidatedPairwiseDirectBlockingChecker.isBlockedBy(Node blocker, Node blocked)
           
 boolean SingleDirectBlockingChecker.isBlockedBy(Node blocker, Node blocked)
           
 boolean PairWiseDirectBlockingChecker.isBlockedBy(Node blocker, Node blocked)
           
 boolean DirectBlockingChecker.isBlockedBy(Node blocker, Node blocked)
           
 boolean BlockingValidator.isBlockValid(Node blocked)
           
protected  boolean AnywhereValidatedBlocking.isBlockValid(Node node)
           
 boolean BlockingStrategy.isPermanentAssertion(Concept concept, Node node)
           
 boolean AnywhereValidatedBlocking.isPermanentAssertion(Concept concept, Node node)
           
 boolean AnywhereBlocking.isPermanentAssertion(Concept concept, Node node)
           
 boolean AncestorBlocking.isPermanentAssertion(Concept concept, Node node)
           
 boolean BlockingStrategy.isPermanentAssertion(DataRange range, Node node)
           
 boolean AnywhereValidatedBlocking.isPermanentAssertion(DataRange range, Node node)
           
 boolean AnywhereBlocking.isPermanentAssertion(DataRange range, Node node)
           
 boolean AncestorBlocking.isPermanentAssertion(DataRange range, Node node)
           
 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)
           
protected  boolean BlockingValidator.isSatisfiedAtLeastForBlocked(AtLeastConcept atleast, Node blockedX, Node blocker, Node blockerParent)
           
 boolean BlockingValidator.YConstraint.isSatisfiedExplicitly(ExtensionManager extensionManager, Node nodeX, Node nodeY)
           
 boolean BlockingValidator.YConstraint.isSatisfiedViaMirroringY(ExtensionManager extensionManager, Node nodeX, Node nodeY)
           
 void ValidatedSingleDirectBlockingChecker.nodeDestroyed(Node node)
           
 void ValidatedPairwiseDirectBlockingChecker.nodeDestroyed(Node node)
           
 void SingleDirectBlockingChecker.nodeDestroyed(Node node)
           
 void PairWiseDirectBlockingChecker.nodeDestroyed(Node node)
           
 void DirectBlockingChecker.nodeDestroyed(Node node)
           
 void BlockingStrategy.nodeDestroyed(Node node)
           
 void AnywhereValidatedBlocking.nodeDestroyed(Node node)
           
 void AnywhereBlocking.nodeDestroyed(Node node)
           
 void AncestorBlocking.nodeDestroyed(Node node)
           
 void ValidatedSingleDirectBlockingChecker.nodeInitialized(Node node)
           
 void ValidatedPairwiseDirectBlockingChecker.nodeInitialized(Node node)
           
 void SingleDirectBlockingChecker.nodeInitialized(Node node)
           
 void PairWiseDirectBlockingChecker.nodeInitialized(Node node)
           
 void DirectBlockingChecker.nodeInitialized(Node node)
           
 void BlockingStrategy.nodeInitialized(Node node)
           
 void AnywhereValidatedBlocking.nodeInitialized(Node node)
           
 void AnywhereBlocking.nodeInitialized(Node node)
           
 void AncestorBlocking.nodeInitialized(Node node)
           
 Node ValidatedSingleDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node ValidatedPairwiseDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node SingleDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node PairWiseDirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node DirectBlockingChecker.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void BlockingStrategy.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void AnywhereValidatedBlocking.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void AnywhereBlocking.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void AncestorBlocking.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void BlockingStrategy.nodeStatusChanged(Node node)
           
 void AnywhereValidatedBlocking.nodeStatusChanged(Node node)
           
 void AnywhereBlocking.nodeStatusChanged(Node node)
           
 void AncestorBlocking.nodeStatusChanged(Node node)
           
 Node ValidatedSingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node ValidatedPairwiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node SingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node PairWiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 Node DirectBlockingChecker.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 void BlockingStrategy.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 void AnywhereValidatedBlocking.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 void AnywhereBlocking.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 void AncestorBlocking.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
protected  void BlockingValidator.resetChildFlags(Node parent)
           
protected  boolean BlockingValidator.satisfiesConstraintsForBlockedX(Node blockedX)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedX(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedXAndAnyZ(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX, int parentOfBlockedXIndex, int toMatchIndex)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedXAndMatchedNodes(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX, int parentOfBlockedXIndex)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedXAnyZAndAnyY(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX, int parentOfBlockedXIndex, int toMatchIndexXToY, int toMatchIndexYToX)
           
 void ValidatedSingleDirectBlockingChecker.setHasChangedSinceValidation(Node node, boolean hasChanged)
           
 void ValidatedPairwiseDirectBlockingChecker.setHasChangedSinceValidation(Node node, boolean hasChanged)
           
 void SingleDirectBlockingChecker.setHasChangedSinceValidation(Node node, boolean hasChanged)
           
 void PairWiseDirectBlockingChecker.setHasChangedSinceValidation(Node node, boolean hasChanged)
           
 void DirectBlockingChecker.setHasChangedSinceValidation(Node node, boolean hasChanged)
           
protected  void AnywhereValidatedBlocking.updateNodeChange(Node node)
           
protected  void AnywhereBlocking.updateNodeChange(Node node)
           
protected  void AnywhereValidatedBlocking.validationInfoChanged(Node node)
           
 

Constructors in org.semanticweb.HermiT.blocking with parameters of type Node
PairWiseDirectBlockingChecker.PairWiseBlockingObject(Node node)
           
PairWiseDirectBlockingChecker.PairWiseBlockingSignature(PairWiseDirectBlockingChecker checker, Node node)
           
SingleDirectBlockingChecker.SingleBlockingObject(Node node)
           
SingleDirectBlockingChecker.SingleBlockingSignature(SingleDirectBlockingChecker checker, Node node)
           
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature(ValidatedPairwiseDirectBlockingChecker checker, Node node)
           
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject(Node node)
           
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature(ValidatedSingleDirectBlockingChecker checker, Node node)
           
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject(Node node)
           
 

Uses of Node in org.semanticweb.HermiT.debugger
 

Fields in org.semanticweb.HermiT.debugger declared as Node
 Node Debugger.NodeCreationInfo.m_createdByNode
           
protected  Node Debugger.m_lastExistentialNode
           
 Node Debugger.NodeCreationInfo.m_node
           
 

Fields in org.semanticweb.HermiT.debugger with type parameters of type Node
 java.util.List<Node> Debugger.NodeCreationInfo.m_children
           
protected  java.util.Map<Node,Debugger.NodeCreationInfo> Debugger.m_nodeCreationInfos
           
 

Methods in org.semanticweb.HermiT.debugger that return Node
 Node DerivationHistory.Atom.getArgument(int index)
           
 Node DerivationHistory.Disjunction.getArgument(int disjunctIndex, int argumentIndex)
           
 

Methods in org.semanticweb.HermiT.debugger with parameters of type Node
 int Printing.NodeComparator.compare(Node o1, Node o2)
           
 void DerivationHistory.existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void Debugger.existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void DerivationHistory.existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
 void Debugger.existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
protected static java.lang.String Printing.formatBlockingStatus(Node node)
           
 Debugger.NodeCreationInfo Debugger.getNodeCreationInfo(Node node)
           
 void DerivationHistory.mergeFactFinished(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void DerivationHistory.mergeFactStarted(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void DerivationHistory.mergeFinished(Node nodeFrom, Node nodeInto)
           
 void DerivationHistory.mergeStarted(Node nodeFrom, Node nodeInto)
           
 void Debugger.mergeStarted(Node mergeFrom, Node mergeInto)
           
 void Debugger.nodeCreated(Node node)
           
 void Debugger.nodeDestroyed(Node node)
           
protected static void Printing.printConceptLabel(Debugger debugger, Node node, java.io.PrintWriter writer)
           
protected static void Printing.printEdges(Debugger debugger, Node node, java.io.PrintWriter writer)
           
static void Printing.printNodeData(Debugger debugger, Node node, java.io.PrintWriter writer)
           
 void DerivationHistory.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void DerivationHistory.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 

Method parameters in org.semanticweb.HermiT.debugger with type arguments of type Node
protected static void Printing.printEdgeMap(Debugger debugger, java.util.Map<Node,java.util.Set<AtomicRole>> map, java.io.PrintWriter writer)
           
 

Constructors in org.semanticweb.HermiT.debugger with parameters of type Node
Debugger.NodeCreationInfo(Node node, Node createdByNode, ExistentialConcept createdByExistential)
           
 

Uses of Node in org.semanticweb.HermiT.debugger.commands
 

Fields in org.semanticweb.HermiT.debugger.commands declared as Node
protected  Node SubtreeViewer.SubtreeTreeModel.m_root
           
 

Fields in org.semanticweb.HermiT.debugger.commands with type parameters of type Node
 java.util.List<Node> OriginStatsCommand.OriginInfo.m_nodes
           
 

Methods in org.semanticweb.HermiT.debugger.commands that return Node
 Node SubtreeViewer.SubtreeTreeModel.getChild(java.lang.Object parent, int index)
           
 

Methods in org.semanticweb.HermiT.debugger.commands with parameters of type Node
 void SubtreeViewer.findNode(Node node)
           
protected static java.lang.String AbstractCommand.formatBlockingStatus(Node node)
           
protected  void ShowExistsCommand.printStartExistential(Node node, java.io.PrintWriter writer)
           
 void SubtreeViewer.showNodeLabels(Node node)
           
 

Constructors in org.semanticweb.HermiT.debugger.commands with parameters of type Node
SubtreeViewer.SubtreeTreeModel(Debugger debugger, Node root)
           
SubtreeViewer(Debugger debugger, Node rootNode)
           
 

Uses of Node in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as Node
protected  Node IndividualReuseStrategy.IndividualReuseBranchingPoint.m_node
           
protected  Node IndividualReuseStrategy.NodeBranchingPointPair.m_node
           
 

Fields in org.semanticweb.HermiT.existentials with type parameters of type Node
protected  java.util.List<Node> AbstractExpansionStrategy.m_auxiliaryNodes1
           
protected  java.util.List<Node> AbstractExpansionStrategy.m_auxiliaryNodes2
           
 

Methods in org.semanticweb.HermiT.existentials with parameters of type Node
 void ExistentialExpansionStrategy.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AbstractExpansionStrategy.assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void ExistentialExpansionStrategy.assertionAdded(Concept concept, Node node, boolean isCore)
           
 void AbstractExpansionStrategy.assertionAdded(Concept concept, Node node, boolean isCore)
           
 void ExistentialExpansionStrategy.assertionAdded(DataRange dataRange, Node node, boolean isCore)
           
 void AbstractExpansionStrategy.assertionAdded(DataRange range, Node node, boolean isCore)
           
 void ExistentialExpansionStrategy.assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void AbstractExpansionStrategy.assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void ExistentialExpansionStrategy.assertionCoreSet(Concept concept, Node node)
           
 void AbstractExpansionStrategy.assertionCoreSet(Concept concept, Node node)
           
 void ExistentialExpansionStrategy.assertionCoreSet(DataRange dataRange, Node node)
           
 void AbstractExpansionStrategy.assertionCoreSet(DataRange range, Node node)
           
 void ExistentialExpansionStrategy.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void AbstractExpansionStrategy.assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void ExistentialExpansionStrategy.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void AbstractExpansionStrategy.assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void ExistentialExpansionStrategy.assertionRemoved(DataRange dataRange, Node node, boolean isCore)
           
 void AbstractExpansionStrategy.assertionRemoved(DataRange range, Node node, boolean isCore)
           
protected  boolean AbstractExpansionStrategy.containsSubsetOfNUnequalNodes(Node forNode, java.util.List<Node> nodes, int startAt, java.util.List<Node> selectedNodes, int cardinality)
           
protected  void IndividualReuseStrategy.expandExistential(AtLeast atLeast, Node forNode)
           
protected  void CreationOrderStrategy.expandExistential(AtLeast atLeast, Node forNode)
           
protected abstract  void AbstractExpansionStrategy.expandExistential(AtLeast atLeast, Node forNode)
          This method performs the actual expansion.
protected  boolean IndividualReuseStrategy.expandWithModelReuse(AtLeastConcept atLeastConcept, Node node)
           
 AtomicConcept IndividualReuseStrategy.getConceptForNode(Node node)
           
protected  boolean AbstractExpansionStrategy.isPermanentSatisfier(Node forNode, Node toNode)
           
protected  AbstractExpansionStrategy.SatType AbstractExpansionStrategy.isSatisfied(AtLeast atLeast, Node forNode)
           
 void ExistentialExpansionStrategy.nodeDestroyed(Node node)
           
 void AbstractExpansionStrategy.nodeDestroyed(Node node)
           
 void ExistentialExpansionStrategy.nodeInitialized(Node node)
           
 void AbstractExpansionStrategy.nodeInitialized(Node node)
           
 void ExistentialExpansionStrategy.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void AbstractExpansionStrategy.nodesMerged(Node mergeFrom, Node mergeInto)
           
 void ExistentialExpansionStrategy.nodeStatusChanged(Node node)
           
 void AbstractExpansionStrategy.nodeStatusChanged(Node node)
           
 void ExistentialExpansionStrategy.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 void AbstractExpansionStrategy.nodesUnmerged(Node mergeFrom, Node mergeInto)
           
protected  boolean IndividualReuseStrategy.tryParentReuse(AtLeastConcept atLeastConcept, Node node)
           
 

Method parameters in org.semanticweb.HermiT.existentials with type arguments of type Node
protected  boolean AbstractExpansionStrategy.containsSubsetOfNUnequalNodes(Node forNode, java.util.List<Node> nodes, int startAt, java.util.List<Node> selectedNodes, int cardinality)
           
protected  boolean AbstractExpansionStrategy.containsSubsetOfNUnequalNodes(Node forNode, java.util.List<Node> nodes, int startAt, java.util.List<Node> selectedNodes, int cardinality)
           
 

Constructors in org.semanticweb.HermiT.existentials with parameters of type Node
IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau, AtLeastConcept existential, Node node, boolean wasParentReuse)
           
IndividualReuseStrategy.NodeBranchingPointPair(Node node, int branchingPoint)
           
 

Uses of Node in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy with type parameters of type Node
protected  java.util.Map<Node,Individual> InstanceManager.m_individualsForNodes
           
protected  java.util.Map<Individual,Node> InstanceManager.m_nodesForIndividuals
           
 

Methods in org.semanticweb.HermiT.hierarchy that return Node
protected  Node QuasiOrderClassification.buildModelForConcept(AtomicConcept concept)
           
 

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type Node
 java.util.Map<Individual,Node> InstanceManager.getNodesForIndividuals()
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Node
protected  void QuasiOrderClassification.prunePossibleSubsumersOfConcept(AtomicConcept atomicConcept, Node node)
           
protected  void QuasiOrderClassification.readKnownSubsumersFromRootNode(AtomicConcept subconcept, Node checkedNode)
           
protected  int InstanceManager.readOffComplexRoleSuccessors(Individual ind, Node nodeForIndividual, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps)
           
protected  void InstanceManager.readOffPropertyInstances(Individual ind, Node nodeForIndividual)
           
protected  boolean InstanceManager.readOffTypes(Individual ind, Node nodeForIndividual)
           
protected  void QuasiOrderClassification.readPossibleSubsumersFromNodeLabel(AtomicConcept atomicConcept, Node node)
           
 

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Node
protected  int InstanceManager.readOffPropertyInstancesByIndividual(Tableau tableau, java.util.Map<Node,Individual> individualsForNodes, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps, int startIndividualIndex)
           
 

Uses of Node in org.semanticweb.HermiT.monitor
 

Methods in org.semanticweb.HermiT.monitor with parameters of type Node
 void TableauMonitorForwarder.existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorFork.existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorAdapter.existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitor.existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorForwarder.existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorFork.existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorAdapter.existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitor.existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorForwarder.existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorFork.existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorAdapter.existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitor.existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)
           
 void TableauMonitorForwarder.mergeFactFinished(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitorFork.mergeFactFinished(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitorAdapter.mergeFactFinished(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitor.mergeFactFinished(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitorForwarder.mergeFactStarted(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitorFork.mergeFactStarted(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitorAdapter.mergeFactStarted(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitor.mergeFactStarted(Node mergeFrom, Node mergeInto, java.lang.Object[] sourceTuple, java.lang.Object[] targetTuple)
           
 void TableauMonitorForwarder.mergeFinished(Node mergeFrom, Node mergeInto)
           
 void TableauMonitorFork.mergeFinished(Node mergeFrom, Node mergeInto)
           
 void TableauMonitorAdapter.mergeFinished(Node mergeFrom, Node mergeInto)
           
 void TableauMonitor.mergeFinished(Node mergeFrom, Node mergeInto)
           
 void TableauMonitorForwarder.mergeStarted(Node mergeFrom, Node mergrInto)
           
 void TableauMonitorFork.mergeStarted(Node mergeFrom, Node mergeInto)
           
 void TableauMonitorAdapter.mergeStarted(Node mergeFrom, Node mergeInto)
           
 void TableauMonitor.mergeStarted(Node mergeFrom, Node mergeInto)
           
 void TableauMonitorForwarder.nodeCreated(Node node)
           
 void TableauMonitorFork.nodeCreated(Node node)
           
 void TableauMonitorAdapter.nodeCreated(Node node)
           
 void TableauMonitor.nodeCreated(Node node)
           
 void TableauMonitorForwarder.nodeDestroyed(Node node)
           
 void TableauMonitorFork.nodeDestroyed(Node node)
           
 void TableauMonitorAdapter.nodeDestroyed(Node node)
           
 void TableauMonitor.nodeDestroyed(Node node)
           
 void TableauMonitorForwarder.nodePruned(Node node)
           
 void TableauMonitorFork.nodePruned(Node node)
           
 void TableauMonitorAdapter.nodePruned(Node node)
           
 void TableauMonitor.nodePruned(Node node)
           
 void TableauMonitorForwarder.nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitorFork.nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitorAdapter.nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitor.nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitorForwarder.nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitorFork.nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitorAdapter.nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitor.nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
           
 void TableauMonitorForwarder.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorFork.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorAdapter.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitor.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorForwarder.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorFork.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitorAdapter.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 void TableauMonitor.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)
           
 

Uses of Node in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as Node
protected  Node[] GroundDisjunction.m_arguments
           
protected  Node Node.m_blocker
           
protected  Node Tableau.m_firstFreeNode
           
protected  Node Tableau.m_firstTableauNode
           
protected  Node Tableau.m_lastMergedOrPrunedNode
           
protected  Node BranchingPoint.m_lastMergedOrPrunedNode
           
protected  Node Tableau.m_lastTableauNode
           
protected  Node BranchingPoint.m_lastTableauNode
           
protected  Node Node.m_mergedInto
           
protected  Node Node.m_nextTableauNode
           
protected  Node NominalIntroductionManager.NominalIntroductionBranchingPoint.m_niTargetNode
           
protected  Node DatatypeManager.DVariable.m_node
           
protected  Node NominalIntroductionManager.NominalIntroductionBranchingPoint.m_otherNode
           
protected  Node Node.m_parent
           
protected  Node Node.m_previousMergedOrPrunedNode
           
protected  Node Node.m_previousTableauNode
           
protected  Node NominalIntroductionManager.NominalIntroductionBranchingPoint.m_rootNode
           
static Node Node.SIGNATURE_CACHE_BLOCKER
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type Node
protected  java.util.List<Node> ExistentialExpansionManager.m_auxiliaryNodes
           
protected  java.util.List<Node> DescriptionGraphManager.m_newNodes
           
 

Methods in org.semanticweb.HermiT.tableau that return Node
 Node Tableau.createNewConcreteNode(DependencySet dependencySet, Node parent)
          Create a new concrete node for datatypes.
 Node Tableau.createNewGraphNode(Node parent, DependencySet dependencySet)
          Create a new node graph node for description graphs
 Node Tableau.createNewNamedNode(DependencySet dependencySet)
          Create a new node that represents an individual named in the input ontology (thus, keys have to be applied to it)
 Node Tableau.createNewNINode(DependencySet dependencySet)
          Create a new node that represents a nominal, but one that is not named in the input ontology (thus, keys are not applicable)
protected  Node Tableau.createNewNodeRaw(DependencySet dependencySet, Node parent, NodeType nodeType, int treeDepth)
           
 Node Tableau.createNewRootConstantNode(DependencySet dependencySet)
          Create a new root constant node for datatypes.
 Node Tableau.createNewTreeNode(DependencySet dependencySet, Node parent)
          Create a new tree node.
 Node GroundDisjunction.getArgument(int disjunctIndex, int argumentIndex)
           
 Node Node.getBlocker()
           
 Node Node.getCanonicalNode()
           
 Node Node.getClusterAnchor()
           
 Node Tableau.getFirstTableauNode()
           
 Node Tableau.getLastTableauNode()
           
 Node Node.getMergedInto()
           
 Node Node.getNextTableauNode()
           
protected  Node NominalIntroductionManager.getNIRootFor(DependencySet dependencySet, Node rootNode, AnnotatedEquality annotatedEquality, int number)
           
 Node DatatypeManager.DVariable.getNode()
           
 Node Tableau.getNode(int nodeID)
           
protected  Node Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes, Term term, DependencySet dependencySet)
           
 Node Node.getParent()
           
 Node Node.getPreviousTableauNode()
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type Node
 boolean NominalIntroductionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)
           
 boolean ExtensionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)
           
 boolean ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node0, Node node1, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addConceptAssertion(Concept concept, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addDataRangeAssertion(DataRange dataRange, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addRoleAssertion(Role role, Node nodeFrom, Node nodeTo, DependencySet dependencySet, boolean isCore)
           
protected  boolean NominalIntroductionManager.applyNIRule(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)
           
 boolean NominalIntroductionManager.canForgetAnnotation(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2)
           
 boolean ExtensionManager.containsAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2)
           
 boolean ExtensionManager.containsAssertion(DLPredicate dlPredicate, Node node)
           
 boolean ExtensionManager.containsAssertion(DLPredicate dlPredicate, Node node0, Node node1)
           
 boolean ExtensionManager.containsAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
 boolean ExtensionManager.containsConceptAssertion(Concept concept, Node node)
           
 boolean ExtensionManager.containsDataRangeAssertion(DataRange range, Node node)
           
 boolean ExtensionManager.containsRoleAssertion(Role role, Node nodeFrom, Node nodeTo)
           
 Node Tableau.createNewConcreteNode(DependencySet dependencySet, Node parent)
          Create a new concrete node for datatypes.
 Node Tableau.createNewGraphNode(Node parent, DependencySet dependencySet)
          Create a new node graph node for description graphs
protected  Node Tableau.createNewNodeRaw(DependencySet dependencySet, Node parent, NodeType nodeType, int treeDepth)
           
 Node Tableau.createNewTreeNode(DependencySet dependencySet, Node parent)
          Create a new tree node.
 void DescriptionGraphManager.destroyNode(Node node)
           
 void ExistentialExpansionManager.doNormalExpansion(AtLeastConcept atLeastConcept, Node forNode)
           
 void ExistentialExpansionManager.doNormalExpansion(AtLeastDataRange atLeastDataRange, Node forNode)
           
 void ExistentialExpansionManager.expand(AtLeast atLeast, Node forNode)
           
 void DescriptionGraphManager.expand(ExistsDescriptionGraph existsDescriptionGraph, Node forNode)
           
protected  void DatatypeManager.generateInequalitiesFor(DataRange dataRange1, Node node1, DependencySet dependencySet1, DataRange dataRange2)
           
protected  DatatypeManager.DVariable DatatypeManager.getAndInitializeVariableFor(Node node, boolean[] newVariableAdded)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
 DependencySet ExtensionManager.getConceptAssertionDependencySet(Concept concept, Node node)
           
 DependencySet ExtensionManager.getDataRangeAssertionDependencySet(DataRange range, Node node)
           
protected  boolean ExistentialExpansionManager.getFunctionalExpansionNode(Role role, Node forNode, java.lang.Object[] result)
           
protected  Node NominalIntroductionManager.getNIRootFor(DependencySet dependencySet, Node rootNode, AnnotatedEquality annotatedEquality, int number)
           
 DependencySet ExtensionManager.getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)
           
 DatatypeManager.DVariable DatatypeManager.DConjunction.getVariableFor(Node node)
           
protected  DatatypeManager.DVariable DatatypeManager.DConjunction.getVariableForEx(Node node, boolean[] newVariableAdded)
           
protected  void Node.initialize(int nodeID, Node parent, NodeType nodeType, int treeDepth)
           
 void DescriptionGraphManager.intializeNode(Node node)
           
 boolean Node.isAncestorOf(Node potendialDescendant)
           
protected  boolean MergingManager.isDescendantOfAtMostThreeLevels(Node descendant, Node ancestor)
           
 boolean Node.isParentOf(Node potentialChild)
           
 boolean DescriptionGraphManager.isSatisfied(ExistsDescriptionGraph existsDescriptionGraph, Node node)
           
 void ExistentialExpansionManager.markExistentialProcessed(ExistentialConcept existentialConcept, Node forNode)
           
 void DescriptionGraphManager.mergeGraphs(Node mergeFrom, Node mergeInto, UnionDependencySet binaryUnionDependencySet)
           
 void Tableau.mergeNode(Node node, Node mergeInto, DependencySet dependencySet)
          Merges node into mergeInto.
 boolean MergingManager.mergeNodes(Node node0, Node node1, DependencySet dependencySet)
          Merges the two given nodes and adjusts the dependency set as required.
 void Tableau.pruneNode(Node node)
           
 void Node.setBlocked(Node blocker, boolean directlyBlocked)
           
 boolean ExistentialExpansionManager.tryFunctionalExpansion(AtLeast atLeast, Node forNode)
          Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1.
 

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Node
protected  Node Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes, Term term, DependencySet dependencySet)
           
 boolean Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
 boolean Tableau.isSatisfiable(boolean loadAdditionalABox, java.util.Set<Atom> perTestPositiveFactsNoDependency, java.util.Set<Atom> perTestNegativeFactsNoDependency, java.util.Set<Atom> perTestPositiveFactsDummyDependency, java.util.Set<Atom> perTestNegativeFactsDummyDependency, java.util.Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
           
protected  void Tableau.loadNegativeFact(java.util.Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
protected  void Tableau.loadPositiveFact(java.util.Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type Node
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)
           
NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau, Node rootNode, Node niTargetNode, Node otherNode, AnnotatedEquality annotatedEquality)