Uses of Class org.semanticweb.HermiT.tableau.Node (HermiT 1.4.1.456 API)

Packages that use Node
Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.datalog
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

Methods in org.semanticweb.HermiT.blocking that return Node
Modifier and Type	Method and Description
`Node`	ValidatedPairwiseDirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	SingleDirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	DirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`Node`	SingleDirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`Node`	DirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`assertionAdded(DataRange range, Node node, boolean isCore)`
`Node`	SingleDirectBlockingChecker.`assertionAdded(DataRange range, Node node, boolean isCore)`
`Node`	DirectBlockingChecker.`assertionAdded(DataRange range, Node node, boolean isCore)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionAdded(DataRange range, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionAdded(DataRange range, Node node, 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`	DirectBlockingChecker.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`Node`	SingleDirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`Node`	DirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`Node`	SingleDirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`Node`	DirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	SingleDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	DirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	ValidatedSingleDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	PairWiseDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	SingleDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	DirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	ValidatedSingleDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	PairWiseDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`

Methods in org.semanticweb.HermiT.blocking with parameters of type Node
Modifier and Type	Method and Description
`boolean`	BlockingSignatureCache.`addNode(Node node)`
`void`	AnywhereBlocking.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	AncestorBlocking.`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`	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)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	AnywhereBlocking.`assertionAdded(Concept concept, Node node, boolean isCore)`
`void`	AncestorBlocking.`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`	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)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionAdded(Concept concept, Node node, boolean isCore)`
`void`	AnywhereBlocking.`assertionAdded(DataRange range, Node node, boolean isCore)`
`void`	AncestorBlocking.`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`	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)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionAdded(DataRange range, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionAdded(DataRange range, Node node, boolean isCore)`
`void`	AnywhereBlocking.`assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)`
`void`	AncestorBlocking.`assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)`
`void`	BlockingStrategy.`assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)`
`void`	AnywhereValidatedBlocking.`assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)`
`void`	AnywhereBlocking.`assertionCoreSet(Concept concept, Node node)`
`void`	AncestorBlocking.`assertionCoreSet(Concept concept, Node node)`
`void`	BlockingStrategy.`assertionCoreSet(Concept concept, Node node)`
`void`	AnywhereValidatedBlocking.`assertionCoreSet(Concept concept, Node node)`
`void`	AnywhereBlocking.`assertionCoreSet(DataRange range, Node node)`
`void`	AncestorBlocking.`assertionCoreSet(DataRange range, Node node)`
`void`	BlockingStrategy.`assertionCoreSet(DataRange range, Node node)`
`void`	AnywhereValidatedBlocking.`assertionCoreSet(DataRange range, Node node)`
`void`	AnywhereBlocking.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	AncestorBlocking.`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`	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)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	AnywhereBlocking.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`void`	AncestorBlocking.`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`	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)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`void`	AnywhereBlocking.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`void`	AncestorBlocking.`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`	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)`
`Node`	ValidatedSingleDirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`Node`	PairWiseDirectBlockingChecker.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`void`	BlockingValidator.`blockerChanged(Node node)`
`int`	ValidatedPairwiseDirectBlockingChecker.`blockingHashCode(Node node)`
`int`	SingleDirectBlockingChecker.`blockingHashCode(Node node)`
`int`	DirectBlockingChecker.`blockingHashCode(Node node)`
`int`	ValidatedSingleDirectBlockingChecker.`blockingHashCode(Node node)`
`int`	PairWiseDirectBlockingChecker.`blockingHashCode(Node node)`
`abstract boolean`	BlockingSignature.`blocksNode(Node node)`
`boolean`	ValidatedPairwiseDirectBlockingChecker.`canBeBlocked(Node node)`
`boolean`	SingleDirectBlockingChecker.`canBeBlocked(Node node)`
`boolean`	DirectBlockingChecker.`canBeBlocked(Node node)`
`boolean`	ValidatedSingleDirectBlockingChecker.`canBeBlocked(Node node)`
`boolean`	PairWiseDirectBlockingChecker.`canBeBlocked(Node node)`
`boolean`	ValidatedPairwiseDirectBlockingChecker.`canBeBlocker(Node node)`
`boolean`	SingleDirectBlockingChecker.`canBeBlocker(Node node)`
`boolean`	DirectBlockingChecker.`canBeBlocker(Node node)`
`boolean`	ValidatedSingleDirectBlockingChecker.`canBeBlocker(Node node)`
`boolean`	PairWiseDirectBlockingChecker.`canBeBlocker(Node node)`
`void`	ValidatedPairwiseDirectBlockingChecker.`clearBlockingInfoChanged(Node node)`
`void`	SingleDirectBlockingChecker.`clearBlockingInfoChanged(Node node)`
`void`	DirectBlockingChecker.`clearBlockingInfoChanged(Node node)`
`void`	ValidatedSingleDirectBlockingChecker.`clearBlockingInfoChanged(Node node)`
`void`	PairWiseDirectBlockingChecker.`clearBlockingInfoChanged(Node node)`
`boolean`	BlockingSignatureCache.`containsSignature(Node node)`
`Set<AtomicRole>`	PairWiseDirectBlockingChecker.`fetchEdgeLabel(Node nodeFrom, Node nodeTo)`
`BlockingSignature`	ValidatedPairwiseDirectBlockingChecker.`getBlockingSignatureFor(Node node)`
`BlockingSignature`	SingleDirectBlockingChecker.`getBlockingSignatureFor(Node node)`
`BlockingSignature`	DirectBlockingChecker.`getBlockingSignatureFor(Node node)`
`BlockingSignature`	ValidatedSingleDirectBlockingChecker.`getBlockingSignatureFor(Node node)`
`BlockingSignature`	PairWiseDirectBlockingChecker.`getBlockingSignatureFor(Node node)`
`boolean`	ValidatedPairwiseDirectBlockingChecker.`hasBlockingInfoChanged(Node node)`
`boolean`	SingleDirectBlockingChecker.`hasBlockingInfoChanged(Node node)`
`boolean`	DirectBlockingChecker.`hasBlockingInfoChanged(Node node)`
`boolean`	ValidatedSingleDirectBlockingChecker.`hasBlockingInfoChanged(Node node)`
`boolean`	PairWiseDirectBlockingChecker.`hasBlockingInfoChanged(Node node)`
`boolean`	ValidatedPairwiseDirectBlockingChecker.`hasChangedSinceValidation(Node node)`
`boolean`	SingleDirectBlockingChecker.`hasChangedSinceValidation(Node node)`
`boolean`	DirectBlockingChecker.`hasChangedSinceValidation(Node node)`
`boolean`	ValidatedSingleDirectBlockingChecker.`hasChangedSinceValidation(Node node)`
`boolean`	PairWiseDirectBlockingChecker.`hasChangedSinceValidation(Node node)`
`boolean`	ValidatedPairwiseDirectBlockingChecker.`isBlockedBy(Node blocker, Node blocked)`
`boolean`	SingleDirectBlockingChecker.`isBlockedBy(Node blocker, Node blocked)`
`boolean`	DirectBlockingChecker.`isBlockedBy(Node blocker, Node blocked)`
`boolean`	ValidatedSingleDirectBlockingChecker.`isBlockedBy(Node blocker, Node blocked)`
`boolean`	PairWiseDirectBlockingChecker.`isBlockedBy(Node blocker, Node blocked)`
`boolean`	BlockingValidator.`isBlockValid(Node blocked)`
`boolean`	AnywhereBlocking.`isPermanentAssertion(Concept concept, Node node)`
`boolean`	AncestorBlocking.`isPermanentAssertion(Concept concept, Node node)`
`boolean`	BlockingStrategy.`isPermanentAssertion(Concept concept, Node node)`
`boolean`	AnywhereValidatedBlocking.`isPermanentAssertion(Concept concept, Node node)`
`boolean`	AnywhereBlocking.`isPermanentAssertion(DataRange range, Node node)`
`boolean`	AncestorBlocking.`isPermanentAssertion(DataRange range, Node node)`
`boolean`	BlockingStrategy.`isPermanentAssertion(DataRange range, Node node)`
`boolean`	AnywhereValidatedBlocking.`isPermanentAssertion(DataRange range, Node node)`
`void`	AnywhereBlocking.`nodeDestroyed(Node node)`
`void`	AncestorBlocking.`nodeDestroyed(Node node)`
`void`	ValidatedPairwiseDirectBlockingChecker.`nodeDestroyed(Node node)`
`void`	SingleDirectBlockingChecker.`nodeDestroyed(Node node)`
`void`	DirectBlockingChecker.`nodeDestroyed(Node node)`
`void`	BlockingStrategy.`nodeDestroyed(Node node)`
`void`	AnywhereValidatedBlocking.`nodeDestroyed(Node node)`
`void`	ValidatedSingleDirectBlockingChecker.`nodeDestroyed(Node node)`
`void`	PairWiseDirectBlockingChecker.`nodeDestroyed(Node node)`
`void`	AnywhereBlocking.`nodeInitialized(Node node)`
`void`	AncestorBlocking.`nodeInitialized(Node node)`
`void`	ValidatedPairwiseDirectBlockingChecker.`nodeInitialized(Node node)`
`void`	SingleDirectBlockingChecker.`nodeInitialized(Node node)`
`void`	DirectBlockingChecker.`nodeInitialized(Node node)`
`void`	BlockingStrategy.`nodeInitialized(Node node)`
`void`	AnywhereValidatedBlocking.`nodeInitialized(Node node)`
`void`	ValidatedSingleDirectBlockingChecker.`nodeInitialized(Node node)`
`void`	PairWiseDirectBlockingChecker.`nodeInitialized(Node node)`
`void`	AnywhereBlocking.`nodesMerged(Node mergeFrom, Node mergeInto)`
`void`	AncestorBlocking.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	SingleDirectBlockingChecker.`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)`
`Node`	ValidatedSingleDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`Node`	PairWiseDirectBlockingChecker.`nodesMerged(Node mergeFrom, Node mergeInto)`
`void`	AnywhereBlocking.`nodeStatusChanged(Node node)`
`void`	AncestorBlocking.`nodeStatusChanged(Node node)`
`void`	BlockingStrategy.`nodeStatusChanged(Node node)`
`void`	AnywhereValidatedBlocking.`nodeStatusChanged(Node node)`
`void`	AnywhereBlocking.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`void`	AncestorBlocking.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	ValidatedPairwiseDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	SingleDirectBlockingChecker.`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)`
`Node`	ValidatedSingleDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`Node`	PairWiseDirectBlockingChecker.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`void`	ValidatedPairwiseDirectBlockingChecker.`setHasChangedSinceValidation(Node node, boolean hasChanged)`
`void`	SingleDirectBlockingChecker.`setHasChangedSinceValidation(Node node, boolean hasChanged)`
`void`	DirectBlockingChecker.`setHasChangedSinceValidation(Node node, boolean hasChanged)`
`void`	ValidatedSingleDirectBlockingChecker.`setHasChangedSinceValidation(Node node, boolean hasChanged)`
`void`	PairWiseDirectBlockingChecker.`setHasChangedSinceValidation(Node node, boolean hasChanged)`

Constructors in org.semanticweb.HermiT.blocking with parameters of type Node
Constructor and Description
`ValidatedSingleBlockingObject(Node node)`

Uses of Node in org.semanticweb.HermiT.datalog

Constructor parameters in org.semanticweb.HermiT.datalog with type arguments of type Node
Constructor and Description
`QueryAnswerCallback(ConjunctiveQuery conjunctiveQuery, Map<Node,Term> nodesToTerms, Term[] resultBuffer, QueryResultCollector[] queryResultCollector, int[][] copyAnswers, Object[] valuesBuffer)`

Uses of Node in org.semanticweb.HermiT.debugger

Fields in org.semanticweb.HermiT.debugger declared as Node
Modifier and Type	Field and Description
`Node`	Debugger.NodeCreationInfo.`m_createdByNode` created by

Fields in org.semanticweb.HermiT.debugger with type parameters of type Node
Modifier and Type	Field and Description
`List<Node>`	Debugger.NodeCreationInfo.`m_children` children

Methods in org.semanticweb.HermiT.debugger that return Node
Modifier and Type	Method and Description
`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
Modifier and Type	Method and Description
`void`	Debugger.`existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)`
`void`	DerivationHistory.`existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)`
`void`	Debugger.`existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)`
`void`	DerivationHistory.`existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)`
`Debugger.NodeCreationInfo`	Debugger.`getNodeCreationInfo(Node node)`
`void`	DerivationHistory.`mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	DerivationHistory.`mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	DerivationHistory.`mergeFinished(Node nodeFrom, Node nodeInto)`
`void`	Debugger.`mergeStarted(Node mergeFrom, Node mergeInto)`
`void`	DerivationHistory.`mergeStarted(Node nodeFrom, Node nodeInto)`
`void`	Debugger.`nodeCreated(Node node)`
`void`	Debugger.`nodeDestroyed(Node node)`
`static void`	Printing.`printNodeData(Debugger debugger, Node node, PrintWriter writer)`
`void`	DerivationHistory.`unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	DerivationHistory.`unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`

Constructors in org.semanticweb.HermiT.debugger with parameters of type Node
Constructor and Description
`NodeCreationInfo(Node createdByNode, ExistentialConcept createdByExistential)`

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

Methods in org.semanticweb.HermiT.debugger.commands with parameters of type Node
Modifier and Type	Method and Description
`void`	SubtreeViewer.`findNode(Node node)`
`void`	SubtreeViewer.`showNodeLabels(Node node)`

Constructors in org.semanticweb.HermiT.debugger.commands with parameters of type Node
Constructor and Description
`SubtreeViewer(Debugger debugger, Node rootNode)`

Uses of Node in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials with parameters of type Node
Modifier and Type	Method and Description
`void`	AbstractExpansionStrategy.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	ExistentialExpansionStrategy.`assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	AbstractExpansionStrategy.`assertionAdded(Concept concept, Node node, boolean isCore)`
`void`	ExistentialExpansionStrategy.`assertionAdded(Concept concept, Node node, boolean isCore)`
`void`	AbstractExpansionStrategy.`assertionAdded(DataRange range, Node node, boolean isCore)`
`void`	ExistentialExpansionStrategy.`assertionAdded(DataRange dataRange, Node node, boolean isCore)`
`void`	AbstractExpansionStrategy.`assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)`
`void`	ExistentialExpansionStrategy.`assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)`
`void`	AbstractExpansionStrategy.`assertionCoreSet(Concept concept, Node node)`
`void`	ExistentialExpansionStrategy.`assertionCoreSet(Concept concept, Node node)`
`void`	AbstractExpansionStrategy.`assertionCoreSet(DataRange range, Node node)`
`void`	ExistentialExpansionStrategy.`assertionCoreSet(DataRange dataRange, Node node)`
`void`	AbstractExpansionStrategy.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	ExistentialExpansionStrategy.`assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)`
`void`	AbstractExpansionStrategy.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`void`	ExistentialExpansionStrategy.`assertionRemoved(Concept concept, Node node, boolean isCore)`
`void`	AbstractExpansionStrategy.`assertionRemoved(DataRange range, Node node, boolean isCore)`
`void`	ExistentialExpansionStrategy.`assertionRemoved(DataRange dataRange, Node node, boolean isCore)`
`AtomicConcept`	IndividualReuseStrategy.`getConceptForNode(Node node)`
`void`	AbstractExpansionStrategy.`nodeDestroyed(Node node)`
`void`	ExistentialExpansionStrategy.`nodeDestroyed(Node node)`
`void`	AbstractExpansionStrategy.`nodeInitialized(Node node)`
`void`	ExistentialExpansionStrategy.`nodeInitialized(Node node)`
`void`	AbstractExpansionStrategy.`nodesMerged(Node mergeFrom, Node mergeInto)`
`void`	ExistentialExpansionStrategy.`nodesMerged(Node mergeFrom, Node mergeInto)`
`void`	AbstractExpansionStrategy.`nodeStatusChanged(Node node)`
`void`	ExistentialExpansionStrategy.`nodeStatusChanged(Node node)`
`void`	AbstractExpansionStrategy.`nodesUnmerged(Node mergeFrom, Node mergeInto)`
`void`	ExistentialExpansionStrategy.`nodesUnmerged(Node mergeFrom, Node mergeInto)`

Uses of Node in org.semanticweb.HermiT.hierarchy

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type Node
Modifier and Type	Method and Description
`Map<Individual,Node>`	InstanceManager.`getNodesForIndividuals()`

Uses of Node in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type Node
Modifier and Type	Method and Description
`void`	TableauMonitorAdapter.`existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorFork.`existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitor.`existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorForwarder.`existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorAdapter.`existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorFork.`existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitor.`existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorForwarder.`existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorAdapter.`existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorFork.`existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitor.`existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorForwarder.`existentialSatisfied(ExistentialConcept existentialConcept, Node forNode)`
`void`	TableauMonitorAdapter.`mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitorFork.`mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitor.`mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitorForwarder.`mergeFactFinished(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitorAdapter.`mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitorFork.`mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitor.`mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitorForwarder.`mergeFactStarted(Node mergeFrom, Node mergeInto, Object[] sourceTuple, Object[] targetTuple)`
`void`	TableauMonitorAdapter.`mergeFinished(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitorFork.`mergeFinished(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitor.`mergeFinished(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitorForwarder.`mergeFinished(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitorAdapter.`mergeStarted(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitorFork.`mergeStarted(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitor.`mergeStarted(Node mergeFrom, Node mergeInto)`
`void`	TableauMonitorForwarder.`mergeStarted(Node mergeFrom, Node mergrInto)`
`void`	TableauMonitorAdapter.`nodeCreated(Node node)`
`void`	TableauMonitorFork.`nodeCreated(Node node)`
`void`	TableauMonitor.`nodeCreated(Node node)`
`void`	TableauMonitorForwarder.`nodeCreated(Node node)`
`void`	TableauMonitorAdapter.`nodeDestroyed(Node node)`
`void`	TableauMonitorFork.`nodeDestroyed(Node node)`
`void`	TableauMonitor.`nodeDestroyed(Node node)`
`void`	TableauMonitorForwarder.`nodeDestroyed(Node node)`
`void`	TableauMonitorAdapter.`nodePruned(Node node)`
`void`	TableauMonitorFork.`nodePruned(Node node)`
`void`	TableauMonitor.`nodePruned(Node node)`
`void`	TableauMonitorForwarder.`nodePruned(Node node)`
`void`	TableauMonitorAdapter.`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`	TableauMonitor.`nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)`
`void`	TableauMonitorForwarder.`nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)`
`void`	TableauMonitorAdapter.`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`	TableauMonitor.`nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)`
`void`	TableauMonitorForwarder.`nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)`
`void`	TableauMonitorAdapter.`unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitorFork.`unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitor.`unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitorForwarder.`unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitorAdapter.`unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitorFork.`unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitor.`unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1, Node node1, DataRange dataRange2, Node node2)`
`void`	TableauMonitorForwarder.`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
Modifier and Type	Field and Description
`static Node`	Node.`SIGNATURE_CACHE_BLOCKER` Signature cache blocker.

Methods in org.semanticweb.HermiT.tableau that return Node
Modifier and Type	Method and Description
`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)
`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()`
`Node`	DatatypeManager.DVariable.`getNode()`
`Node`	Tableau.`getNode(int nodeID)`
`Node`	Node.`getParent()`
`Node`	Node.`getPreviousTableauNode()`

Methods in org.semanticweb.HermiT.tableau with parameters of type Node
Modifier and Type	Method and Description
`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)`
`static boolean`	ExtensionManager.`containsAnnotatedEquality(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
`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)`
`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)`
`DependencySet`	ExtensionManager.`getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)`
`DatatypeManager.DVariable`	DatatypeManager.DConjunction.`getVariableFor(Node node)`
`static void`	DescriptionGraphManager.`intializeNode(Node node)`
`boolean`	Node.`isAncestorOf(Node potendialDescendant)`
`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)`
`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
Modifier and Type	Method and Description
`boolean`	Tableau.`isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)`
`boolean`	Tableau.`isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)`
`boolean`	Tableau.`isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)`
`boolean`	Tableau.`isSatisfiable(boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)`

Constructors in org.semanticweb.HermiT.tableau with parameters of type Node
Constructor and Description
`GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)`

Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type Node
Constructor and Description
`ValuesBufferManager(Set<DLClause> dlClauses, Map<Term,Node> termsToNodes)`

Uses of Classorg.semanticweb.HermiT.tableau.Node

Uses of Node in org.semanticweb.HermiT.blocking

Uses of Node in org.semanticweb.HermiT.datalog

Uses of Node in org.semanticweb.HermiT.debugger

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

Uses of Node in org.semanticweb.HermiT.existentials

Uses of Node in org.semanticweb.HermiT.hierarchy

Uses of Node in org.semanticweb.HermiT.monitor

Uses of Node in org.semanticweb.HermiT.tableau

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