Expand description
This module contains analysis tools for Quil programs.
Structs§
- A control flow graph (CFG) is a representation of a program’s control flow as a directed graph. Each node in the graph is a basic block, a sequence of instructions with a single entry point and a single exit point. The edges in the graph represent control flow between basic blocks.
- QubitGraph is a logical execution/dependency graph of instructions. Pragma, RF Control, and Control Flow instructions are not supported. It is a directed graph from the first instructions (the set of instructions that do not depend on prior instructions) to the last instructions (the set of instructions that are not prerequisites for any later instructions).
Enums§
- The terminator of a basic block, which determines the control flow to the next basic block.