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

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

public class DominanceFrontiers<T>
extends Dominators<T>

An object that computes the dominance frontiers of a graph

Field Summary

Fields inherited from class com.ibm.wala.util.graph.Dominators

G, reachableNodeCount, root

Constructor Summary

DominanceFrontiers(Graph<T> G, T root)

Method Summary

java.util.Iterator<T>

getDominanceFrontier(T n)

Methods inherited from class com.ibm.wala.util.graph.Dominators

dominators, dominatorTree, getIdom, isDominatedBy

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)