Node (HermiT 1.4.4.519 API)

java.lang.Object
- org.semanticweb.HermiT.tableau.Node

All Implemented Interfaces:

Serializable
```
public final class Node
extends Object
implements Serializable
```
Represents a node in the tableau. Nodes are initially active, but can be set to merged or pruned at a later stage, which does not delete, but marks them as inactive.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field and Description

static Node SIGNATURE_CACHE_BLOCKER
Signature cache blocker.

Fields
Modifier and Type	Field and Description
`static Node`	`SIGNATURE_CACHE_BLOCKER` Signature cache blocker.

Constructor Summary

Constructors
Constructor and Description

Node(Tableau tableau)

Constructors
Constructor and Description
`Node(Tableau tableau)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`PermanentDependencySet`	`addCanonicalNodeDependencySet(DependencySet dependencySet)`
`Node`	`getBlocker()`
`Object`	`getBlockingCargo()`
`Object`	`getBlockingObject()`
`Node`	`getCanonicalNode()`
`PermanentDependencySet`	`getCanonicalNodeDependencySet()`
`Node`	`getClusterAnchor()`
`Node`	`getMergedInto()`
`PermanentDependencySet`	`getMergedIntoDependencySet()`
`Node`	`getNextTableauNode()`
`int`	`getNodeID()`
`NodeType`	`getNodeType()`
`int`	`getNumberOfPositiveAtomicConcepts()`
`Node`	`getParent()`
`Node`	`getPreviousTableauNode()`
`ExistentialConcept`	`getSomeUnprocessedExistential()`
`Tableau`	`getTableau()`
`int`	`getTreeDepth()`
`Collection<ExistentialConcept>`	`getUnprocessedExistentials()`
`boolean`	`hasUnprocessedExistentials()`
`boolean`	`isActive()`
`boolean`	`isAncestorOf(Node potendialDescendant)`
`boolean`	`isBlocked()`
`boolean`	`isDirectlyBlocked()`
`boolean`	`isIndirectlyBlocked()`
`boolean`	`isMerged()`
`boolean`	`isParentOf(Node potentialChild)`
`boolean`	`isPruned()`
`boolean`	`isRootNode()`
`void`	`setBlocked(Node blocker, boolean directlyBlocked)`
`void`	`setBlockingCargo(Object blockingCargo)`
`void`	`setBlockingObject(Object blockingObject)` Stores a blocking object (PairwiseBlockingObject or SingleBlockingObject) for this node that stores blocking relevant information of a node such as is label.
`String`	`toString()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - SIGNATURE_CACHE_BLOCKER
```
public static final Node SIGNATURE_CACHE_BLOCKER
```
    Signature cache blocker.
- Constructor Detail
  - Node
```
public Node(Tableau tableau)
```
    Parameters:
    
    tableau - tableau
- Method Detail
  - getTableau
```
public Tableau getTableau()
```
    Returns:
    
    tableau
  - getNodeID
```
public int getNodeID()
```
    Returns:
    
    node id
  - getParent
```
public Node getParent()
```
    Returns:
    
    parent
  - getClusterAnchor
```
public Node getClusterAnchor()
```
    Returns:
    
    cluster anchor
  - isRootNode
```
public boolean isRootNode()
```
    Returns:
    
    true if root node
  - isParentOf
```
public boolean isParentOf(Node potentialChild)
```
    Parameters:
    
    potentialChild - potentialChild
    
    Returns:
    
    true if parent
  - isAncestorOf
```
public boolean isAncestorOf(Node potendialDescendant)
```
    Parameters:
    
    potendialDescendant - potendialDescendant
    
    Returns:
    
    true if ancestor
  - getNodeType
```
public NodeType getNodeType()
```
    Returns:
    
    node type
  - getTreeDepth
```
public int getTreeDepth()
```
    Returns:
    
    tree depth
  - isBlocked
```
public boolean isBlocked()
```
    Returns:
    
    true if blocked
  - isDirectlyBlocked
```
public boolean isDirectlyBlocked()
```
    Returns:
    
    true if directly blocked
  - isIndirectlyBlocked
```
public boolean isIndirectlyBlocked()
```
    Returns:
    
    true if indirectly blocked
  - getBlocker
```
public Node getBlocker()
```
    Returns:
    
    blocker
  - setBlocked
```
public void setBlocked(Node blocker,
                       boolean directlyBlocked)
```
    Parameters:
    
    blocker - blocker
    
    directlyBlocked - directlyBlocked
  - getBlockingObject
```
public Object getBlockingObject()
```
    Returns:
    
    a blocking object (PairwiseBlockingObject or SingleBlockingObject) that stores blocking relevant information of a node such as is label.
  - setBlockingObject
```
public void setBlockingObject(Object blockingObject)
```
    Stores a blocking object (PairwiseBlockingObject or SingleBlockingObject) for this node that stores blocking relevant information of a node such as is label.
    
    Parameters:
    
    blockingObject - blockingObject
  - getBlockingCargo
```
public Object getBlockingCargo()
```
    Returns:
    
    an object that should be a BlockersCache.CacheEntry and is used to remove or add the object to the blockers cache even after the hash code has changed due to label modifications
  - setBlockingCargo
```
public void setBlockingCargo(Object blockingCargo)
```
    Parameters:
    
    blockingCargo - should be an object of type BlockersCache.CacheEntry
  - getNumberOfPositiveAtomicConcepts
```
public int getNumberOfPositiveAtomicConcepts()
```
    Returns:
    
    number of positive atomic concepts
  - isActive
```
public boolean isActive()
```
    Returns:
    
    true if active
  - isMerged
```
public boolean isMerged()
```
    Returns:
    
    true if merged
  - getMergedInto
```
public Node getMergedInto()
```
    Returns:
    
    merged into
  - getMergedIntoDependencySet
```
public PermanentDependencySet getMergedIntoDependencySet()
```
    Returns:
    
    merged into dep set
  - isPruned
```
public boolean isPruned()
```
    Returns:
    
    true if pruned
  - getPreviousTableauNode
```
public Node getPreviousTableauNode()
```
    Returns:
    
    previous tableau node
  - getNextTableauNode
```
public Node getNextTableauNode()
```
    Returns:
    
    next tableau node
  - getCanonicalNode
```
public Node getCanonicalNode()
```
    Returns:
    
    canonical node
  - getCanonicalNodeDependencySet
```
public PermanentDependencySet getCanonicalNodeDependencySet()
```
    Returns:
    
    dep set
  - addCanonicalNodeDependencySet
```
public PermanentDependencySet addCanonicalNodeDependencySet(DependencySet dependencySet)
```
    Parameters:
    
    dependencySet - dependencySet
    
    Returns:
    
    dep set
  - hasUnprocessedExistentials
```
public boolean hasUnprocessedExistentials()
```
    Returns:
    
    true if has unprocessed existentials
  - getSomeUnprocessedExistential
```
public ExistentialConcept getSomeUnprocessedExistential()
```
    Returns:
    
    some unprocessed existentials
  - getUnprocessedExistentials
```
public Collection<ExistentialConcept> getUnprocessedExistentials()
```
    Returns:
    
    unprocessed existential
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Class Node

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

SIGNATURE_CACHE_BLOCKER

Constructor Detail

Node

Method Detail

getTableau

getNodeID

getParent

getClusterAnchor

isRootNode

isParentOf

isAncestorOf

getNodeType

getTreeDepth

isBlocked

isDirectlyBlocked

isIndirectlyBlocked

getBlocker

setBlocked

getBlockingObject

setBlockingObject

getBlockingCargo

setBlockingCargo

getNumberOfPositiveAtomicConcepts

isActive

isMerged

getMergedInto

getMergedIntoDependencySet

isPruned

getPreviousTableauNode

getNextTableauNode

getCanonicalNode

getCanonicalNodeDependencySet

addCanonicalNodeDependencySet

hasUnprocessedExistentials

getSomeUnprocessedExistential

getUnprocessedExistentials

toString