org.semanticweb.HermiT.hierarchy
Class DeterministicClassification.GraphNode<T>
java.lang.Object
org.semanticweb.HermiT.hierarchy.DeterministicClassification.GraphNode<T>
- Enclosing class:
- DeterministicClassification
public static class DeterministicClassification.GraphNode<T>
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
DeterministicClassification.GraphNode
public DeterministicClassification.GraphNode(T element,
java.util.Set<T> successors)
notVisited
public boolean notVisited()
isAssignedToSCC
public boolean isAssignedToSCC()