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
Constructors Constructor Description DominanceFrontiers(Graph<T> G, T root)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Iterator<T>
dominators(T node)
Graph<T>
dominatorTree()
java.util.Iterator<T>
getDominanceFrontier(T n)
boolean
isDominatedBy(T node, T master)
-