com.ibm.wala.util.graph.dominators
Class DominanceFrontiers<T>

java.lang.Object
  com.ibm.wala.util.graph.dominators.DominanceFrontiers<T>

public class DominanceFrontiers<T>
extends java.lang.Object

An object that computes the dominance frontiers of a graph

Constructor Summary

DominanceFrontiers(Graph<T> G, T root)

Method Summary

java.util.Iterator<T>	dominators(T node)
Graph<T>	dominatorTree()
java.util.Iterator<T>	getDominanceFrontier(T n)
boolean	isDominatedBy(T node, T master)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DominanceFrontiers

public DominanceFrontiers(Graph<T> G,
                          T root)

Parameters:

G - The graph

root - The root from which to compute dominators

Method Detail

getDominanceFrontier

public java.util.Iterator<T> getDominanceFrontier(T n)

isDominatedBy

public boolean isDominatedBy(T node,
                             T master)

dominators

public java.util.Iterator<T> dominators(T node)

dominatorTree

public Graph<T> dominatorTree()