bloqade.analysis.measure_id.impls.Scf

← Module overview

classScf¶source

bloqade.analysis.measure_id.impls.Scf

Bases: scf.absint.Methods

Measure-ID analysis implementations for structured control flow.

class Scf

methodif_else¶source

bloqade.analysis.measure_id.impls.Scf.if_else

Signature

def if_else(interp_: MeasurementIDAnalysis, frame: MeasureIDFrame, stmt: scf.IfElse)

Analyze both branches of an if statement and join their results.

Parameters

Name	Type	Description
interp_	MeasurementIDAnalysis
frame	MeasureIDFrame
stmt	scf.IfElse

source

methodfor_loop¶source

bloqade.analysis.measure_id.impls.Scf.for_loop

Signature

def for_loop(interp_: MeasurementIDAnalysis, frame: MeasureIDFrame, stmt: scf.For)

Analyze a loop with a compile-time-known iterable.

Parameters

Name	Type	Description
interp_	MeasurementIDAnalysis
frame	MeasureIDFrame
stmt	scf.For

source