org.semanticweb.HermiT.graph
Class Graph<T>

java.lang.Object
  extended by org.semanticweb.HermiT.graph.Graph<T>
All Implemented Interfaces:
java.io.Serializable

public class Graph<T>
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  java.util.Set<T> m_elements
           
protected  java.util.Map<T,java.util.Set<T>> m_successorsByNodes
           
 
Constructor Summary
Graph()
           
 
Method Summary
 void addEdge(T from, T to)
           
 void addEdges(T from, java.util.Set<T> to)
           
 Graph<T> clone()
           
 java.util.Set<T> getElements()
           
 Graph<T> getInverse()
           
 java.util.Set<T> getReachableSuccessors(T fromNode)
           
 java.util.Set<T> getSuccessors(T node)
           
 boolean isReachableSuccessor(T fromNode, T toNode)
           
 void removeElements(java.util.Set<T> elements)
           
 void transitivelyClose()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_elements

protected final java.util.Set<T> m_elements

m_successorsByNodes

protected final java.util.Map<T,java.util.Set<T>> m_successorsByNodes
Constructor Detail

Graph

public Graph()
Method Detail

addEdge

public void addEdge(T from,
                    T to)

addEdges

public void addEdges(T from,
                     java.util.Set<T> to)

getElements

public java.util.Set<T> getElements()

getSuccessors

public java.util.Set<T> getSuccessors(T node)

transitivelyClose

public void transitivelyClose()

getInverse

public Graph<T> getInverse()

clone

public Graph<T> clone()
Overrides:
clone in class java.lang.Object

removeElements

public void removeElements(java.util.Set<T> elements)

isReachableSuccessor

public boolean isReachableSuccessor(T fromNode,
                                    T toNode)

getReachableSuccessors

public java.util.Set<T> getReachableSuccessors(T fromNode)