org.semanticweb.HermiT.hierarchy
Class DeterministicClassification.GraphNode<T>

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.DeterministicClassification.GraphNode<T>
Enclosing class:
DeterministicClassification

public static class DeterministicClassification.GraphNode<T>
extends java.lang.Object


Field Summary
 int m_dfsIndex
           
 T m_element
           
 DeterministicClassification.GraphNode<T> m_SCChead
           
 java.util.Set<T> m_successors
           
 int m_topologicalOrderIndex
           
 
Constructor Summary
DeterministicClassification.GraphNode(T element, java.util.Set<T> successors)
           
 
Method Summary
 boolean isAssignedToSCC()
           
 boolean notVisited()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_element

public final T m_element

m_successors

public final java.util.Set<T> m_successors

m_dfsIndex

public int m_dfsIndex

m_SCChead

public DeterministicClassification.GraphNode<T> m_SCChead

m_topologicalOrderIndex

public int m_topologicalOrderIndex
Constructor Detail

DeterministicClassification.GraphNode

public DeterministicClassification.GraphNode(T element,
                                             java.util.Set<T> successors)
Method Detail

notVisited

public boolean notVisited()

isAssignedToSCC

public boolean isAssignedToSCC()