Class DominanceFrontiers<T>
java.lang.Object
com.ibm.wala.util.graph.dominators.DominanceFrontiers<T>
An object that computes the dominance frontiers of a graph
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
DominanceFrontiers
-
-
Method Details
-
getDominanceFrontier
-
isDominatedBy
-
dominators
-
dominatorTree
-