Trait circomspect_program_structure::control_flow_graph::IntoCfg

pub trait IntoCfg {
    fn into_cfg(
        self,
        curve: &Curve,
        reports: &mut ReportCollection
    ) -> CFGResult<Cfg>;
}

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.

Required Methods

fn into_cfg(self, curve: &Curve, reports: &mut ReportCollection) -> CFGResult<Cfg>

Implementors

impl<T> IntoCfg for Twhere
    T: TryLift<UsefulConstants, IR = Cfg, Error = CFGError>,