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
topoSort
public java.util.LinkedList topoSort()
getSuperNodeGraph
public Graph getSuperNodeGraph()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
toStringSetNodes
public java.lang.String toStringSetNodes()