Skip to content

Ops

ops

QubitAttr

Bases: StimPrintable, ParametrizedAttribute, TypeAttribute

Type for a single qubit.

Source code in xdsl/dialects/stim/ops.py 
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
@irdl_attr_definition
class QubitAttr(StimPrintable, ParametrizedAttribute, TypeAttribute):
    """
    Type for a single qubit.
    """

    name = "stim.qubit"

    qubit: IntAttr

    def __init__(self, qubit: int | IntAttr) -> None:
        if not isinstance(qubit, IntAttr):
            qubit = IntAttr(qubit)
        super().__init__(qubit)

    @classmethod
    def parse_parameters(cls, parser: AttrParser) -> Sequence[IntAttr]:
        with parser.in_angle_brackets():
            qubit = parser.parse_integer(allow_negative=False, allow_boolean=False)
            return (IntAttr(qubit),)

    def print_parameters(self, printer: Printer) -> None:
        with printer.in_angle_brackets():
            printer.print_int(self.qubit.data)

    def print_stim(self, printer: StimPrinter):
        printer.print_string(f"{self.qubit.data}")

name = 'stim.qubit' class-attribute instance-attribute

qubit: IntAttr instance-attribute

__init__(qubit: int | IntAttr) -> None

Source code in xdsl/dialects/stim/ops.py 
32
33
34
35
def __init__(self, qubit: int | IntAttr) -> None:
    if not isinstance(qubit, IntAttr):
        qubit = IntAttr(qubit)
    super().__init__(qubit)

parse_parameters(parser: AttrParser) -> Sequence[IntAttr] classmethod

Source code in xdsl/dialects/stim/ops.py 
37
38
39
40
41
@classmethod
def parse_parameters(cls, parser: AttrParser) -> Sequence[IntAttr]:
    with parser.in_angle_brackets():
        qubit = parser.parse_integer(allow_negative=False, allow_boolean=False)
        return (IntAttr(qubit),)

print_parameters(printer: Printer) -> None

Source code in xdsl/dialects/stim/ops.py 
43
44
45
def print_parameters(self, printer: Printer) -> None:
    with printer.in_angle_brackets():
        printer.print_int(self.qubit.data)

print_stim(printer: StimPrinter)

Source code in xdsl/dialects/stim/ops.py 
47
48
def print_stim(self, printer: StimPrinter):
    printer.print_string(f"{self.qubit.data}")

QubitMappingAttr

Bases: StimPrintable, ParametrizedAttribute

This attribute provides a way to indicate the required connectivity or layout of physical qubits.

It consists of two parameters
  1. A co-ordinate array (currently it only anticipates a pair of qubits, but this is not fixed)
  2. A value associated with a qubit referred to in a circuit.

The co-ordinates may be used as a physical address of a qubit, or the relative address with respect to some known physical address.

Operations that attach this as a property may represent the lattice-like structure of a physical quantum computer by having a property with an ArrayAttr[QubitCoordsAttr].

Source code in xdsl/dialects/stim/ops.py 
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
@irdl_attr_definition
class QubitMappingAttr(StimPrintable, ParametrizedAttribute):
    """
    This attribute provides a way to indicate the required connectivity or layout of
    `physical` qubits.

    It consists of two parameters:
     1. A co-ordinate array (currently it only anticipates a pair of qubits, but this is
     not fixed)
     2. A value associated with a qubit referred to in a circuit.

    The co-ordinates may be used as a physical address of a qubit, or the relative
    address with respect to some known physical address.

    Operations that attach this as a property may represent the lattice-like structure
    of a physical quantum computer by having a property with an
    ArrayAttr[QubitCoordsAttr].
    """

    name = "stim.qubit_coord"

    coords: ArrayAttr[FloatData | IntAttr]
    qubit_name: QubitAttr

    def __init__(
        self,
        coords: list[float] | ArrayAttr[FloatData | IntAttr],
        qubit_name: int | QubitAttr,
    ) -> None:
        if not isinstance(qubit_name, QubitAttr):
            qubit_name = QubitAttr(qubit_name)
        if not isinstance(coords, ArrayAttr):
            coords = ArrayAttr(
                (IntAttr(int(arg))) if (type(arg) is int) else (FloatData(arg))
                for arg in coords
            )
        super().__init__(coords, qubit_name)

    @classmethod
    def parse_parameters(
        cls, parser: AttrParser
    ) -> tuple[ArrayAttr[FloatData | IntAttr], QubitAttr]:
        parser.parse_punctuation("<")
        coords = parser.parse_comma_separated_list(
            delimiter=parser.Delimiter.PAREN,
            parse=lambda: (
                IntAttr(x)
                if type(x := parser.parse_number(allow_boolean=False)) is int
                else FloatData(x)
            ),
        )
        parser.parse_punctuation(",")
        qubit = parser.parse_attribute()
        if not isinstance(qubit, QubitAttr):
            parser.raise_error("Expected qubit attr", at_position=parser.pos)
        parser.parse_punctuation(">")
        return (ArrayAttr(coords), qubit)

    def print_parameters(self, printer: Printer) -> None:
        with printer.in_angle_brackets():
            with printer.in_parens():
                printer.print_list(
                    self.coords,
                    lambda c: (
                        printer.print_int(c.data)
                        if isinstance(c, IntAttr)
                        else printer.print_float(c.data, f64)
                    ),
                )
            printer.print_string(", ")
            printer.print_attribute(self.qubit_name)

    def print_stim(self, printer: StimPrinter):
        printer.print_attribute(self.coords)
        self.qubit_name.print_stim(printer)

name = 'stim.qubit_coord' class-attribute instance-attribute

coords: ArrayAttr[FloatData | IntAttr] instance-attribute

qubit_name: QubitAttr instance-attribute

__init__(coords: list[float] | ArrayAttr[FloatData | IntAttr], qubit_name: int | QubitAttr) -> None

Source code in xdsl/dialects/stim/ops.py 
75
76
77
78
79
80
81
82
83
84
85
86
87
def __init__(
    self,
    coords: list[float] | ArrayAttr[FloatData | IntAttr],
    qubit_name: int | QubitAttr,
) -> None:
    if not isinstance(qubit_name, QubitAttr):
        qubit_name = QubitAttr(qubit_name)
    if not isinstance(coords, ArrayAttr):
        coords = ArrayAttr(
            (IntAttr(int(arg))) if (type(arg) is int) else (FloatData(arg))
            for arg in coords
        )
    super().__init__(coords, qubit_name)

parse_parameters(parser: AttrParser) -> tuple[ArrayAttr[FloatData | IntAttr], QubitAttr] classmethod

Source code in xdsl/dialects/stim/ops.py 
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
@classmethod
def parse_parameters(
    cls, parser: AttrParser
) -> tuple[ArrayAttr[FloatData | IntAttr], QubitAttr]:
    parser.parse_punctuation("<")
    coords = parser.parse_comma_separated_list(
        delimiter=parser.Delimiter.PAREN,
        parse=lambda: (
            IntAttr(x)
            if type(x := parser.parse_number(allow_boolean=False)) is int
            else FloatData(x)
        ),
    )
    parser.parse_punctuation(",")
    qubit = parser.parse_attribute()
    if not isinstance(qubit, QubitAttr):
        parser.raise_error("Expected qubit attr", at_position=parser.pos)
    parser.parse_punctuation(">")
    return (ArrayAttr(coords), qubit)

print_parameters(printer: Printer) -> None

Source code in xdsl/dialects/stim/ops.py 
109
110
111
112
113
114
115
116
117
118
119
120
121
def print_parameters(self, printer: Printer) -> None:
    with printer.in_angle_brackets():
        with printer.in_parens():
            printer.print_list(
                self.coords,
                lambda c: (
                    printer.print_int(c.data)
                    if isinstance(c, IntAttr)
                    else printer.print_float(c.data, f64)
                ),
            )
        printer.print_string(", ")
        printer.print_attribute(self.qubit_name)

print_stim(printer: StimPrinter)

Source code in xdsl/dialects/stim/ops.py 
123
124
125
def print_stim(self, printer: StimPrinter):
    printer.print_attribute(self.coords)
    self.qubit_name.print_stim(printer)

StimCircuitOp

Bases: StimPrintable, IRDLOperation

Base operation containing a stim program

Source code in xdsl/dialects/stim/ops.py 
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
@irdl_op_definition
class StimCircuitOp(StimPrintable, IRDLOperation):
    """
    Base operation containing a stim program
    """

    name = "stim.circuit"

    body = region_def("single_block")

    qubitlayout = opt_prop_def(ArrayAttr[QubitMappingAttr])

    assembly_format = "(`qubitlayout` $qubitlayout^)? attr-dict-with-keyword $body"

    def __init__(self, body: Region, qubitlayout: None | ArrayAttr[QubitMappingAttr]):
        super().__init__(regions=[body], properties={"qubitlayout": qubitlayout})

    def verify(self, verify_nested_ops: bool = True) -> None:
        return

    def print_stim(self, printer: StimPrinter):
        for op in self.body.block.ops:
            printer.print_op(op)
            printer.print_string("\n")
        printer.print_string("")

    def stim(self) -> str:
        io = StringIO()
        printer = StimPrinter(io)
        self.print_stim(printer)
        res = io.getvalue()
        return res

name = 'stim.circuit' class-attribute instance-attribute

body = region_def('single_block') class-attribute instance-attribute

qubitlayout = opt_prop_def(ArrayAttr[QubitMappingAttr]) class-attribute instance-attribute

assembly_format = '(`qubitlayout` $qubitlayout^)? attr-dict-with-keyword $body' class-attribute instance-attribute

__init__(body: Region, qubitlayout: None | ArrayAttr[QubitMappingAttr])

Source code in xdsl/dialects/stim/ops.py 
142
143
def __init__(self, body: Region, qubitlayout: None | ArrayAttr[QubitMappingAttr]):
    super().__init__(regions=[body], properties={"qubitlayout": qubitlayout})

verify(verify_nested_ops: bool = True) -> None

Source code in xdsl/dialects/stim/ops.py 
145
146
def verify(self, verify_nested_ops: bool = True) -> None:
    return

print_stim(printer: StimPrinter)

Source code in xdsl/dialects/stim/ops.py 
148
149
150
151
152
def print_stim(self, printer: StimPrinter):
    for op in self.body.block.ops:
        printer.print_op(op)
        printer.print_string("\n")
    printer.print_string("")

stim() -> str

Source code in xdsl/dialects/stim/ops.py 
154
155
156
157
158
159
def stim(self) -> str:
    io = StringIO()
    printer = StimPrinter(io)
    self.print_stim(printer)
    res = io.getvalue()
    return res

AnnotationOp dataclass

Bases: StimPrintable, IRDLOperation, ABC

Base Annotation operation.

This is used to indicate operations that are stim annotations, these do not have operational semantics, so this will be used during transforms to ignore these operations.

Source code in xdsl/dialects/stim/ops.py 
175
176
177
178
179
180
181
182
class AnnotationOp(StimPrintable, IRDLOperation, ABC):
    """
    Base Annotation operation.

    This is used to indicate operations that are stim annotations,
    these do not have operational semantics,
    so this will be used during transforms to ignore these operations.
    """

QubitCoordsOp

Bases: AnnotationOp

Annotation operation that assigns a qubit reference to a coordinate.

Source code in xdsl/dialects/stim/ops.py 
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
@irdl_op_definition
class QubitCoordsOp(AnnotationOp):
    """
    Annotation operation that assigns a qubit reference to a coordinate.
    """

    name = "stim.assign_qubit_coord"

    qubitmapping = prop_def(QubitMappingAttr)

    assembly_format = "$qubitmapping attr-dict"

    def __init__(self, qubitmapping: QubitMappingAttr):
        super().__init__(properties={"qubitmapping": qubitmapping})

    def print_stim(self, printer: StimPrinter) -> None:
        printer.print_string("QUBIT_COORDS")
        self.qubitmapping.print_stim(printer)

name = 'stim.assign_qubit_coord' class-attribute instance-attribute

qubitmapping = prop_def(QubitMappingAttr) class-attribute instance-attribute

assembly_format = '$qubitmapping attr-dict' class-attribute instance-attribute

__init__(qubitmapping: QubitMappingAttr)

Source code in xdsl/dialects/stim/ops.py 
197
198
def __init__(self, qubitmapping: QubitMappingAttr):
    super().__init__(properties={"qubitmapping": qubitmapping})

print_stim(printer: StimPrinter) -> None

Source code in xdsl/dialects/stim/ops.py 
200
201
202
def print_stim(self, printer: StimPrinter) -> None:
    printer.print_string("QUBIT_COORDS")
    self.qubitmapping.print_stim(printer)

SingleQubitGateOp

Bases: StimPrintable, IRDLOperation, ABC

Base operation for single-qubit gates.

Source code in xdsl/dialects/stim/ops.py 
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
class SingleQubitGateOp(StimPrintable, IRDLOperation, ABC):
    """
    Base operation for single-qubit gates.
    """

    STIM_NAME: ClassVar[str]

    targets = prop_def(ArrayAttr[QubitAttr])

    assembly_format = "$targets attr-dict"

    def __init__(self, targets: Sequence[QubitAttr | int]):
        targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
        super().__init__(properties={"targets": ArrayAttr(targets)})

    def print_stim(self, printer: StimPrinter) -> None:
        printer.print_string(self.STIM_NAME)
        for target in self.targets:
            printer.print_string(" ")
            target.print_stim(printer)

STIM_NAME: str class-attribute

targets = prop_def(ArrayAttr[QubitAttr]) class-attribute instance-attribute

assembly_format = '$targets attr-dict' class-attribute instance-attribute

__init__(targets: Sequence[QubitAttr | int])

Source code in xdsl/dialects/stim/ops.py 
223
224
225
def __init__(self, targets: Sequence[QubitAttr | int]):
    targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
    super().__init__(properties={"targets": ArrayAttr(targets)})

print_stim(printer: StimPrinter) -> None

Source code in xdsl/dialects/stim/ops.py 
227
228
229
230
231
def print_stim(self, printer: StimPrinter) -> None:
    printer.print_string(self.STIM_NAME)
    for target in self.targets:
        printer.print_string(" ")
        target.print_stim(printer)

HOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
234
235
236
237
@irdl_op_definition
class HOp(SingleQubitGateOp):
    name = "stim.h"
    STIM_NAME: ClassVar[str] = "H"

name = 'stim.h' class-attribute instance-attribute

STIM_NAME: str = 'H' class-attribute

SOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
240
241
242
243
@irdl_op_definition
class SOp(SingleQubitGateOp):
    name = "stim.s"
    STIM_NAME: ClassVar[str] = "S"

name = 'stim.s' class-attribute instance-attribute

STIM_NAME: str = 'S' class-attribute

SDagOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
246
247
248
249
@irdl_op_definition
class SDagOp(SingleQubitGateOp):
    name = "stim.s_dag"
    STIM_NAME: ClassVar[str] = "S_DAG"

name = 'stim.s_dag' class-attribute instance-attribute

STIM_NAME: str = 'S_DAG' class-attribute

XOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
252
253
254
255
@irdl_op_definition
class XOp(SingleQubitGateOp):
    name = "stim.x"
    STIM_NAME: ClassVar[str] = "X"

name = 'stim.x' class-attribute instance-attribute

STIM_NAME: str = 'X' class-attribute

YOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
258
259
260
261
@irdl_op_definition
class YOp(SingleQubitGateOp):
    name = "stim.y"
    STIM_NAME: ClassVar[str] = "Y"

name = 'stim.y' class-attribute instance-attribute

STIM_NAME: str = 'Y' class-attribute

ZOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
264
265
266
267
@irdl_op_definition
class ZOp(SingleQubitGateOp):
    name = "stim.z"
    STIM_NAME: ClassVar[str] = "Z"

name = 'stim.z' class-attribute instance-attribute

STIM_NAME: str = 'Z' class-attribute

IOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
270
271
272
273
@irdl_op_definition
class IOp(SingleQubitGateOp):
    name = "stim.i"
    STIM_NAME: ClassVar[str] = "I"

name = 'stim.i' class-attribute instance-attribute

STIM_NAME: str = 'I' class-attribute

SqrtXOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
276
277
278
279
@irdl_op_definition
class SqrtXOp(SingleQubitGateOp):
    name = "stim.sqrt_x"
    STIM_NAME: ClassVar[str] = "SQRT_X"

name = 'stim.sqrt_x' class-attribute instance-attribute

STIM_NAME: str = 'SQRT_X' class-attribute

SqrtXDagOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
282
283
284
285
@irdl_op_definition
class SqrtXDagOp(SingleQubitGateOp):
    name = "stim.sqrt_x_dag"
    STIM_NAME: ClassVar[str] = "SQRT_X_DAG"

name = 'stim.sqrt_x_dag' class-attribute instance-attribute

STIM_NAME: str = 'SQRT_X_DAG' class-attribute

SqrtYOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
288
289
290
291
@irdl_op_definition
class SqrtYOp(SingleQubitGateOp):
    name = "stim.sqrt_y"
    STIM_NAME: ClassVar[str] = "SQRT_Y"

name = 'stim.sqrt_y' class-attribute instance-attribute

STIM_NAME: str = 'SQRT_Y' class-attribute

SqrtYDagOp dataclass

Bases: SingleQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
294
295
296
297
@irdl_op_definition
class SqrtYDagOp(SingleQubitGateOp):
    name = "stim.sqrt_y_dag"
    STIM_NAME: ClassVar[str] = "SQRT_Y_DAG"

name = 'stim.sqrt_y_dag' class-attribute instance-attribute

STIM_NAME: str = 'SQRT_Y_DAG' class-attribute

TwoQubitGateOp

Bases: StimPrintable, IRDLOperation, ABC

Base operation for two-qubit gates.

Source code in xdsl/dialects/stim/ops.py 
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
class TwoQubitGateOp(StimPrintable, IRDLOperation, ABC):
    """
    Base operation for two-qubit gates.
    """

    STIM_NAME: ClassVar[str]

    targets = prop_def(ArrayAttr[QubitAttr])

    assembly_format = "$targets attr-dict"

    def __init__(self, targets: Sequence[QubitAttr | int]):
        targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
        super().__init__(properties={"targets": ArrayAttr(targets)})

    def verify_(self) -> None:
        if len(self.targets) % 2:
            raise VerifyException(
                f"Expected an even number of targets for {self.STIM_NAME}, got {len(self.targets)}"
            )

    def print_stim(self, printer: StimPrinter) -> None:
        printer.print_string(self.STIM_NAME)
        for target in self.targets:
            printer.print_string(" ")
            target.print_stim(printer)

STIM_NAME: str class-attribute

targets = prop_def(ArrayAttr[QubitAttr]) class-attribute instance-attribute

assembly_format = '$targets attr-dict' class-attribute instance-attribute

__init__(targets: Sequence[QubitAttr | int])

Source code in xdsl/dialects/stim/ops.py 
318
319
320
def __init__(self, targets: Sequence[QubitAttr | int]):
    targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
    super().__init__(properties={"targets": ArrayAttr(targets)})

verify_() -> None

Source code in xdsl/dialects/stim/ops.py 
322
323
324
325
326
def verify_(self) -> None:
    if len(self.targets) % 2:
        raise VerifyException(
            f"Expected an even number of targets for {self.STIM_NAME}, got {len(self.targets)}"
        )

print_stim(printer: StimPrinter) -> None

Source code in xdsl/dialects/stim/ops.py 
328
329
330
331
332
def print_stim(self, printer: StimPrinter) -> None:
    printer.print_string(self.STIM_NAME)
    for target in self.targets:
        printer.print_string(" ")
        target.print_stim(printer)

CXOp dataclass

Bases: TwoQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
335
336
337
338
@irdl_op_definition
class CXOp(TwoQubitGateOp):
    name = "stim.cx"
    STIM_NAME: ClassVar[str] = "CX"

name = 'stim.cx' class-attribute instance-attribute

STIM_NAME: str = 'CX' class-attribute

CYOp dataclass

Bases: TwoQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
341
342
343
344
@irdl_op_definition
class CYOp(TwoQubitGateOp):
    name = "stim.cy"
    STIM_NAME: ClassVar[str] = "CY"

name = 'stim.cy' class-attribute instance-attribute

STIM_NAME: str = 'CY' class-attribute

CZOp dataclass

Bases: TwoQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
347
348
349
350
@irdl_op_definition
class CZOp(TwoQubitGateOp):
    name = "stim.cz"
    STIM_NAME: ClassVar[str] = "CZ"

name = 'stim.cz' class-attribute instance-attribute

STIM_NAME: str = 'CZ' class-attribute

SwapOp dataclass

Bases: TwoQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
353
354
355
356
@irdl_op_definition
class SwapOp(TwoQubitGateOp):
    name = "stim.swap"
    STIM_NAME: ClassVar[str] = "SWAP"

name = 'stim.swap' class-attribute instance-attribute

STIM_NAME: str = 'SWAP' class-attribute

ISwapOp dataclass

Bases: TwoQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
359
360
361
362
@irdl_op_definition
class ISwapOp(TwoQubitGateOp):
    name = "stim.iswap"
    STIM_NAME: ClassVar[str] = "ISWAP"

name = 'stim.iswap' class-attribute instance-attribute

STIM_NAME: str = 'ISWAP' class-attribute

ISwapDagOp dataclass

Bases: TwoQubitGateOp

Source code in xdsl/dialects/stim/ops.py 
365
366
367
368
@irdl_op_definition
class ISwapDagOp(TwoQubitGateOp):
    name = "stim.iswap_dag"
    STIM_NAME: ClassVar[str] = "ISWAP_DAG"

name = 'stim.iswap_dag' class-attribute instance-attribute

STIM_NAME: str = 'ISWAP_DAG' class-attribute

MeasurementOperation

Bases: StimPrintable, IRDLOperation, ABC

Base operation for measurement gates (M, MX, MY).

Source code in xdsl/dialects/stim/ops.py 
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
class MeasurementOperation(StimPrintable, IRDLOperation, ABC):
    """
    Base operation for measurement gates (M, MX, MY).
    """

    STIM_NAME: ClassVar[str]

    targets = prop_def(ArrayAttr[QubitAttr])
    flip_prob = opt_prop_def(FloatData)

    assembly_format = "(`flip_prob` $flip_prob^)? $targets attr-dict"

    def __init__(
        self,
        targets: Sequence[QubitAttr | int],
        flip_prob: float | FloatData | None = None,
    ):
        targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
        if not isinstance(flip_prob, FloatData | None):
            flip_prob = FloatData(flip_prob)
        super().__init__(
            properties={"targets": ArrayAttr(targets), "flip_prob": flip_prob}
        )

    def print_stim(self, printer: StimPrinter) -> None:
        printer.print_string(self.STIM_NAME)
        if self.flip_prob is not None:
            printer.print_string(f"({self.flip_prob.data})")
        for target in self.targets:
            printer.print_string(" ")
            target.print_stim(printer)

STIM_NAME: str class-attribute

targets = prop_def(ArrayAttr[QubitAttr]) class-attribute instance-attribute

flip_prob = opt_prop_def(FloatData) class-attribute instance-attribute

assembly_format = '(`flip_prob` $flip_prob^)? $targets attr-dict' class-attribute instance-attribute

__init__(targets: Sequence[QubitAttr | int], flip_prob: float | FloatData | None = None)

Source code in xdsl/dialects/stim/ops.py 
388
389
390
391
392
393
394
395
396
397
398
def __init__(
    self,
    targets: Sequence[QubitAttr | int],
    flip_prob: float | FloatData | None = None,
):
    targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
    if not isinstance(flip_prob, FloatData | None):
        flip_prob = FloatData(flip_prob)
    super().__init__(
        properties={"targets": ArrayAttr(targets), "flip_prob": flip_prob}
    )

print_stim(printer: StimPrinter) -> None

Source code in xdsl/dialects/stim/ops.py 
400
401
402
403
404
405
406
def print_stim(self, printer: StimPrinter) -> None:
    printer.print_string(self.STIM_NAME)
    if self.flip_prob is not None:
        printer.print_string(f"({self.flip_prob.data})")
    for target in self.targets:
        printer.print_string(" ")
        target.print_stim(printer)

MOp dataclass

Bases: MeasurementOperation

Source code in xdsl/dialects/stim/ops.py 
409
410
411
412
@irdl_op_definition
class MOp(MeasurementOperation):
    name = "stim.m"
    STIM_NAME: ClassVar[str] = "M"

name = 'stim.m' class-attribute instance-attribute

STIM_NAME: str = 'M' class-attribute

MXOp dataclass

Bases: MeasurementOperation

Source code in xdsl/dialects/stim/ops.py 
415
416
417
418
@irdl_op_definition
class MXOp(MeasurementOperation):
    name = "stim.mx"
    STIM_NAME: ClassVar[str] = "MX"

name = 'stim.mx' class-attribute instance-attribute

STIM_NAME: str = 'MX' class-attribute

MYOp dataclass

Bases: MeasurementOperation

Source code in xdsl/dialects/stim/ops.py 
421
422
423
424
@irdl_op_definition
class MYOp(MeasurementOperation):
    name = "stim.my"
    STIM_NAME: ClassVar[str] = "MY"

name = 'stim.my' class-attribute instance-attribute

STIM_NAME: str = 'MY' class-attribute

ResetOperation

Bases: StimPrintable, IRDLOperation, ABC

Base operation for reset gates (R, RX, RY).

Source code in xdsl/dialects/stim/ops.py 
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
class ResetOperation(StimPrintable, IRDLOperation, ABC):
    """
    Base operation for reset gates (R, RX, RY).
    """

    STIM_NAME: ClassVar[str]

    targets = prop_def(ArrayAttr[QubitAttr])

    assembly_format = "$targets attr-dict"

    def __init__(self, targets: Sequence[QubitAttr | int]):
        targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
        super().__init__(properties={"targets": ArrayAttr(targets)})

    def print_stim(self, printer: StimPrinter) -> None:
        printer.print_string(self.STIM_NAME)
        for target in self.targets:
            printer.print_string(" ")
            target.print_stim(printer)

STIM_NAME: str class-attribute

targets = prop_def(ArrayAttr[QubitAttr]) class-attribute instance-attribute

assembly_format = '$targets attr-dict' class-attribute instance-attribute

__init__(targets: Sequence[QubitAttr | int])

Source code in xdsl/dialects/stim/ops.py 
443
444
445
def __init__(self, targets: Sequence[QubitAttr | int]):
    targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
    super().__init__(properties={"targets": ArrayAttr(targets)})

print_stim(printer: StimPrinter) -> None

Source code in xdsl/dialects/stim/ops.py 
447
448
449
450
451
def print_stim(self, printer: StimPrinter) -> None:
    printer.print_string(self.STIM_NAME)
    for target in self.targets:
        printer.print_string(" ")
        target.print_stim(printer)

ROp dataclass

Bases: ResetOperation

Source code in xdsl/dialects/stim/ops.py 
454
455
456
457
@irdl_op_definition
class ROp(ResetOperation):
    name = "stim.r"
    STIM_NAME: ClassVar[str] = "R"

name = 'stim.r' class-attribute instance-attribute

STIM_NAME: str = 'R' class-attribute

RXOp dataclass

Bases: ResetOperation

Source code in xdsl/dialects/stim/ops.py 
460
461
462
463
@irdl_op_definition
class RXOp(ResetOperation):
    name = "stim.rx"
    STIM_NAME: ClassVar[str] = "RX"

name = 'stim.rx' class-attribute instance-attribute

STIM_NAME: str = 'RX' class-attribute

RYOp dataclass

Bases: ResetOperation

Source code in xdsl/dialects/stim/ops.py 
466
467
468
469
@irdl_op_definition
class RYOp(ResetOperation):
    name = "stim.ry"
    STIM_NAME: ClassVar[str] = "RY"

name = 'stim.ry' class-attribute instance-attribute

STIM_NAME: str = 'RY' class-attribute

MeasureResetOperation

Bases: StimPrintable, IRDLOperation, ABC

Base operation for combined measure-reset gates (MR, MRX, MRY).

Source code in xdsl/dialects/stim/ops.py 
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
class MeasureResetOperation(StimPrintable, IRDLOperation, ABC):
    """
    Base operation for combined measure-reset gates (MR, MRX, MRY).
    """

    STIM_NAME: ClassVar[str]

    targets = prop_def(ArrayAttr[QubitAttr])
    flip_prob = opt_prop_def(FloatData)

    assembly_format = "(`flip_prob` $flip_prob^)? $targets attr-dict"

    def __init__(
        self,
        targets: Sequence[QubitAttr | int],
        flip_prob: float | FloatData | None = None,
    ):
        targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
        if not isinstance(flip_prob, FloatData | None):
            flip_prob = FloatData(flip_prob)
        super().__init__(
            properties={"targets": ArrayAttr(targets), "flip_prob": flip_prob}
        )

    def print_stim(self, printer: StimPrinter) -> None:
        printer.print_string(self.STIM_NAME)
        if self.flip_prob is not None:
            printer.print_string(f"({self.flip_prob.data})")
        for target in self.targets:
            printer.print_string(" ")
            target.print_stim(printer)

STIM_NAME: str class-attribute

targets = prop_def(ArrayAttr[QubitAttr]) class-attribute instance-attribute

flip_prob = opt_prop_def(FloatData) class-attribute instance-attribute

assembly_format = '(`flip_prob` $flip_prob^)? $targets attr-dict' class-attribute instance-attribute

__init__(targets: Sequence[QubitAttr | int], flip_prob: float | FloatData | None = None)

Source code in xdsl/dialects/stim/ops.py 
489
490
491
492
493
494
495
496
497
498
499
def __init__(
    self,
    targets: Sequence[QubitAttr | int],
    flip_prob: float | FloatData | None = None,
):
    targets = [QubitAttr(t) if isinstance(t, int) else t for t in targets]
    if not isinstance(flip_prob, FloatData | None):
        flip_prob = FloatData(flip_prob)
    super().__init__(
        properties={"targets": ArrayAttr(targets), "flip_prob": flip_prob}
    )

print_stim(printer: StimPrinter) -> None

Source code in xdsl/dialects/stim/ops.py 
501
502
503
504
505
506
507
def print_stim(self, printer: StimPrinter) -> None:
    printer.print_string(self.STIM_NAME)
    if self.flip_prob is not None:
        printer.print_string(f"({self.flip_prob.data})")
    for target in self.targets:
        printer.print_string(" ")
        target.print_stim(printer)

MROp dataclass

Bases: MeasureResetOperation

Source code in xdsl/dialects/stim/ops.py 
510
511
512
513
@irdl_op_definition
class MROp(MeasureResetOperation):
    name = "stim.mr"
    STIM_NAME: ClassVar[str] = "MR"

name = 'stim.mr' class-attribute instance-attribute

STIM_NAME: str = 'MR' class-attribute

MRXOp dataclass

Bases: MeasureResetOperation

Source code in xdsl/dialects/stim/ops.py 
516
517
518
519
@irdl_op_definition
class MRXOp(MeasureResetOperation):
    name = "stim.mrx"
    STIM_NAME: ClassVar[str] = "MRX"

name = 'stim.mrx' class-attribute instance-attribute

STIM_NAME: str = 'MRX' class-attribute

MRYOp dataclass

Bases: MeasureResetOperation

Source code in xdsl/dialects/stim/ops.py 
522
523
524
525
@irdl_op_definition
class MRYOp(MeasureResetOperation):
    name = "stim.mry"
    STIM_NAME: ClassVar[str] = "MRY"

name = 'stim.mry' class-attribute instance-attribute

STIM_NAME: str = 'MRY' class-attribute