Module Cached
Import path
import cppPredicates
| basic_block_entry_node | Any node that is the entry point of a primitive basic block is also the entry point of a basic block. In addition, all nodes with a primitive successor, where the predecessor has been pruned (that is, |
| basic_block_member | Holds if |
| bb_length | Gets the number of control-flow nodes in the basic block |
| bb_successor_cached | Successor relation for basic blocks. |