@Deprecated
public final class GraphMDE
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static <T> java.util.Map<T,java.util.List<T>> |
dominators(java.util.Map<T,java.util.List<T>> predecessors)
Deprecated.
Computes, for each node in the graph, its set of (pre-)dominators.
|
static <T> void |
print(java.util.Map<T,java.util.List<T>> graph,
java.io.PrintStream ps,
int indent)
Deprecated.
Print a representation of the graph to ps, indented by intent spaces.
|
public static <T> java.util.Map<T,java.util.List<T>> dominators(java.util.Map<T,java.util.List<T>> predecessors)
T
- type of the graph nodespredecessors
- a graph, represented as a predecessor mappublic static <T> void print(java.util.Map<T,java.util.List<T>> graph, java.io.PrintStream ps, int indent)
T
- the type of nodes of the graphgraph
- the graph to printps
- the PrintStream to which to print the graphindent
- the number of spaces by which to indent the printed representation