Package 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	Description
DominanceFrontiers(Graph<T> G, T root)

Method Summary

Modifier and Type	Method	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 Details

DominanceFrontiers

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

Parameters:

G - The graph

root - The root from which to compute dominators

Method Details

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()