bloqade.record_idx_helper.stmts.GetRecIdxFromPredicate

← Module overview

classGetRecIdxFromPredicate¶source

bloqade.record_idx_helper.stmts.GetRecIdxFromPredicate

Bases: ir.Statement

class GetRecIdxFromPredicate

Public import paths

• from bloqade.record_idx_helper import GetRecIdxFromPredicate
• from bloqade.analysis.measure_id.impls import GetRecIdxFromPredicate
• from bloqade.stim.rewrite.ifs_to_stim_partial import GetRecIdxFromPredicate
• from bloqade.stim.rewrite.resolve_get_rec_idx import GetRecIdxFromPredicate

Attributes

Name	Type	Default	Description
name	—	'get_rec_idx_from_predicate'
traits	—	frozenset({ir.Pure()})
predicate_result	ir.SSAValue	info.argument(type=(types.Bool))
result	ir.ResultValue	info.result(type=(types.Int))