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

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. The observable index is assigned by a simple counter based on statement order.

Attributes

Name	Type	Default	Description
observable_count	int	field(default=0, init=False)

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