bloqade.rewrite.rules.split_ifs.LiftThenBody

← Module overview

classLiftThenBody¶source

bloqade.rewrite.rules.split_ifs.LiftThenBody

Bases: RewriteRule

Lifts anything that's not in the `exclude_stmts` in the *then* body

Signature

class LiftThenBody(exclude_stmts: tuple[type[ir.Statement], ...] = tuple())

Public import paths

• from bloqade.rewrite.rules import LiftThenBody
• from bloqade.qasm2.passes.unroll_if import LiftThenBody
• from bloqade.stim.rewrite.ifs_handling import LiftThenBody

Parameters

Name	Type	Default	Description
exclude_stmts	tuple[type[ir.Statement], ...]	tuple()	A tuple of statement types that should not be lifted from the then body. Defaults to an empty tuple, meaning all statements are lifted.

Attributes

Name	Type	Default	Description
exclude_stmts	tuple[type[ir.Statement], ...]	field(default_factory=tuple)

methodrewrite_Statement¶source

bloqade.rewrite.rules.split_ifs.LiftThenBody.rewrite_Statement

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

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source