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