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 Object

An object that computes the dominance frontiers of a graph

Constructor Summary

Constructors

Constructor and Description
DominanceFrontiers(Graph<T> G, T root)

Method Summary

Modifier and Type	Method and Description
Iterator<T>	dominators(T node)
Graph<T>	dominatorTree()
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 Iterator<T> getDominanceFrontier(T n)

isDominatedBy

public boolean isDominatedBy(T node,
                             T master)

dominators

public Iterator<T> dominators(T node)

dominatorTree

public Graph<T> dominatorTree()