Predicate bbStrictlyDominates
DEPRECATED: Use BasicBlock::strictlyDominates instead.
Holds if dom strictly dominates node.
Import path
import javapredicate bbStrictlyDominates(BasicBlock dom, BasicBlock node)DEPRECATED: Use BasicBlock::strictlyDominates instead.
Holds if dom strictly dominates node.
import javapredicate bbStrictlyDominates(BasicBlock dom, BasicBlock node)