Skip to main content

compute_canonical_map

Function compute_canonical_map 

Source
pub fn compute_canonical_map(
    merge_pairs: &[(LcnfVarId, LcnfVarId)],
) -> HashMap<LcnfVarId, LcnfVarId>
Expand description

Compute a canonical (post-coalescing) representative for each vreg.