Module circomspect_program_structure::control_flow_graph

Re-exports

pub use basic_block::BasicBlock;

Modules

basic_block

errors

parameters

Structs

Cfg

Enums

DefinitionType

Traits

IntoCfg

This is a high level trait which simply wraps the implementation provided by TryLift. We need to pass the prime to the CFG here, to be able to do value propagation when converting to SSA.

Type Definitions

Index

Basic block index type.