bloqade.stim.rewrite.set_detector_partial.SetDetectorPartial

← Module overview

classSetDetectorPartial¶source

bloqade.stim.rewrite.set_detector_partial.SetDetectorPartial

Bases: RewriteRule

Rewrite SetDetector using GetRecIdxFromMeasurement placeholders.

class SetDetectorPartial

Public import paths

• from bloqade.stim.rewrite import SetDetectorPartial
• from bloqade.stim.passes.squin_to_stim import SetDetectorPartial

Instead of computing record indices from analysis results immediately, this injects GetRecIdxFromMeasurement statements that will be resolved post-analysis.

methodrewrite_Statement¶source

bloqade.stim.rewrite.set_detector_partial.SetDetectorPartial.rewrite_Statement

def rewrite_Statement(node: ir.Statement) -> RewriteResult

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source

methodrewrite_SetDetector¶source

bloqade.stim.rewrite.set_detector_partial.SetDetectorPartial.rewrite_SetDetector

def rewrite_SetDetector(node: SetDetector) -> RewriteResult

Parameters

Name	Type	Description
node	SetDetector

Returns

RewriteResult

source