jif.types
Class Graph
java.lang.Object
|
+--jif.types.Graph
- public class Graph
- extends java.lang.Object
|
Constructor Summary |
Graph(java.util.Set nodes,
java.util.Map edges)
inputs: Set of objects representing nodes
Map of dependencies between nodes (directed graph)
Map is from object in Set to a Set of objects, which must
all be valid nodes
if object is in the Keyset of the Map, then the Set
associated with that map should not be empty |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Graph
public Graph(java.util.Set nodes,
java.util.Map edges)
- inputs: Set of objects representing nodes
Map of dependencies between nodes (directed graph)
Map is from object in Set to a Set of objects, which must
all be valid nodes
if object is in the Keyset of the Map, then the Set
associated with that map should not be empty
DFS
public void DFS()
topoSort
public java.util.LinkedList topoSort()
getStrongConnectedComponents
public java.util.List getStrongConnectedComponents()
getSuperNodeGraph
public Graph getSuperNodeGraph()
getSuperNodeGraph
public Graph getSuperNodeGraph(java.util.List superNodes)
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object
toStringSetNodes
public java.lang.String toStringSetNodes()