Predicate Cached::bb_successor_cached
Successor relation for basic blocks.
Import path
import cpppredicate bb_successor_cached(BasicBlock pred, BasicBlock succ)Successor relation for basic blocks.
import cpppredicate bb_successor_cached(BasicBlock pred, BasicBlock succ)