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 javaThe dominance frontier relation for basic blocks.
This is equivalent to:
bbDominates(x, w.getABBPredecessor()) and not bbStrictlyDominates(x, w)
import java