Predicate bbStrictlyPostDominates
DEPRECATED: Use BasicBlock::strictlyPostDominates instead.
Holds if dom strictly post-dominates node.
Import path
import javapredicate bbStrictlyPostDominates(BasicBlock dom, BasicBlock node)DEPRECATED: Use BasicBlock::strictlyPostDominates instead.
Holds if dom strictly post-dominates node.
import javapredicate bbStrictlyPostDominates(BasicBlock dom, BasicBlock node)