mqt-core 3.2.1__cp312-cp312-win_arm64.whl → 3.3.1__cp312-cp312-win_arm64.whl

mqt/core/nlohmann_json.natvis

@@ -0,0 +1,278 @@
+<?xml version="1.0" encoding="utf-8"?>
+
+<!-- * * * * * * * * AUTO-GENERATED FILE  * * * * * * * * -->
+<!-- Edit ./tools/generate_natvis/nlohmann_json.natvis.j2 -->
+<!-- * * * * * * * * AUTO-GENERATED FILE  * * * * * * * * -->
+
+<AutoVisualizer xmlns="http://schemas.microsoft.com/vstudio/debugger/natvis/2010">
+    <!-- Namespace nlohmann -->
+    <Type Name="nlohmann::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi -->
+    <Type Name="nlohmann::json_abi::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_v3_12_0 -->
+    <Type Name="nlohmann::json_abi_v3_12_0::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_v3_12_0::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_v3_12_0::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_diag -->
+    <Type Name="nlohmann::json_abi_diag::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_diag::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_diag_v3_12_0 -->
+    <Type Name="nlohmann::json_abi_diag_v3_12_0::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag_v3_12_0::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_diag_v3_12_0::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_ldvcmp -->
+    <Type Name="nlohmann::json_abi_ldvcmp::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_ldvcmp::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_ldvcmp::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_ldvcmp_v3_12_0 -->
+    <Type Name="nlohmann::json_abi_ldvcmp_v3_12_0::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_ldvcmp_v3_12_0::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_ldvcmp_v3_12_0::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_diag_ldvcmp -->
+    <Type Name="nlohmann::json_abi_diag_ldvcmp::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_diag_ldvcmp::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Namespace nlohmann::json_abi_diag_ldvcmp_v3_12_0 -->
+    <Type Name="nlohmann::json_abi_diag_ldvcmp_v3_12_0::basic_json&lt;*&gt;">
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::null">null</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::object">{*(m_data.m_value.object)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::array">{*(m_data.m_value.array)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::string">{*(m_data.m_value.string)}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::boolean">{m_data.m_value.boolean}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::number_integer">{m_data.m_value.number_integer}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::number_unsigned">{m_data.m_value.number_unsigned}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::number_float">{m_data.m_value.number_float}</DisplayString>
+        <DisplayString Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::discarded">discarded</DisplayString>
+        <Expand>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::object">
+                *(m_data.m_value.object),view(simple)
+            </ExpandedItem>
+            <ExpandedItem Condition="m_data.m_type == nlohmann::json_abi_diag_ldvcmp_v3_12_0::detail::value_t::array">
+                *(m_data.m_value.array),view(simple)
+            </ExpandedItem>
+        </Expand>
+    </Type>
+
+    <!-- Skip the pair first/second members in the treeview while traversing a map.
+         Only works in VS 2015 Update 2 and beyond using the new visualization -->
+    <Type Name="std::pair&lt;*, nlohmann::json_abi_diag_ldvcmp_v3_12_0::basic_json&lt;*&gt;&gt;" IncludeView="MapHelper">
+        <DisplayString>{second}</DisplayString>
+        <Expand>
+            <ExpandedItem>second</ExpandedItem>
+        </Expand>
+    </Type>
+
+</AutoVisualizer>

mqt/core/plugins/qiskit/mqt_to_qiskit.py

@@ -12,7 +12,14 @@ from __future__ import annotations
 
 from typing import TYPE_CHECKING
 
-from qiskit.circuit import AncillaRegister, ClassicalRegister, Clbit, QuantumCircuit, QuantumRegister, Qubit
+from qiskit.circuit import (
+    AncillaRegister,
+    ClassicalRegister,
+    IfElseOp,
+    QuantumCircuit,
+    QuantumRegister,
+)
+from qiskit.circuit.classical import expr
 from qiskit.circuit.library import (
     DCXGate,
     ECRGate,
@@ -46,11 +53,11 @@ from qiskit.transpiler.layout import Layout, TranspileLayout
 
 from ...ir import Permutation
 from ...ir.operations import (
-    ClassicControlledOperation,
+    ComparisonKind,
     CompoundOperation,
     Control,
+    IfElseOperation,
     NonUnitaryOperation,
-    Operation,
     OpType,
     StandardOperation,
 )
@@ -58,9 +65,11 @@ from ...ir.operations import (
 if TYPE_CHECKING:
     from collections.abc import Mapping, Sequence
 
+    from qiskit.circuit import Clbit, Qubit
     from qiskit.circuit.singleton import SingletonGate
 
     from ...ir import QuantumComputation
+    from ...ir.operations import Operation
 
 __all__ = ["mqt_to_qiskit"]
 
@@ -205,7 +214,10 @@ def _add_standard_operation(circ: QuantumCircuit, op: StandardOperation, qubit_m
 
 
 def _add_non_unitary_operation(
-    circ: QuantumCircuit, op: NonUnitaryOperation, qubit_map: Mapping[int, Qubit], clbit_map: Mapping[int, Clbit]
+    circ: QuantumCircuit,
+    op: NonUnitaryOperation,
+    qubit_map: Mapping[int, Qubit],
+    clbit_map: Mapping[int, Clbit],
 ) -> None:
     """Add a :class:`~mqt.core.ir.operations.NonUnitaryOperation`.
 
@@ -216,7 +228,7 @@ def _add_non_unitary_operation(
         clbit_map: A mapping from classical bit indices to Qiskit :class:`~qiskit.circuit.Clbit`.
     """
     if op.type_ == OpType.measure:
-        for qubit, clbit in zip(op.targets, op.classics):
+        for qubit, clbit in zip(op.targets, op.classics, strict=False):
             circ.measure(qubit_map[qubit], clbit_map[clbit])
         return
 
@@ -227,7 +239,10 @@ def _add_non_unitary_operation(
 
 
 def _add_compound_operation(
-    circ: QuantumCircuit, op: CompoundOperation, qubit_map: Mapping[int, Qubit], clbit_map: Mapping[int, Clbit]
+    circ: QuantumCircuit,
+    op: CompoundOperation,
+    qubit_map: Mapping[int, Qubit],
+    clbit_map: Mapping[int, Clbit],
 ) -> None:
     """Add a :class:`~mqt.core.ir.operations.CompoundOperation`.
 
@@ -243,8 +258,59 @@ def _add_compound_operation(
     circ.append(inner_circ.to_instruction(), circ.qubits, circ.clbits)
 
 
+def _add_if_else_operation(
+    circ: QuantumCircuit,
+    op: IfElseOperation,
+    qubit_map: Mapping[int, Qubit],
+    clbit_map: Mapping[int, Clbit],
+) -> None:
+    """Add a :class:`~.IfElseOperation`.
+
+    Args:
+        circ: The Qiskit circuit to add the operation to.
+        op: The :class:`~.IfElseOperation` operation to add.
+        qubit_map: A mapping from qubit indices to Qiskit :class:`~qiskit.circuit.Qubit`.
+        clbit_map: A mapping from classical bit indices to Qiskit :class:`~qiskit.circuit.Clbit`.
+    """
+    if op.control_register is not None:
+        left_hand_side = next(reg for reg in circ.cregs if reg.name == op.control_register.name)
+        right_hand_side = op.expected_value_register
+    else:
+        assert op.control_bit is not None
+        left_hand_side = clbit_map[op.control_bit]
+        right_hand_side = op.expected_value_bit
+
+    condition: expr.Expr | tuple[ClassicalRegister | Clbit, int]
+    if op.comparison_kind == ComparisonKind.eq:
+        # directly handle equality conditions without expressions
+        condition = (left_hand_side, right_hand_side)
+    elif op.comparison_kind == ComparisonKind.neq:
+        condition = expr.not_equal(left_hand_side, right_hand_side)
+    elif op.comparison_kind == ComparisonKind.lt:
+        condition = expr.less(left_hand_side, right_hand_side)
+    elif op.comparison_kind == ComparisonKind.leq:
+        condition = expr.less_equal(left_hand_side, right_hand_side)
+    elif op.comparison_kind == ComparisonKind.gt:
+        condition = expr.greater(left_hand_side, right_hand_side)
+    elif op.comparison_kind == ComparisonKind.geq:
+        condition = expr.greater_equal(left_hand_side, right_hand_side)
+
+    then_circ = QuantumCircuit(*circ.qregs, *circ.cregs)
+    _add_operation(then_circ, op.then_operation, qubit_map, clbit_map)
+
+    else_circ: QuantumCircuit | None = None
+    if op.else_operation is not None:
+        else_circ = QuantumCircuit(*circ.qregs, *circ.cregs)
+        _add_operation(else_circ, op.else_operation, qubit_map, clbit_map)
+
+    circ.append(IfElseOp(condition, then_circ, else_circ), circ.qubits, circ.clbits)
+
+
 def _add_operation(
-    circ: QuantumCircuit, op: Operation, qubit_map: Mapping[int, Qubit], clbit_map: Mapping[int, Clbit]
+    circ: QuantumCircuit,
+    op: Operation,
+    qubit_map: Mapping[int, Qubit],
+    clbit_map: Mapping[int, Clbit],
 ) -> None:
     """Add an operation to a Qiskit circuit.
 
@@ -256,7 +322,6 @@ def _add_operation(
 
     Raises:
         TypeError: If the operation type is not supported.
-        NotImplementedError: If the operation type is not yet supported.
     """
     if isinstance(op, StandardOperation):
         _add_standard_operation(circ, op, qubit_map)
@@ -264,9 +329,8 @@ def _add_operation(
         _add_non_unitary_operation(circ, op, qubit_map, clbit_map)
     elif isinstance(op, CompoundOperation):
         _add_compound_operation(circ, op, qubit_map, clbit_map)
-    elif isinstance(op, ClassicControlledOperation):
-        msg = "Conversion of classic-controlled operations to Qiskit is not yet supported."
-        raise NotImplementedError(msg)
+    elif isinstance(op, IfElseOperation):
+        _add_if_else_operation(circ, op, qubit_map, clbit_map)
     else:
         msg = f"Unsupported operation type: {type(op)}"
         raise TypeError(msg)

mqt/core/plugins/qiskit/qiskit_to_mqt.py

@@ -14,12 +14,16 @@ import re
 import warnings
 from typing import TYPE_CHECKING, cast
 
-from qiskit.circuit import AncillaRegister, Clbit, Qubit
+from qiskit.circuit import AncillaRegister, Clbit
+from qiskit.circuit import ClassicalRegister as QiskitClassicalRegister
+from qiskit.circuit.classical import expr
 
 from ...ir import QuantumComputation
 from ...ir.operations import (
+    ComparisonKind,
     CompoundOperation,
     Control,
+    IfElseOperation,
     NonUnitaryOperation,
     OpType,
     StandardOperation,
@@ -30,7 +34,10 @@ from ...ir.symbolic import Expression, Term, Variable
 if TYPE_CHECKING:
     from collections.abc import Mapping, Sequence
 
-    from qiskit.circuit import Instruction, ParameterExpression, QuantumCircuit
+    from qiskit.circuit import IfElseOp, Instruction, ParameterExpression, QuantumCircuit, Qubit
+
+    from ...ir.operations import Operation
+    from ...ir.registers import ClassicalRegister
 
 
 __all__ = ["qiskit_to_mqt"]
@@ -98,6 +105,7 @@ def qiskit_to_mqt(circ: QuantumCircuit) -> QuantumComputation:
             instruction.operation.params,
             qubit_map,
             clbit_map,
+            qc.cregs,
         )
         for symb_param in symb_params:
             qc.add_variable(symb_param)
@@ -166,6 +174,7 @@ _NATIVELY_SUPPORTED_GATES = frozenset({
     "rzz",
     "xx_minus_yy",
     "xx_plus_yy",
+    "if_else",
     "reset",
     "barrier",
     "measure",
@@ -180,12 +189,13 @@ def _emplace_operation(
     params: Sequence[float | ParameterExpression],
     qubit_map: Mapping[Qubit, int],
     clbit_map: Mapping[Clbit, int],
+    cregs: Mapping[str, ClassicalRegister],
 ) -> list[float | ParameterExpression]:
     name = instr.name
 
     if name not in _NATIVELY_SUPPORTED_GATES:
         try:
-            return _import_definition(qc, instr.definition, qargs, cargs, qubit_map, clbit_map)
+            return _import_definition(qc, instr.definition, qargs, cargs, qubit_map, clbit_map, cregs)
         except Exception as ex:  # PRAGMA: NO COVER
             msg = f"Unsupported gate {name} with definition {instr.definition}"
             raise NotImplementedError(msg) from ex
@@ -303,6 +313,9 @@ def _emplace_operation(
     if name == "xx_plus_yy":
         return _add_two_target_operation(qc, OpType.xx_plus_yy, qargs, params, qubit_map)
 
+    if name == "if_else":
+        return _add_if_else_operation(qc, instr, qargs, cargs, qubit_map, clbit_map, cregs)
+
     msg = f"Unsupported gate {name}"  # pragma: no cover
     raise NotImplementedError(msg)
 
@@ -393,6 +406,94 @@ def _add_two_target_operation(
     return parameters
 
 
+def _add_if_else_operation(
+    qc: QuantumComputation | CompoundOperation,
+    if_else_op: IfElseOp,
+    qargs: Sequence[Qubit],
+    cargs: Sequence[Clbit],
+    qubit_map: Mapping[Qubit, int],
+    clbit_map: Mapping[Clbit, int],
+    cregs: Mapping[str, ClassicalRegister],
+) -> list[float | ParameterExpression]:
+    then_operation_compound = CompoundOperation()
+    then_params = _import_definition(
+        then_operation_compound,
+        if_else_op.params[0],
+        qargs,
+        cargs,
+        qubit_map,
+        clbit_map,
+        cregs,
+    )
+    then_operation: Operation = then_operation_compound[0]
+    if isinstance(then_operation, CompoundOperation) and len(then_operation) == 1:
+        then_operation = then_operation[0]
+
+    else_operation: Operation | None = None
+    else_params: list[float | ParameterExpression] = []
+    if if_else_op.params[1] is not None:
+        else_operation_compound = CompoundOperation()
+        else_params = _import_definition(
+            else_operation_compound,
+            if_else_op.params[1],
+            qargs,
+            cargs,
+            qubit_map,
+            clbit_map,
+            cregs,
+        )
+        else_operation = else_operation_compound[0]
+        if isinstance(else_operation, CompoundOperation) and len(else_operation) == 1:
+            else_operation = else_operation[0]
+
+    condition = if_else_op.condition
+    if isinstance(condition, tuple):
+        assert len(condition) == 2
+        classical_control = condition[0]
+        expected_value = condition[1]
+        comparison_kind = ComparisonKind.eq
+    else:
+        assert isinstance(condition, expr.Binary)
+        classical_control = condition.left.var
+        expected_value = condition.right.value
+        if condition.op == expr.Binary.Op.EQUAL:
+            comparison_kind = ComparisonKind.eq
+        elif condition.op == expr.Binary.Op.NOT_EQUAL:
+            comparison_kind = ComparisonKind.neq
+        elif condition.op == expr.Binary.Op.LESS:
+            comparison_kind = ComparisonKind.lt
+        elif condition.op == expr.Binary.Op.LESS_EQUAL:
+            comparison_kind = ComparisonKind.leq
+        elif condition.op == expr.Binary.Op.GREATER:
+            comparison_kind = ComparisonKind.gt
+        elif condition.op == expr.Binary.Op.GREATER_EQUAL:
+            comparison_kind = ComparisonKind.geq
+        else:
+            msg = f"Unsupported binary operation {condition.op}"
+            raise TypeError(msg)
+
+    if isinstance(classical_control, Clbit):
+        if_else_operation = IfElseOperation(
+            then_operation,
+            else_operation,
+            clbit_map[classical_control],
+            bool(expected_value),
+            comparison_kind,
+        )
+    else:
+        assert isinstance(classical_control, QiskitClassicalRegister)
+        if_else_operation = IfElseOperation(
+            then_operation,
+            else_operation,
+            cregs[classical_control.name],
+            int(expected_value),
+            comparison_kind,
+        )
+    qc.append(if_else_operation)
+
+    return then_params + else_params
+
+
 def _import_layouts(qc: QuantumComputation, circ: QuantumCircuit) -> None:
     qc.initial_layout.clear()
     initial_index_layout = circ.layout.initial_index_layout()
@@ -430,9 +531,10 @@ def _import_definition(
     cargs: Sequence[Clbit],
     qubit_map: Mapping[Qubit, int],
     clbit_map: Mapping[Clbit, int],
+    cregs: Mapping[str, ClassicalRegister],
 ) -> list[float | ParameterExpression]:
-    qarg_map = dict(zip(circ.qubits, qargs))
-    carg_map = dict(zip(circ.clbits, cargs))
+    qarg_map = dict(zip(circ.qubits, qargs, strict=False))
+    carg_map = dict(zip(circ.clbits, cargs, strict=False))
 
     qc.append(CompoundOperation())
     comp_op = cast("CompoundOperation", qc[-1])
@@ -450,6 +552,7 @@ def _import_definition(
             operation.params,
             qubit_map,
             clbit_map,
+            cregs,
         )
         params.extend(new_params)
     return params

mqt/core/share/cmake/mqt-core/AddMQTPythonBinding.cmake

@@ -41,6 +41,9 @@ function(add_mqt_python_binding package_name target_name)
   # add project libraries to the link libraries
   list(APPEND ARG_LINK_LIBS MQT::ProjectOptions MQT::ProjectWarnings)
 
+  # Set c++ standard
+  target_compile_features(${target_name} PRIVATE cxx_std_20)
+
   # link the required libraries
   target_link_libraries(${target_name} PRIVATE ${ARG_LINK_LIBS})