Module Internal

Internal implementation details.

Import path

import semmle.code.csharp.controlflow.BasicBlocks

bbIDominates	Holds if `dom` is an immediate dominator of `bb`.
bbIPostDominates	Holds if `dom` is an immediate post-dominator of `bb`.
bbIndex	Holds if `cfn` is the `i`th node in basic block `bb`.

Internal representation of basic blocks.