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
predicate
dominanceFrontier
(
BasicBlock
x
,
BasicBlock
w
)