Predicate dominanceFrontier
The dominance frontier relation for basic blocks.
This is equivalent to:
bbDominates(x, w.getABBPredecessor()) and not bbStrictlyDominates(x, w)
Import path
import java
The dominance frontier relation for basic blocks.
This is equivalent to:
bbDominates(x, w.getABBPredecessor()) and not bbStrictlyDominates(x, w)
import java