bloqade.stim.rewrite.set_observable_partial.SetObservablePartial

← Module overview

classSetObservablePartial¶source

bloqade.stim.rewrite.set_observable_partial.SetObservablePartial

Bases: RewriteRule

Rewrite SetObservable using GetRecIdxFromMeasurement placeholders.

class SetObservablePartial(obs_idx_frame: ObservableIdxFrame)

Public import paths

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

Instead of computing record indices from analysis results immediately, this injects GetRecIdxFromMeasurement statements that will be resolved post-analysis. Observable indices come from ObservableIdxAnalysis so partial and resolve rewrites share a single namespace.

Parameters

Name	Type	Description
obs_idx_frame	ObservableIdxFrame

Attributes

Name	Type	Description
obs_idx_frame	ObservableIdxFrame

methodrewrite_Statement¶source

bloqade.stim.rewrite.set_observable_partial.SetObservablePartial.rewrite_Statement

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

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source

methodrewrite_SetObservable¶source

bloqade.stim.rewrite.set_observable_partial.SetObservablePartial.rewrite_SetObservable

def rewrite_SetObservable(node: SetObservable) -> RewriteResult

Parameters

Name	Type	Description
node	SetObservable

Returns

RewriteResult

source