hugr_core::hugr::patch

Module outline_cfg

Source
Expand description

Rewrite for inserting a CFG-node into the hierarchy containing a subsection of an existing CFG

Structs§

OutlineCfg
Moves some of the blocks in a Control-flow region into a new CFG-node that is the only child of a new Basic Block in the original region.

Enums§

OutlineCfgError
Errors that can occur in expressing an OutlineCfg rewrite.