charon_lib::transform::ullbc_to_llbc

Function make_ord_block_id

source 
fn make_ord_block_id(
    block_id: BlockId,
    sort_map: &HashMap<BlockId, usize>,
) -> OrdBlockId
Expand description

Create an OrdBlockId from a block id and a rank given by a map giving a sort (topological in our use cases) over the graph.