qiskit 2.0.3__cp39-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.whl

qiskit/visualization/circuit/text.py

@@ -0,0 +1,1849 @@
+# This code is part of Qiskit.
+#
+# (C) Copyright IBM 2017, 2018.
+#
+# This code is licensed under the Apache License, Version 2.0. You may
+# obtain a copy of this license in the LICENSE.txt file in the root directory
+# of this source tree or at http://www.apache.org/licenses/LICENSE-2.0.
+#
+# Any modifications or derivative works of this code must retain this
+# copyright notice, and modified files need to carry a notice indicating
+# that they have been altered from the originals.
+
+"""
+A module for drawing circuits in ascii art or some other text representation
+"""
+
+from io import StringIO
+from warnings import warn
+from shutil import get_terminal_size
+import collections
+import sys
+
+from qiskit.circuit import Qubit, Clbit, ClassicalRegister, CircuitError
+from qiskit.circuit import ControlledGate, Reset, Measure
+from qiskit.circuit import ControlFlowOp, WhileLoopOp, IfElseOp, ForLoopOp, SwitchCaseOp, BoxOp
+from qiskit.circuit.classical import expr
+from qiskit.circuit.controlflow import node_resources
+from qiskit.circuit.library.standard_gates import IGate, RZZGate, SwapGate, SXGate, SXdgGate
+from qiskit.circuit.annotated_operation import _canonicalize_modifiers, ControlModifier
+from qiskit.circuit.tools.pi_check import pi_check
+from qiskit.qasm3 import ast
+from qiskit.qasm3.printer import BasicPrinter
+from qiskit.qasm3.exporter import _ExprBuilder
+
+from ._utils import (
+    get_gate_ctrl_text,
+    get_param_str,
+    get_wire_map,
+    get_bit_register,
+    get_bit_reg_index,
+    get_wire_label,
+    get_condition_label_val,
+    _get_layered_instructions,
+)
+from ..exceptions import VisualizationError
+
+# Indicators for left, middle, and right of control flow gates
+CF_LEFT = 0
+CF_MID = 1
+CF_RIGHT = 2
+
+
+class TextDrawerEncodingError(VisualizationError):
+    """A problem with encoding"""
+
+    pass
+
+
+class DrawElement:
+    """An element is an operation that needs to be drawn."""
+
+    def __init__(self, label=None):
+        self._width = None
+        self.label = self.mid_content = label
+        self.top_format = self.mid_format = self.bot_format = "%s"
+        self.top_connect = self.bot_connect = " "
+        self.top_pad = self._mid_padding = self.bot_pad = " "
+        self.mid_bck = self.top_bck = self.bot_bck = " "
+        self.bot_connector = {}
+        self.top_connector = {}
+        self.right_fill = self.left_fill = self.layer_width = 0
+        self.wire_label = ""
+
+    @property
+    def top(self):
+        """Constructs the top line of the element"""
+        if (self.width % 2) == 0 and len(self.top_format) % 2 == 1 and len(self.top_connect) == 1:
+            ret = self.top_format % (self.top_pad + self.top_connect).center(
+                self.width, self.top_pad
+            )
+        else:
+            ret = self.top_format % self.top_connect.center(self.width, self.top_pad)
+        if self.right_fill:
+            ret = ret.ljust(self.right_fill, self.top_pad)
+        if self.left_fill:
+            ret = ret.rjust(self.left_fill, self.top_pad)
+        ret = ret.center(self.layer_width, self.top_bck)
+        return ret
+
+    @property
+    def mid(self):
+        """Constructs the middle line of the element"""
+        ret = self.mid_format % self.mid_content.center(self.width, self._mid_padding)
+        if self.right_fill:
+            ret = ret.ljust(self.right_fill, self._mid_padding)
+        if self.left_fill:
+            ret = ret.rjust(self.left_fill, self._mid_padding)
+        ret = ret.center(self.layer_width, self.mid_bck)
+        return ret
+
+    @property
+    def bot(self):
+        """Constructs the bottom line of the element"""
+        if (self.width % 2) == 0 and len(self.top_format) % 2 == 1:
+            ret = self.bot_format % (self.bot_pad + self.bot_connect).center(
+                self.width, self.bot_pad
+            )
+        else:
+            ret = self.bot_format % self.bot_connect.center(self.width, self.bot_pad)
+        if self.right_fill:
+            ret = ret.ljust(self.right_fill, self.bot_pad)
+        if self.left_fill:
+            ret = ret.rjust(self.left_fill, self.bot_pad)
+        ret = ret.center(self.layer_width, self.bot_bck)
+        return ret
+
+    @property
+    def length(self):
+        """Returns the length of the element, including the box around."""
+        return max(len(self.top), len(self.mid), len(self.bot))
+
+    @property
+    def width(self):
+        """Returns the width of the label, including padding"""
+        if self._width:
+            return self._width
+        return len(self.mid_content)
+
+    @width.setter
+    def width(self, value):
+        self._width = value
+
+    def connect(self, wire_char, where, label=None):
+        """Connects boxes and elements using wire_char and setting proper connectors.
+
+        Args:
+            wire_char (char): For example '║' or '│'.
+            where (list["top", "bot"]): Where the connector should be set.
+            label (string): Some connectors have a label (see cu1, for example).
+        """
+
+        if "top" in where and self.top_connector:
+            self.top_connect = self.top_connector[wire_char]
+
+        if "bot" in where and self.bot_connector:
+            self.bot_connect = self.bot_connector[wire_char]
+
+        if label:
+            self.top_format = self.top_format[:-1] + (label if label else "")
+
+
+class BoxOnClWire(DrawElement):
+    """Draws a box on the classical wire.
+
+    ::
+
+        top: ┌───┐   ┌───┐
+        mid: ╡ A ╞ ══╡ A ╞══
+        bot: └───┘   └───┘
+    """
+
+    def __init__(self, label="", top_connect="─", bot_connect="─"):
+        super().__init__(label)
+        self.top_format = "┌─%s─┐"
+        self.mid_format = "╡ %s ╞"
+        self.bot_format = "└─%s─┘"
+        self.top_pad = self.bot_pad = "─"
+        self.mid_bck = "═"
+        self.top_connect = top_connect
+        self.bot_connect = bot_connect
+        self.mid_content = label
+
+
+class BoxOnQuWire(DrawElement):
+    """Draws a box on the quantum wire.
+
+    ::
+
+        top: ┌───┐   ┌───┐
+        mid: ┤ A ├ ──┤ A ├──
+        bot: └───┘   └───┘
+    """
+
+    def __init__(self, label="", top_connect="─", conditional=False):
+        super().__init__(label)
+        self.top_format = "┌─%s─┐"
+        self.mid_format = "┤ %s ├"
+        self.bot_format = "└─%s─┘"
+        self.top_pad = self.bot_pad = self.mid_bck = "─"
+        self.top_connect = top_connect
+        self.bot_connect = "╥" if conditional else "─"
+        self.mid_content = label
+        self.top_connector = {"│": "┴"}
+        self.bot_connector = {"│": "┬"}
+
+
+class MeasureTo(DrawElement):
+    """The element on the classic wire to which the measure is performed.
+
+    ::
+
+        top:  ║     ║
+        mid: ═╩═ ═══╩═══
+        bot:
+    """
+
+    def __init__(self, label=""):
+        super().__init__()
+        self.top_connect = " ║ "
+        self.mid_content = "═╩═"
+        self.bot_connect = label
+        self.mid_bck = "═"
+
+
+class MeasureFrom(BoxOnQuWire):
+    """The element on the quantum wire in which the measure is performed.
+
+    ::
+
+        top: ┌─┐    ┌─┐
+        mid: ┤M├ ───┤M├───
+        bot: └╥┘    └╥┘
+    """
+
+    def __init__(self):
+        super().__init__()
+        self.top_format = self.mid_format = self.bot_format = "%s"
+        self.top_connect = "┌─┐"
+        self.mid_content = "┤M├"
+        self.bot_connect = "└╥┘"
+
+        self.top_pad = self.bot_pad = " "
+        self._mid_padding = "─"
+
+
+class MultiBox(DrawElement):
+    """Elements that are drawn over multiple wires."""
+
+    def center_label(self, input_length, order):
+        """In multi-bit elements, the label is centered vertically.
+
+        Args:
+            input_length (int): Rhe amount of wires affected.
+            order (int): Which middle element is this one?
+        """
+        if input_length == order == 0:
+            self.top_connect = self.label
+            return
+        location_in_the_box = "*".center(input_length * 2 - 1).index("*") + 1
+        top_limit = order * 2 + 2
+        bot_limit = top_limit + 2
+        if top_limit <= location_in_the_box < bot_limit:
+            if location_in_the_box == top_limit:
+                self.top_connect = self.label
+            elif location_in_the_box == top_limit + 1:
+                self.mid_content = self.label
+            else:
+                self.bot_connect = self.label
+
+    @property
+    def width(self):
+        """Returns the width of the label, including padding"""
+        if self._width:
+            return self._width
+        return len(self.label)
+
+
+class BoxOnQuWireTop(MultiBox, BoxOnQuWire):
+    """Draws the top part of a box that affects more than one quantum wire"""
+
+    def __init__(self, label="", top_connect=None, wire_label=""):
+        super().__init__(label)
+        self.wire_label = wire_label
+        self.bot_connect = self.bot_pad = " "
+        self.mid_content = ""  # The label will be put by some other part of the box.
+        self.left_fill = len(self.wire_label)
+        self.top_format = "┌─" + "s".center(self.left_fill + 1, "─") + "─┐"
+        self.top_format = self.top_format.replace("s", "%s")
+        self.mid_format = f"┤{self.wire_label} %s ├"
+        self.bot_format = f"│{self.bot_pad * self.left_fill} %s │"
+        self.top_connect = top_connect if top_connect else "─"
+
+
+class BoxOnWireMid(MultiBox):
+    """A generic middle box"""
+
+    def __init__(self, label, input_length, order, wire_label=""):
+        super().__init__(label)
+        self.top_pad = self.bot_pad = self.top_connect = self.bot_connect = " "
+        self.wire_label = wire_label
+        self.left_fill = len(self.wire_label)
+        self.top_format = f"│{self.top_pad * self.left_fill} %s │"
+        self.bot_format = f"│{self.bot_pad * self.left_fill} %s │"
+        self.top_connect = self.bot_connect = self.mid_content = ""
+        self.center_label(input_length, order)
+
+
+class BoxOnQuWireMid(BoxOnWireMid, BoxOnQuWire):
+    """Draws the middle part of a box that affects more than one quantum wire"""
+
+    def __init__(self, label, input_length, order, wire_label="", control_label=None):
+        super().__init__(label, input_length, order, wire_label=wire_label)
+        if control_label:
+            self.mid_format = f"{control_label}{self.wire_label} %s ├"
+        else:
+            self.mid_format = f"┤{self.wire_label} %s ├"
+
+
+class BoxOnQuWireBot(MultiBox, BoxOnQuWire):
+    """Draws the bottom part of a box that affects more than one quantum wire"""
+
+    def __init__(self, label, input_length, bot_connect=None, wire_label="", conditional=False):
+        super().__init__(label)
+        self.wire_label = wire_label
+        self.top_pad = " "
+        self.left_fill = len(self.wire_label)
+        self.top_format = f"│{self.top_pad * self.left_fill} %s │"
+        self.mid_format = f"┤{self.wire_label} %s ├"
+        self.bot_format = "└─" + "s".center(self.left_fill + 1, "─") + "─┘"
+        self.bot_format = self.bot_format.replace("s", "%s")
+        bot_connect = bot_connect if bot_connect else "─"
+        self.bot_connect = "╥" if conditional else bot_connect
+
+        self.mid_content = self.top_connect = ""
+        if input_length <= 2:
+            self.top_connect = label
+
+
+class FlowOnQuWire(DrawElement):
+    """Draws a box for a ControlFlowOp using a single qubit."""
+
+    def __init__(self, section, label="", top_connect="─", conditional=False):
+        super().__init__(label)
+        if section == CF_RIGHT:
+            self.top_format = " ─%s─┐"
+            self.mid_format = "  %s ├"
+            self.bot_format = " ─%s─┘"
+        else:
+            self.top_format = "┌─%s─ "
+            self.mid_format = "┤ %s  "
+            self.bot_format = "└─%s─ "
+        self.top_pad = self.bot_pad = self.mid_bck = "─"
+        self.top_connect = top_connect
+        self.bot_connect = "╥" if conditional else "─"
+        self.mid_content = label
+        self.top_connector = {"│": "┴"}
+        self.bot_connector = {"│": "┬"}
+
+
+class FlowOnQuWireTop(MultiBox, BoxOnQuWire):
+    """Draws the top of a box for a ControlFlowOp that uses more than one qubit."""
+
+    def __init__(self, section, label="", top_connect=None, wire_label=""):
+        super().__init__(label)
+        self.wire_label = wire_label
+        self.bot_connect = self.bot_pad = " "
+        self.mid_content = ""  # The label will be put by some other part of the box.
+        self.left_fill = len(self.wire_label)
+        if section == CF_RIGHT:
+            self.top_format = "s".center(self.left_fill + 2, "─") + "─┐"
+            self.top_format = self.top_format.replace("s", "%s")
+            self.mid_format = f" {self.wire_label} %s ├"
+            self.bot_format = f" {self.bot_pad * self.left_fill} %s │"
+        else:
+            self.top_format = "┌─" + "s".center(self.left_fill + 2, "─") + " "
+            self.top_format = self.top_format.replace("s", "%s")
+            self.mid_format = f"┤{self.wire_label} %s  "
+            self.bot_format = f"│{self.bot_pad * self.left_fill} %s  "
+        self.top_connect = top_connect if top_connect else "─"
+
+
+class FlowOnQuWireMid(MultiBox, BoxOnQuWire):
+    """Draws the middle of a box for a ControlFlowOp that uses more than one qubit."""
+
+    def __init__(self, section, label, input_length, order, wire_label=""):
+        super().__init__(label)
+        self.top_pad = self.bot_pad = self.top_connect = self.bot_connect = " "
+        self.wire_label = wire_label
+        self.left_fill = len(self.wire_label)
+        if section == CF_RIGHT:
+            self.top_format = f" {self.top_pad * self.left_fill} %s │"
+            self.bot_format = f" {self.bot_pad * self.left_fill} %s │"
+            self.mid_format = f" {self.wire_label} %s ├"
+        else:
+            self.top_format = f"│{self.top_pad * self.left_fill} %s  "
+            self.bot_format = f"│{self.bot_pad * self.left_fill} %s  "
+            self.mid_format = f"┤{self.wire_label} %s  "
+        self.top_connect = self.bot_connect = self.mid_content = ""
+        self.center_label(input_length, order)
+
+
+class FlowOnQuWireBot(MultiBox, BoxOnQuWire):
+    """Draws the bottom of a box for a ControlFlowOp that uses more than one qubit."""
+
+    def __init__(
+        self,
+        section,
+        label,
+        input_length,
+        bot_connect=None,
+        wire_label="",
+        conditional=False,
+    ):
+        super().__init__(label)
+        self.wire_label = wire_label
+        self.top_pad = " "
+        self.left_fill = len(self.wire_label)
+        if section == CF_RIGHT:
+            self.top_format = f" {self.top_pad * self.left_fill} %s │"
+            self.mid_format = f" {self.wire_label} %s ├"
+            self.bot_format = " " + "s".center(self.left_fill + 2, "─") + "─┘"
+            self.bot_format = self.bot_format.replace("s", "%s")
+        else:
+            self.top_format = f"│{self.top_pad * self.left_fill} %s  "
+            self.mid_format = f"┤{self.wire_label} %s  "
+            self.bot_format = "└─" + "s".center(self.left_fill + 2, "─") + " "
+            self.bot_format = self.bot_format.replace("s", "%s")
+        bot_connect = bot_connect if bot_connect else "─"
+        self.bot_connect = "╥" if conditional else bot_connect
+
+        self.mid_content = self.top_connect = ""
+        if input_length <= 2:
+            self.top_connect = label
+
+
+class BoxOnClWireTop(MultiBox, BoxOnClWire):
+    """Draws the top part of a conditional box that affects more than one classical wire"""
+
+    def __init__(self, label="", top_connect=None, wire_label=""):
+        super().__init__(label)
+        self.wire_label = wire_label
+        self.mid_content = ""  # The label will be put by some other part of the box.
+        self.bot_format = "│ %s │"
+        self.top_connect = top_connect if top_connect else "─"
+        self.bot_connect = self.bot_pad = " "
+
+
+class BoxOnClWireMid(BoxOnWireMid, BoxOnClWire):
+    """Draws the middle part of a conditional box that affects more than one classical wire"""
+
+    def __init__(self, label, input_length, order, wire_label="", **_):
+        super().__init__(label, input_length, order, wire_label=wire_label)
+        self.mid_format = f"╡{self.wire_label} %s ╞"
+
+
+class BoxOnClWireBot(MultiBox, BoxOnClWire):
+    """Draws the bottom part of a conditional box that affects more than one classical wire"""
+
+    def __init__(self, label, input_length, bot_connect="─", wire_label="", **_):
+        super().__init__(label)
+        self.wire_label = wire_label
+        self.left_fill = len(self.wire_label)
+        self.top_pad = " "
+        self.bot_pad = "─"
+        self.top_format = f"│{self.top_pad * self.left_fill} %s │"
+        self.mid_format = f"╡{self.wire_label} %s ╞"
+        self.bot_format = "└─" + "s".center(self.left_fill + 1, "─") + "─┘"
+        self.bot_format = self.bot_format.replace("s", "%s")
+        bot_connect = bot_connect if bot_connect else "─"
+        self.bot_connect = bot_connect
+
+        self.mid_content = self.top_connect = ""
+        if input_length <= 2:
+            self.top_connect = label
+
+
+class DirectOnQuWire(DrawElement):
+    """
+    Element to the wire (without the box).
+    """
+
+    def __init__(self, label=""):
+        super().__init__(label)
+        self.top_format = " %s "
+        self.mid_format = "─%s─"
+        self.bot_format = " %s "
+        self._mid_padding = self.mid_bck = "─"
+        self.top_connector = {"│": "│", "║": "║"}
+        self.bot_connector = {"│": "│", "║": "║"}
+
+
+class Barrier(DirectOnQuWire):
+    """Draws a barrier with a label at the top if there is one.
+
+    ::
+
+        top:  ░   label
+        mid: ─░─ ───░───
+        bot:  ░     ░
+    """
+
+    def __init__(self, label=""):
+        super().__init__("░")
+        self.top_connect = label if label else "░"
+        self.bot_connect = "░"
+        self.top_connector = {}
+        self.bot_connector = {}
+
+
+class Ex(DirectOnQuWire):
+    """Draws an X (usually with a connector). E.g. the top part of a swap gate.
+
+    ::
+
+        top:
+        mid: ─X─ ───X───
+        bot:  │     │
+    """
+
+    def __init__(self, bot_connect=" ", top_connect=" ", conditional=False):
+        super().__init__("X")
+        self.bot_connect = "║" if conditional else bot_connect
+        self.top_connect = top_connect
+
+
+class ResetDisplay(DirectOnQuWire):
+    """Draws a reset gate"""
+
+    def __init__(self, conditional=False):
+        super().__init__("|0>")
+        if conditional:
+            self.bot_connect = "║"
+
+
+class Bullet(DirectOnQuWire):
+    """Draws a bullet (usually with a connector). E.g. the top part of a CX gate.
+
+    ::
+
+        top:
+        mid: ─■─  ───■───
+        bot:  │      │
+    """
+
+    def __init__(self, top_connect="", bot_connect="", conditional=False, label=None, bottom=False):
+        super().__init__("■")
+        self.conditional = conditional
+        self.top_connect = top_connect
+        self.bot_connect = "║" if conditional else bot_connect
+        if label and bottom:
+            self.bot_connect = label
+        elif label:
+            self.top_connect = label
+        self.mid_bck = "─"
+
+
+class OpenBullet(DirectOnQuWire):
+    """Draws an open bullet (usually with a connector). E.g. the top part of a CX gate.
+
+    ::
+
+        top:
+        mid: ─o─  ───o───
+        bot:  │      │
+    """
+
+    def __init__(self, top_connect="", bot_connect="", conditional=False, label=None, bottom=False):
+        super().__init__("o")
+        self.conditional = conditional
+        self.top_connect = top_connect
+        self.bot_connect = "║" if conditional else bot_connect
+        if label and bottom:
+            self.bot_connect = label
+        elif label:
+            self.top_connect = label
+        self.mid_bck = "─"
+
+
+class DirectOnClWire(DrawElement):
+    """
+    Element to the classical wire (without the box).
+    """
+
+    def __init__(self, label=""):
+        super().__init__(label)
+        self.top_format = " %s "
+        self.mid_format = "═%s═"
+        self.bot_format = " %s "
+        self._mid_padding = self.mid_bck = "═"
+        self.top_connector = {"│": "│", "║": "║"}
+        self.bot_connector = {"│": "│", "║": "║"}
+
+
+class ClBullet(DirectOnClWire):
+    """Draws a bullet on classical wire (usually with a connector). E.g. the top part of a CX gate.
+
+    ::
+
+        top:
+        mid: ═■═  ═══■═══
+        bot:  │      │
+    """
+
+    def __init__(self, top_connect="", bot_connect="", conditional=False, label=None, bottom=False):
+        super().__init__("■")
+        self.top_connect = top_connect
+        self.bot_connect = "║" if conditional else bot_connect
+        if label and bottom:
+            self.bot_connect = label
+        elif label:
+            self.top_connect = label
+        self.mid_bck = "═"
+
+
+class ClOpenBullet(DirectOnClWire):
+    """Draws an open bullet on classical wire (usually with a connector). E.g. the top part of a CX gate.
+
+    ::
+
+        top:
+        mid: ═o═  ═══o═══
+        bot:  │      │
+    """
+
+    def __init__(self, top_connect="", bot_connect="", conditional=False, label=None, bottom=False):
+        super().__init__("o")
+        self.top_connect = top_connect
+        self.bot_connect = "║" if conditional else bot_connect
+        if label and bottom:
+            self.bot_connect = label
+        elif label:
+            self.top_connect = label
+        self.mid_bck = "═"
+
+
+class EmptyWire(DrawElement):
+    """This element is just the wire, with no operations."""
+
+    def __init__(self, wire):
+        super().__init__(wire)
+        self._mid_padding = self.mid_bck = wire
+
+    @staticmethod
+    def fillup_layer(layer, first_clbit):
+        """Given a layer, replace the Nones in it with EmptyWire elements.
+
+        Args:
+            layer (list): The layer that contains Nones.
+            first_clbit (int): The first wire that is classic.
+
+        Returns:
+            list: The new layer, with no Nones.
+        """
+        for nones in [i for i, x in enumerate(layer) if x is None]:
+            layer[nones] = EmptyWire("═") if nones >= first_clbit else EmptyWire("─")
+        return layer
+
+
+class BreakWire(DrawElement):
+    """This element is used to break the drawing in several pages."""
+
+    def __init__(self, arrow_char):
+        super().__init__()
+        self.top_format = self.mid_format = self.bot_format = "%s"
+        self.top_connect = arrow_char
+        self.mid_content = arrow_char
+        self.bot_connect = arrow_char
+
+    @staticmethod
+    def fillup_layer(layer_length, arrow_char):
+        """Creates a layer with BreakWire elements.
+
+        Args:
+            layer_length (int): The length of the layer to create
+            arrow_char (char): The char used to create the BreakWire element.
+
+        Returns:
+            list: The new layer.
+        """
+        breakwire_layer = []
+        for _ in range(layer_length):
+            breakwire_layer.append(BreakWire(arrow_char))
+        return breakwire_layer
+
+
+class InputWire(DrawElement):
+    """This element is the label and the initial value of a wire."""
+
+    def __init__(self, label):
+        super().__init__(label)
+
+    @staticmethod
+    def fillup_layer(names):
+        """Creates a layer with InputWire elements.
+
+        Args:
+            names (list): List of names for the wires.
+
+        Returns:
+            list: The new layer
+        """
+        longest = max(len(name) for name in names)
+        inputs_wires = []
+        for name in names:
+            inputs_wires.append(InputWire(name.rjust(longest)))
+        return inputs_wires
+
+
+class TextDrawing:
+    """The text drawing"""
+
+    def __init__(
+        self,
+        qubits,
+        clbits,
+        nodes,
+        circuit,
+        reverse_bits=False,
+        plotbarriers=True,
+        line_length=None,
+        vertical_compression="high",
+        initial_state=True,
+        cregbundle=None,
+        encoding=None,
+        with_layout=False,
+        expr_len=30,
+    ):
+        self.qubits = qubits
+        self.clbits = clbits
+        self.nodes = nodes
+        self._circuit = circuit
+        if with_layout:
+            if self._circuit._layout:
+                self.layout = self._circuit._layout.initial_layout
+            else:
+                self.layout = None
+        else:
+            self.layout = None
+
+        self.initial_state = initial_state
+        self.global_phase = circuit.global_phase
+        self.plotbarriers = plotbarriers
+        self.reverse_bits = reverse_bits
+        self.line_length = line_length
+        self.expr_len = expr_len
+        if vertical_compression not in ["high", "medium", "low"]:
+            raise ValueError("Vertical compression can only be 'high', 'medium', or 'low'")
+        self.vertical_compression = vertical_compression
+        self._wire_map = {}
+        self.cregbundle = cregbundle
+
+        self.encoding = encoding or sys.stdout.encoding or "utf8"
+
+        self._nest_depth = 0  # nesting depth for control flow ops
+        self._expr_text = ""  # expression text to display
+
+        # Because jupyter calls both __repr__ and __repr_html__ for some backends,
+        # the entire drawer can be run twice which can result in different output
+        # for different backends. This var caches the output so the drawer only runs once.
+        self._single_string = ""
+
+    def __str__(self):
+        return self.single_string()
+
+    def _repr_html_(self):
+        return (
+            '<pre style="word-wrap: normal;'
+            "white-space: pre;"
+            "background: #fff0;"
+            "line-height: 1.1;"
+            'font-family: &quot;Courier New&quot;,Courier,monospace">'
+            f"{self.single_string()}</pre>"
+        )
+
+    def __repr__(self):
+        return self.single_string()
+
+    def single_string(self):
+        """Creates a long string with the ascii art.
+        Returns:
+            str: The lines joined by a newline (``\\n``)
+        """
+        # Because jupyter calls both __repr__ and __repr_html__, this prevents the code
+        # from running twice.
+        if self._single_string:
+            return self._single_string
+        try:
+            self._single_string = (
+                "\n".join(self.lines()).encode(self.encoding).decode(self.encoding)
+            )
+        except (UnicodeEncodeError, UnicodeDecodeError):
+            warn(
+                f"The encoding {self.encoding} has a limited charset."
+                " Consider a different encoding in your "
+                "environment. UTF-8 is being used instead",
+                RuntimeWarning,
+            )
+            self.encoding = "utf-8"
+            self._single_string = (
+                "\n".join(self.lines()).encode(self.encoding).decode(self.encoding)
+            )
+        return self._single_string
+
+    def dump(self, filename, encoding=None):
+        """Dumps the ascii art in the file.
+
+        Args:
+            filename (str): File to dump the ascii art.
+            encoding (str): Optional. Force encoding, instead of self.encoding.
+        """
+        with open(filename, mode="w", encoding=encoding or self.encoding) as text_file:
+            text_file.write(self.single_string())
+
+    def lines(self, line_length=None):
+        """Generates a list with lines. These lines form the text drawing.
+
+        Args:
+            line_length (int): Optional. Breaks the circuit drawing to this length. This is
+                               useful when the drawing does not fit in the console. If
+                               None (default), it will try to guess the console width using
+                               shutil.get_terminal_size(). If you don't want pagination
+                               at all, set line_length=-1.
+
+        Returns:
+            list: A list of lines with the text drawing.
+        """
+        if line_length is None:
+            line_length = self.line_length
+        if not line_length:
+            if ("ipykernel" in sys.modules) and ("spyder" not in sys.modules):
+                line_length = 80
+            else:
+                line_length, _ = get_terminal_size()
+
+        noqubits = len(self.qubits)
+
+        layers = self.build_layers()
+        layer_groups = [[]]
+        rest_of_the_line = line_length
+        for layerno, layer in enumerate(layers):
+            # Replace the Nones with EmptyWire
+            layers[layerno] = EmptyWire.fillup_layer(layer, noqubits)
+
+            TextDrawing.normalize_width(layer)
+
+            if line_length == -1:
+                # Do not use pagination (aka line breaking. aka ignore line_length).
+                layer_groups[-1].append(layer)
+                continue
+
+            # chop the layer to the line_length (pager)
+            layer_length = layers[layerno][0].length
+
+            if layer_length < rest_of_the_line:
+                layer_groups[-1].append(layer)
+                rest_of_the_line -= layer_length
+            else:
+                layer_groups[-1].append(BreakWire.fillup_layer(len(layer), "»"))
+
+                # New group
+                layer_groups.append([BreakWire.fillup_layer(len(layer), "«")])
+                rest_of_the_line = line_length - layer_groups[-1][-1][0].length
+
+                layer_groups[-1].append(
+                    InputWire.fillup_layer(self.wire_names(with_initial_state=False))
+                )
+                rest_of_the_line -= layer_groups[-1][-1][0].length
+
+                layer_groups[-1].append(layer)
+                rest_of_the_line -= layer_groups[-1][-1][0].length
+
+        lines = []
+
+        if self.global_phase:
+            lines.append(f"global phase: {pi_check(self.global_phase, ndigits=5)}")
+
+        for layer_group in layer_groups:
+            wires = list(zip(*layer_group))
+            lines += self.draw_wires(wires)
+
+        return lines
+
+    def wire_names(self, with_initial_state=False):
+        """Returns a list of names for each wire.
+
+        Args:
+            with_initial_state (bool): Optional (Default: False). If true, adds
+                the initial value to the name.
+
+        Returns:
+            List: The list of wire names.
+        """
+        if with_initial_state:
+            initial_qubit_value = "|0>"
+            initial_clbit_value = "0 "
+        else:
+            initial_qubit_value = ""
+            initial_clbit_value = ""
+
+        self._wire_map = get_wire_map(self._circuit, (self.qubits + self.clbits), self.cregbundle)
+        wire_labels = []
+        for wire, index in self._wire_map.items():
+            if isinstance(wire, ClassicalRegister):
+                register = wire
+            else:
+                register, bit_index, reg_index = get_bit_reg_index(self._circuit, wire)
+                index = bit_index if register is None else reg_index
+
+            wire_label = get_wire_label(
+                "text", register, index, layout=self.layout, cregbundle=self.cregbundle
+            )
+            wire_label += " " if self.layout is not None and isinstance(wire, Qubit) else ": "
+
+            cregb_add = ""
+            if isinstance(wire, Qubit):
+                initial_bit_value = initial_qubit_value
+            else:
+                initial_bit_value = initial_clbit_value
+                if self.cregbundle and register is not None:
+                    cregb_add = str(register.size) + "/"
+            wire_labels.append(wire_label + initial_bit_value + cregb_add)
+
+        return wire_labels
+
+    def should_compress(self, top_line, bot_line):
+        """Decides if the top_line and bot_line should be merged,
+        based on `self.vertical_compression`."""
+        if self.vertical_compression == "high":
+            return True
+        if self.vertical_compression == "low":
+            return False
+        for top, bot in zip(top_line, bot_line):
+            if top in ["┴", "╨"] and bot in ["┬", "╥"]:
+                return False
+            if (top.isalnum() and bot != " ") or (bot.isalnum() and top != " "):
+                return False
+        return True
+
+    def draw_wires(self, wires):
+        """Given a list of wires, creates a list of lines with the text drawing.
+
+        Args:
+            wires (list): A list of wires with nodes.
+        Returns:
+            list: A list of lines with the text drawing.
+        """
+        lines = []
+        bot_line = None
+        for wire in wires:
+            # TOP
+            top_line = ""
+            for node in wire:
+                top_line += node.top
+
+            if bot_line is None:
+                lines.append(top_line)
+            else:
+                if self.should_compress(top_line, bot_line):
+                    lines.append(TextDrawing.merge_lines(lines.pop(), top_line))
+                else:
+                    lines.append(TextDrawing.merge_lines(lines[-1], top_line, icod="bot"))
+
+            # MID
+            mid_line = ""
+            for node in wire:
+                mid_line += node.mid
+            lines.append(TextDrawing.merge_lines(lines[-1], mid_line, icod="bot"))
+
+            # BOT
+            bot_line = ""
+            for node in wire:
+                bot_line += node.bot
+            lines.append(TextDrawing.merge_lines(lines[-1], bot_line, icod="bot"))
+
+        return lines
+
+    @staticmethod
+    def special_label(node):
+        """Some instructions have special labels"""
+        labels = {IGate: "I", SXGate: "√X", SXdgGate: "√Xdg"}
+        node_type = getattr(node, "base_class", None)
+        return labels.get(node_type, None)
+
+    @staticmethod
+    def merge_lines(top, bot, icod="top"):
+        """Merges two lines (top and bot) in a way that the overlapping makes sense.
+
+        Args:
+            top (str): the top line
+            bot (str): the bottom line
+            icod (top or bot): in case of doubt, which line should have priority? Default: "top".
+        Returns:
+            str: The merge of both lines.
+        """
+        ret = ""
+        for topc, botc in zip(top, bot):
+            if topc == botc:
+                ret += topc
+            elif topc in "┼╪" and botc == " ":
+                ret += "│"
+            elif topc == " ":
+                ret += botc
+            elif topc in "┬╥" and botc in " ║│" and icod == "top":
+                ret += topc
+            elif topc in "┬" and botc == " " and icod == "bot":
+                ret += "│"
+            elif topc in "╥" and botc == " " and icod == "bot":
+                ret += "║"
+            elif topc in "┬│" and botc == "═":
+                ret += "╪"
+            elif topc in "┬│" and botc == "─":
+                ret += "┼"
+            elif topc in "└┘║│░" and botc == " " and icod == "top":
+                ret += topc
+            elif topc in "─═" and botc == " " and icod == "top":
+                ret += topc
+            elif topc in "─═" and botc == " " and icod == "bot":
+                ret += botc
+            elif topc in "║╥" and botc in "═":
+                ret += "╬"
+            elif topc in "║╥" and botc in "─":
+                ret += "╫"
+            elif topc in "║╫╬" and botc in " ":
+                ret += "║"
+            elif topc in "│┼╪" and botc in " ":
+                ret += "│"
+            elif topc == "└" and botc == "┌" and icod == "top":
+                ret += "├"
+            elif topc == "┘" and botc == "┐" and icod == "top":
+                ret += "┤"
+            elif botc in "┐┌" and icod == "top":
+                ret += "┬"
+            elif topc in "┘└" and botc in "─" and icod == "top":
+                ret += "┴"
+            elif botc == " " and icod == "top":
+                ret += topc
+            else:
+                ret += botc
+        return ret
+
+    @staticmethod
+    def normalize_width(layer):
+        """
+        When the elements of the layer have different widths, sets the width to the max elements.
+
+        Args:
+            layer (list): A list of elements.
+        """
+        nodes = list(filter(lambda x: x is not None, layer))
+        longest = max(node.length for node in nodes)
+        for node in nodes:
+            node.layer_width = longest
+
+    @staticmethod
+    def controlled_wires(node, wire_map, ctrl_text, conditional, mod_control):
+        """
+        Analyzes the node in the layer and checks if the controlled arguments are in
+        the box or out of the box.
+
+        Args:
+            node (DAGNode): node to analyse
+            wire_map (dict): map of qubits/clbits to position
+            ctrl_text (str): text for a control label
+            conditional (bool): is this a node with a condition
+            mod_control (ControlModifier): an instance of a modifier for an
+                AnnotatedOperation
+
+        Returns:
+            Tuple(list, list, list):
+              - tuple: controlled arguments on top of the "node box", and its status
+              - tuple: controlled arguments on bottom of the "node box", and its status
+              - tuple: controlled arguments in the "node box", and its status
+              - the rest of the arguments
+        """
+        op = node.op
+        num_ctrl_qubits = mod_control.num_ctrl_qubits if mod_control else op.num_ctrl_qubits
+        ctrl_qubits = node.qargs[:num_ctrl_qubits]
+        args_qubits = node.qargs[num_ctrl_qubits:]
+        ctrl_state = mod_control.ctrl_state if mod_control else op.ctrl_state
+        ctrl_state = f"{ctrl_state:b}".rjust(num_ctrl_qubits, "0")[::-1]
+
+        in_box = []
+        top_box = []
+        bot_box = []
+
+        qubit_indices = sorted(wire_map[x] for x in wire_map if x in args_qubits)
+
+        for ctrl_qubit in zip(ctrl_qubits, ctrl_state):
+            if min(qubit_indices) > wire_map[ctrl_qubit[0]]:
+                top_box.append(ctrl_qubit)
+            elif max(qubit_indices) < wire_map[ctrl_qubit[0]]:
+                bot_box.append(ctrl_qubit)
+            else:
+                in_box.append(ctrl_qubit)
+
+        gates = []
+        for i in range(len(ctrl_qubits)):
+            # For sidetext gate alignment, need to set every Bullet with
+            # conditional on if there's a condition.
+            if getattr(op, "condition", None) is not None:
+                conditional = True
+            if ctrl_state[i] == "1":
+                gates.append(Bullet(conditional=conditional, label=ctrl_text, bottom=bool(bot_box)))
+            else:
+                gates.append(
+                    OpenBullet(conditional=conditional, label=ctrl_text, bottom=bool(bot_box))
+                )
+        return (gates, top_box, bot_box, in_box, args_qubits)
+
+    def _node_to_gate(self, node, layer, gate_wire_map):
+        """Convert a dag op node into its corresponding Gate object, and establish
+        any connections it introduces between qubits. gate_wire_map is the flow_wire_map
+        if gate is inside a ControlFlowOp, else it's self._wire_map"""
+        op = node.op
+        current_cons = []
+        current_cons_cond = []
+        connection_label = None
+        conditional = False
+        base_gate = getattr(op, "base_gate", None)
+
+        params = get_param_str(op, "text", ndigits=5)
+        if not isinstance(op, (Measure, SwapGate, Reset)) and not getattr(op, "_directive", False):
+            gate_text, ctrl_text, _ = get_gate_ctrl_text(op, "text")
+            gate_text = TextDrawing.special_label(op) or gate_text
+            gate_text = gate_text + params
+
+        if getattr(op, "condition", None) is not None:
+            # conditional
+            current_cons_cond += layer.set_cl_multibox(op.condition, gate_wire_map, top_connect="╨")
+            conditional = True
+
+        # add in a gate that operates over multiple qubits
+        def add_connected_gate(node, gates, layer, current_cons, gate_wire_map):
+            for i, gate in enumerate(gates):
+                actual_index = gate_wire_map[node.qargs[i]]
+                if actual_index not in [i for i, j in current_cons]:
+                    layer.set_qubit(node.qargs[i], gate)
+                    current_cons.append((actual_index, gate))
+
+        # AnnotatedOperation with ControlModifier
+        mod_control = None
+        if getattr(op, "modifiers", None):
+            canonical_modifiers = _canonicalize_modifiers(op.modifiers)
+            for modifier in canonical_modifiers:
+                if isinstance(modifier, ControlModifier):
+                    mod_control = modifier
+                    break
+
+        if isinstance(op, Measure):
+            gate = MeasureFrom()
+            layer.set_qubit(node.qargs[0], gate)
+            register, _, reg_index = get_bit_reg_index(self._circuit, node.cargs[0])
+            if self.cregbundle and register is not None:
+                layer.set_clbit(
+                    node.cargs[0],
+                    MeasureTo(str(reg_index)),
+                )
+            else:
+                layer.set_clbit(node.cargs[0], MeasureTo())
+
+        elif getattr(op, "_directive", False):
+            # barrier
+            if not self.plotbarriers:
+                return layer, current_cons, current_cons_cond, connection_label
+
+            top_qubit = min(node.qargs, key=lambda q: self._wire_map.get(q, float("inf")))
+            for qubit in node.qargs:
+                if qubit in self.qubits:
+                    label = op.label if qubit == top_qubit else ""
+                    layer.set_qubit(qubit, Barrier(label))
+
+        elif isinstance(op, SwapGate):
+            # swap
+            gates = [Ex(conditional=conditional) for _ in range(len(node.qargs))]
+            add_connected_gate(node, gates, layer, current_cons, gate_wire_map)
+
+        elif isinstance(op, Reset):
+            # reset
+            layer.set_qubit(node.qargs[0], ResetDisplay(conditional=conditional))
+
+        elif isinstance(op, RZZGate):
+            # rzz
+            connection_label = f"ZZ{params}"
+            gates = [Bullet(conditional=conditional), Bullet(conditional=conditional)]
+            add_connected_gate(node, gates, layer, current_cons, gate_wire_map)
+
+        elif len(node.qargs) == 1 and not node.cargs:
+            # unitary gate
+            layer.set_qubit(node.qargs[0], BoxOnQuWire(gate_text, conditional=conditional))
+
+        elif isinstance(op, ControlledGate) or mod_control:
+            controls_array = TextDrawing.controlled_wires(
+                node, gate_wire_map, ctrl_text, conditional, mod_control
+            )
+            gates, controlled_top, controlled_bot, controlled_edge, rest = controls_array
+            if mod_control:
+                if len(rest) == 1:
+                    gates.append(BoxOnQuWire(gate_text, conditional=conditional))
+                else:
+                    top_connect = "┴" if controlled_top else None
+                    bot_connect = "┬" if controlled_bot else None
+                    indexes = layer.set_qu_multibox(
+                        rest,
+                        gate_text,
+                        conditional=conditional,
+                        controlled_edge=controlled_edge,
+                        top_connect=top_connect,
+                        bot_connect=bot_connect,
+                    )
+                    for index in range(min(indexes), max(indexes) + 1):
+                        # Dummy element to connect the multibox with the bullets
+                        current_cons.append((index, DrawElement("")))
+            elif base_gate.name == "z":
+                # cz
+                gates.append(Bullet(conditional=conditional))
+            elif base_gate.name in ["u1", "p"]:
+                # cu1
+                connection_label = f"{base_gate.name.upper()}{params}"
+                gates.append(Bullet(conditional=conditional))
+            elif base_gate.name == "swap":
+                # cswap
+                gates += [Ex(conditional=conditional), Ex(conditional=conditional)]
+                add_connected_gate(node, gates, layer, current_cons, gate_wire_map)
+            elif base_gate.name == "rzz":
+                # crzz
+                connection_label = f"ZZ{params}"
+                gates += [Bullet(conditional=conditional), Bullet(conditional=conditional)]
+            elif len(rest) > 1:
+                top_connect = "┴" if controlled_top else None
+                bot_connect = "┬" if controlled_bot else None
+                indexes = layer.set_qu_multibox(
+                    rest,
+                    gate_text,
+                    conditional=conditional,
+                    controlled_edge=controlled_edge,
+                    top_connect=top_connect,
+                    bot_connect=bot_connect,
+                )
+                for index in range(min(indexes), max(indexes) + 1):
+                    # Dummy element to connect the multibox with the bullets
+                    current_cons.append((index, DrawElement("")))
+            else:
+                gates.append(BoxOnQuWire(gate_text, conditional=conditional))
+
+            add_connected_gate(node, gates, layer, current_cons, gate_wire_map)
+
+        elif len(node.qargs) >= 2 and not node.cargs:
+            layer.set_qu_multibox(node.qargs, gate_text, conditional=conditional)
+
+        elif node.qargs and node.cargs:
+            layer._set_multibox(
+                gate_text,
+                qargs=node.qargs,
+                cargs=node.cargs,
+                conditional=conditional,
+            )
+        else:
+            raise VisualizationError(
+                "Text visualizer does not know how to handle this node: ", op.name
+            )
+
+        # sort into the order they were declared in, to ensure that connected boxes have
+        # lines in the right direction
+        current_cons.sort(key=lambda tup: tup[0])
+        current_cons = [g for q, g in current_cons]
+        current_cons_cond.sort(key=lambda tup: tup[0])
+        current_cons_cond = [g for c, g in current_cons_cond]
+
+        return layer, current_cons, current_cons_cond, connection_label
+
+    def build_layers(self):
+        """
+        Constructs layers.
+        Returns:
+            list: List of DrawElements.
+        Raises:
+            VisualizationError: When the drawing is, for some reason, impossible to be drawn.
+        """
+        wire_names = self.wire_names(with_initial_state=self.initial_state)
+        if not wire_names:
+            return []
+
+        layers = [InputWire.fillup_layer(wire_names)]
+
+        for node_layer in self.nodes:
+            layer = Layer(
+                self.qubits,
+                self.clbits,
+                self.cregbundle,
+                self._circuit,
+                self._wire_map,
+            )
+            for node in node_layer:
+                if isinstance(node.op, ControlFlowOp):
+                    self._nest_depth = 0
+                    self.add_control_flow(node, layers, self._wire_map)
+                else:
+                    layer, current_cons, current_cons_cond, connection_label = self._node_to_gate(
+                        node, layer, self._wire_map
+                    )
+                    layer.connections.append((connection_label, current_cons))
+                    layer.connections.append((None, current_cons_cond))
+            layer.connect_with("│")
+            layers.append(layer.full_layer)
+
+        return layers
+
+    def add_control_flow(self, node, layers, wire_map):
+        """Add control flow ops to the circuit drawing."""
+
+        if (isinstance(node.op, SwitchCaseOp) and isinstance(node.op.target, expr.Expr)) or (
+            getattr(node.op, "condition", None) and isinstance(node.op.condition, expr.Expr)
+        ):
+
+            def lookup_var(var):
+                """Look up a classical-expression variable or register/bit in our internal symbol
+                table, and return an OQ3-like identifier."""
+                # We don't attempt to disambiguate anything like register/var naming collisions; we
+                # already don't really show classical variables.
+                if isinstance(var, expr.Var):
+                    return ast.Identifier(var.name)
+                if isinstance(var, ClassicalRegister):
+                    return ast.Identifier(var.name)
+                # Single clbit.  This is not actually the correct way to lookup a bit on the
+                # circuit (it doesn't handle bit bindings fully), but the text drawer doesn't
+                # completely track inner-outer _bit_ bindings, only inner-indices, so we can't fully
+                # recover the information losslessly.  Since most control-flow uses the control-flow
+                # builders, we should decay to something usable most of the time.
+                try:
+                    register, bit_index, reg_index = get_bit_reg_index(self._circuit, var)
+                except CircuitError:
+                    # We failed to find the bit due to binding problems - fall back to something
+                    # that's probably wrong, but at least disambiguating.
+                    return ast.Identifier(f"_bit{wire_map[var]}")
+                if register is None:
+                    return ast.Identifier(f"_bit{bit_index}")
+                return ast.SubscriptedIdentifier(register.name, ast.IntegerLiteral(reg_index))
+
+            condition = node.op.target if isinstance(node.op, SwitchCaseOp) else node.op.condition
+            draw_conditional = bool(node_resources(condition).clbits)
+            stream = StringIO()
+            BasicPrinter(stream, indent="  ").visit(condition.accept(_ExprBuilder(lookup_var)))
+            self._expr_text = stream.getvalue()
+            # Truncate expr_text at 30 chars or user-set expr_len
+            if len(self._expr_text) > self.expr_len:
+                self._expr_text = self._expr_text[: self.expr_len] + "..."
+        else:
+            draw_conditional = isinstance(node.op, (IfElseOp, WhileLoopOp, SwitchCaseOp))
+
+        # # Draw a left box such as If, While, For, and Switch
+        flow_layer = self.draw_flow_box(node, wire_map, CF_LEFT, conditional=draw_conditional)
+        layers.append(flow_layer.full_layer)
+
+        # Get the list of circuits in the ControlFlowOp from the node blocks
+        circuit_list = list(node.op.blocks)
+
+        if isinstance(node.op, SwitchCaseOp):
+            # Create an empty circuit at the head of the circuit_list if a Switch box
+            circuit_list.insert(0, list(node.op.cases_specifier())[0][1].copy_empty_like())
+
+        for circ_num, circuit in enumerate(circuit_list):
+            # Update the wire_map with the qubits and clbits from the inner circuit
+            flow_wire_map = wire_map.copy()
+            flow_wire_map.update(
+                {inner: wire_map[outer] for outer, inner in zip(node.qargs, circuit.qubits)}
+            )
+            for outer, inner in zip(node.cargs, circuit.clbits):
+                if self.cregbundle and (
+                    (in_reg := get_bit_register(self._circuit, inner)) is not None
+                ):
+                    out_reg = get_bit_register(self._circuit, outer)
+                    flow_wire_map.update({in_reg: wire_map[out_reg]})
+                else:
+                    flow_wire_map.update({inner: wire_map[outer]})
+
+            if circ_num > 0:
+                # Draw a middle box such as Else and Case
+                flow_layer = self.draw_flow_box(
+                    node, flow_wire_map, CF_MID, circ_num - 1, conditional=False
+                )
+                layers.append(flow_layer.full_layer)
+
+            _, _, nodes = _get_layered_instructions(circuit, wire_map=flow_wire_map)
+            for layer_nodes in nodes:
+                # Limit qubits sent to only ones from main circuit, so qubit_layer is correct length
+                flow_layer2 = Layer(
+                    self.qubits, self.clbits, self.cregbundle, self._circuit, flow_wire_map
+                )
+                for layer_node in layer_nodes:
+                    if isinstance(layer_node.op, ControlFlowOp):
+                        # Recurse on this function if nested ControlFlowOps
+                        self._nest_depth += 1
+                        self.add_control_flow(layer_node, layers, flow_wire_map)
+                        self._nest_depth -= 1
+                    else:
+                        (
+                            flow_layer2,
+                            current_cons,
+                            current_cons_cond,
+                            connection_label,
+                        ) = self._node_to_gate(layer_node, flow_layer2, flow_wire_map)
+                        flow_layer2.connections.append((connection_label, current_cons))
+                        flow_layer2.connections.append((None, current_cons_cond))
+
+                flow_layer2.connect_with("│")
+                layers.append(flow_layer2.full_layer)
+
+        # Draw the right box for End
+        flow_layer = self.draw_flow_box(node, wire_map, CF_RIGHT, conditional=False)
+        layers.append(flow_layer.full_layer)
+
+    def draw_flow_box(self, node, flow_wire_map, section, circ_num=0, conditional=False):
+        """Draw the left, middle, or right of a control flow box"""
+
+        op = node.op
+        depth = str(self._nest_depth)
+        if section == CF_LEFT:
+            etext = ""
+            if self._expr_text:
+                etext = " " + self._expr_text
+            if isinstance(op, IfElseOp):
+                label = "If-" + depth + etext
+            elif isinstance(op, WhileLoopOp):
+                label = "While-" + depth + etext
+            elif isinstance(op, ForLoopOp):
+                indexset = op.params[0]
+                # If tuple of values instead of range, cut it off at 4 items
+                if "range" not in str(indexset) and len(indexset) > 4:
+                    index_str = str(indexset[:4])
+                    index_str = index_str[:-1] + ", ...)"
+                else:
+                    index_str = str(indexset)
+                label = "For-" + depth + " " + index_str
+            elif isinstance(op, BoxOp):
+                label = "Box-" + depth + etext
+            elif isinstance(op, SwitchCaseOp):
+                label = "Switch-" + depth + etext
+            else:
+                raise RuntimeError(f"unhandled control-flow operation: {node.name}")
+        elif section == CF_MID:
+            if isinstance(op, IfElseOp):
+                label = "Else-" + depth
+            else:
+                jump_list = []
+                for jump_values, _ in list(op.cases_specifier()):
+                    jump_list.append(jump_values)
+
+                if "default" in str(jump_list[circ_num][0]):
+                    jump_str = "default"
+                else:
+                    jump_str = str(jump_list[circ_num]).replace(",)", ")")
+                label = "Case-" + depth + " " + jump_str
+
+        else:
+            label = "End-" + depth
+
+        flow_layer = Layer(
+            self.qubits,
+            self.clbits,
+            self.cregbundle,
+            self._circuit,
+            flow_wire_map,
+        )
+        # If only 1 qubit, draw basic 1 qubit box
+        if len(node.qargs) == 1:
+            flow_layer.set_qubit(
+                self.qubits[flow_wire_map[node.qargs[0]]],
+                FlowOnQuWire(section, label=label, conditional=conditional),
+            )
+        else:
+            # If multiple qubits, must use wire_map to handle wire_order changes.
+            idx_list = [flow_wire_map[qarg] for qarg in node.qargs]
+            min_idx = min(idx_list)
+            max_idx = max(idx_list)
+            box_height = max_idx - min_idx + 1
+
+            flow_layer.set_qubit(
+                self.qubits[min_idx], FlowOnQuWireTop(section, label=label, wire_label="")
+            )
+            for order, i in enumerate(range(min_idx + 1, max_idx)):
+                flow_layer.set_qubit(
+                    self.qubits[i],
+                    FlowOnQuWireMid(
+                        section,
+                        label=label,
+                        input_length=box_height,
+                        order=order,
+                        wire_label="",
+                    ),
+                )
+            flow_layer.set_qubit(
+                self.qubits[max_idx],
+                FlowOnQuWireBot(
+                    section,
+                    label=label,
+                    input_length=box_height,
+                    conditional=conditional,
+                    wire_label="",
+                ),
+            )
+        if conditional:
+            if isinstance(node.op, SwitchCaseOp):
+                if isinstance(node.op.target, expr.Expr):
+                    condition = node.op.target
+                elif isinstance(node.op.target, Clbit):
+                    condition = (node.op.target, 1)
+                else:
+                    condition = (node.op.target, 2 ** (node.op.target.size) - 1)
+            else:
+                condition = node.op.condition
+            _ = flow_layer.set_cl_multibox(condition, flow_wire_map, top_connect="╨")
+
+        return flow_layer
+
+
+class Layer:
+    """A layer is the "column" of the circuit."""
+
+    def __init__(self, qubits, clbits, cregbundle, circuit, wire_map):
+        self.qubits = qubits
+        self._circuit = circuit
+        if cregbundle:
+            self.clbits = []
+            previous_creg = None
+            for bit in clbits:
+                register = get_bit_register(self._circuit, bit)
+                if previous_creg and previous_creg == register:
+                    continue
+                if register is None:
+                    self.clbits.append(bit)
+                else:
+                    previous_creg = register
+                    self.clbits.append(previous_creg)
+        else:
+            self.clbits = clbits
+        self.qubit_layer = [None] * len(qubits)
+        self.connections = []
+        self.clbit_layer = [None] * len(clbits)
+        self.cregbundle = cregbundle
+        self._wire_map = wire_map
+
+    @property
+    def full_layer(self):
+        """
+        Returns the composition of qubits and classic wires.
+        Returns:
+            String: self.qubit_layer + self.clbit_layer
+        """
+        return self.qubit_layer + self.clbit_layer
+
+    def set_qubit(self, qubit, element):
+        """Sets the qubit to the element.
+
+        Args:
+            qubit (qbit): Element of self.qubits.
+            element (DrawElement): Element to set in the qubit
+        """
+        self.qubit_layer[self._wire_map[qubit]] = element
+
+    def set_clbit(self, clbit, element):
+        """Sets the clbit to the element.
+
+        Args:
+            clbit (cbit): Element of self.clbits.
+            element (DrawElement): Element to set in the clbit
+        """
+        register = get_bit_register(self._circuit, clbit)
+        if self.cregbundle and register is not None:
+            self.clbit_layer[self._wire_map[register] - len(self.qubits)] = element
+        else:
+            self.clbit_layer[self._wire_map[clbit] - len(self.qubits)] = element
+
+    def _set_multibox(
+        self,
+        label,
+        qargs=None,
+        cargs=None,
+        top_connect=None,
+        bot_connect=None,
+        conditional=False,
+        controlled_edge=None,
+    ):
+        if qargs is not None and cargs is not None:
+            qarg_indices = sorted(i for i, x in enumerate(self.qubits) if x in qargs)
+            carg_indices = sorted(i for i, x in enumerate(self.clbits) if x in cargs)
+
+            # Further below, indices are used as wire labels. Here, get the length of
+            # the longest label, and pad all labels with spaces to this length.
+            wire_label_len = max(len(str(len(qargs) - 1)), len(str(len(cargs) - 1)))
+            qargs_str = [
+                str(qargs.index(qbit)).ljust(wire_label_len, " ")
+                for qbit in self.qubits
+                if qbit in qargs
+            ]
+            cargs_str = [
+                str(cargs.index(cbit)).ljust(wire_label_len, " ")
+                for cbit in self.clbits
+                if cbit in cargs
+            ]
+
+            qargs = sorted(qargs, key=self.qubits.index)
+            cargs = sorted(cargs, key=self.clbits.index)
+
+            box_height = len(self.qubits) - min(qarg_indices) + max(carg_indices) + 1
+
+            self.set_qubit(qargs.pop(0), BoxOnQuWireTop(label, wire_label=qargs_str.pop(0)))
+            order = 0
+            for order, bit_i in enumerate(range(min(qarg_indices) + 1, len(self.qubits))):
+                if bit_i in qarg_indices:
+                    named_bit = qargs.pop(0)
+                    wire_label = qargs_str.pop(0)
+                else:
+                    named_bit = self.qubits[bit_i]
+                    wire_label = " " * wire_label_len
+                self.set_qubit(
+                    named_bit, BoxOnQuWireMid(label, box_height, order, wire_label=wire_label)
+                )
+            for order, bit_i in enumerate(range(max(carg_indices)), order + 1):
+                if bit_i in carg_indices:
+                    named_bit = cargs.pop(0)
+                    wire_label = cargs_str.pop(0)
+                else:
+                    named_bit = self.clbits[bit_i]
+                    wire_label = " " * wire_label_len
+                self.set_clbit(
+                    named_bit, BoxOnClWireMid(label, box_height, order, wire_label=wire_label)
+                )
+            self.set_clbit(
+                cargs.pop(0), BoxOnClWireBot(label, box_height, wire_label=cargs_str.pop(0))
+            )
+            return carg_indices
+
+        if qargs is None and cargs is not None:
+            bits = list(cargs)
+            bit_indices = sorted(i for i, x in enumerate(self.clbits) if x in bits)
+            wire_label_len = len(str(len(bits) - 1))
+            bits.sort(key=self.clbits.index)
+            qargs_str = [""] * len(bits)
+            set_bit = self.set_clbit
+            OnWire = BoxOnClWire
+            OnWireTop = BoxOnClWireTop
+            OnWireMid = BoxOnClWireMid
+            OnWireBot = BoxOnClWireBot
+
+        elif cargs is None and qargs is not None:
+            bits = list(qargs)
+            bit_indices = sorted(i for i, x in enumerate(self.qubits) if x in bits)
+            wire_label_len = len(str(len(bits) - 1))
+            qargs_str = [
+                str(bits.index(qbit)).ljust(wire_label_len, " ")
+                for qbit in self.qubits
+                if qbit in bits
+            ]
+            bits.sort(key=self.qubits.index)
+            set_bit = self.set_qubit
+            OnWire = BoxOnQuWire
+            OnWireTop = BoxOnQuWireTop
+            OnWireMid = BoxOnQuWireMid
+            OnWireBot = BoxOnQuWireBot
+        else:
+            raise VisualizationError("_set_multibox error!.")
+
+        control_index = {}
+        if controlled_edge:
+            for index, qubit in enumerate(self.qubits):
+                for qubit_in_edge, value in controlled_edge:
+                    if qubit == qubit_in_edge:
+                        control_index[index] = "■" if value == "1" else "o"
+        if len(bit_indices) == 1:
+            set_bit(bits[0], OnWire(label, top_connect=top_connect))
+        else:
+            box_height = max(bit_indices) - min(bit_indices) + 1
+            set_bit(
+                bits.pop(0), OnWireTop(label, top_connect=top_connect, wire_label=qargs_str.pop(0))
+            )
+            for order, bit_i in enumerate(range(min(bit_indices) + 1, max(bit_indices))):
+                if bit_i in bit_indices:
+                    named_bit = bits.pop(0)
+                    wire_label = qargs_str.pop(0)
+                else:
+                    named_bit = (self.qubits + self.clbits)[bit_i]
+                    wire_label = " " * wire_label_len
+
+                control_label = control_index.get(bit_i)
+                set_bit(
+                    named_bit,
+                    OnWireMid(
+                        label, box_height, order, wire_label=wire_label, control_label=control_label
+                    ),
+                )
+            set_bit(
+                bits.pop(0),
+                OnWireBot(
+                    label,
+                    box_height,
+                    bot_connect=bot_connect,
+                    wire_label=qargs_str.pop(0),
+                    conditional=conditional,
+                ),
+            )
+        return bit_indices
+
+    def set_cl_multibox(self, condition, wire_map, top_connect="┴"):
+        """Sets the multi clbit box.
+
+        Args:
+            condition (list[Union(Clbit, ClassicalRegister), int]): The condition
+            wire_map (dict): Map of bits to indices
+            top_connect (char): The char to connect the box on the top.
+
+        Returns:
+            List: list of tuples of connections between clbits for multi-bit conditions
+        """
+        if isinstance(condition, expr.Expr):
+            # If fixing this, please update the docstrings of `QuantumCircuit.draw` and
+            # `visualization.circuit_drawer` to remove warnings.
+            label = "[expr]"
+            out = []
+            condition_bits = node_resources(condition).clbits
+            registers = collections.defaultdict(list)
+            for bit in condition_bits:
+                registers[get_bit_register(self._circuit, bit)].append(bit)
+            if registerless := registers.pop(None, ()):
+                out.extend(
+                    self.set_cond_bullets(label, ["1"] * len(registerless), registerless, wire_map)
+                )
+            if self.cregbundle:
+                # It's hard to do something properly sensible here without more major rewrites, so
+                # as a minimum to *not crash* we'll just treat a condition that touches part of a
+                # register like it touched the whole register.
+                for register in registers:
+                    self.set_clbit(register[0], BoxOnClWire(label=label, top_connect=top_connect))
+            else:
+                for register, bits in registers.items():
+                    out.extend(self.set_cond_bullets(label, ["1"] * len(bits), bits, wire_map))
+            return out
+
+        label, val_bits = get_condition_label_val(condition, self._circuit, self.cregbundle)
+        if isinstance(condition[0], ClassicalRegister):
+            cond_reg = condition[0]
+        else:
+            cond_reg = get_bit_register(self._circuit, condition[0])
+        if self.cregbundle:
+            if isinstance(condition[0], Clbit):
+                # if it's a registerless Clbit
+                if cond_reg is None:
+                    self.set_cond_bullets(label, val_bits, [condition[0]], wire_map)
+                # if it's a single bit in a register
+                else:
+                    self.set_clbit(condition[0], BoxOnClWire(label=label, top_connect=top_connect))
+            # if it's a whole register
+            else:
+                self.set_clbit(condition[0][0], BoxOnClWire(label=label, top_connect=top_connect))
+            return []
+        else:
+            if isinstance(condition[0], Clbit):
+                clbits = [condition[0]]
+            else:
+                clbits = [cond_reg[idx] for idx in range(cond_reg.size)]
+            return self.set_cond_bullets(label, val_bits, clbits, wire_map)
+
+    def set_cond_bullets(self, label, val_bits, clbits, wire_map):
+        """Sets bullets for classical conditioning when cregbundle=False.
+
+        Args:
+            label (str): String to display below the condition
+            val_bits (list(int)): A list of bit values
+            clbits (list[Clbit]): The list of classical bits on
+                which the instruction is conditioned.
+            wire_map (dict): Map of bits to indices
+
+        Returns:
+            List: list of tuples of open or closed bullets for condition bits
+        """
+        current_cons = []
+        wire_max = max(wire_map[bit] for bit in clbits)
+        for i, bit in enumerate(clbits):
+            bot_connect = " "
+            if wire_map[bit] == wire_max:
+                bot_connect = label
+            if val_bits[i] == "1":
+                self.clbit_layer[wire_map[bit] - len(self.qubits)] = ClBullet(
+                    top_connect="║", bot_connect=bot_connect
+                )
+            elif val_bits[i] == "0":
+                self.clbit_layer[wire_map[bit] - len(self.qubits)] = ClOpenBullet(
+                    top_connect="║", bot_connect=bot_connect
+                )
+            actual_index = wire_map[bit]
+            if actual_index not in [i for i, j in current_cons]:
+                current_cons.append(
+                    (actual_index, self.clbit_layer[wire_map[bit] - len(self.qubits)])
+                )
+        return current_cons
+
+    def set_qu_multibox(
+        self,
+        bits,
+        label,
+        top_connect=None,
+        bot_connect=None,
+        conditional=False,
+        controlled_edge=None,
+    ):
+        """Sets the multi qubit box.
+
+        Args:
+            bits (list[int]): A list of affected bits.
+            label (string): The label for the multi qubit box.
+            top_connect (char): None or a char connector on the top
+            bot_connect (char): None or a char connector on the bottom
+            conditional (bool): If the box has a conditional
+            controlled_edge (list): A list of bit that are controlled (to draw them at the edge)
+        Return:
+            List: A list of indexes of the box.
+        """
+        return self._set_multibox(
+            label,
+            qargs=bits,
+            top_connect=top_connect,
+            bot_connect=bot_connect,
+            conditional=conditional,
+            controlled_edge=controlled_edge,
+        )
+
+    def connect_with(self, wire_char):
+        """Connects the elements in the layer using wire_char.
+
+        Args:
+            wire_char (char): For example '║' or '│'.
+        """
+
+        for label, affected_bits in self.connections:
+
+            if not affected_bits:
+                continue
+
+            for index, affected_bit in enumerate(affected_bits):
+                if isinstance(affected_bit, (ClBullet, ClOpenBullet)):
+                    wire_char = "║"
+                    if index == 0 and len(affected_bits) > 1:
+                        affected_bit.connect(wire_char, ["bot"])
+                    elif index == len(affected_bits) - 1:
+                        affected_bit.connect(wire_char, ["top"])
+                    else:
+                        affected_bit.connect(wire_char, ["bot", "top"])
+                else:
+                    if index == 0:
+                        affected_bit.connect(wire_char, ["bot"])
+                    elif index == len(affected_bits) - 1:
+                        affected_bit.connect(wire_char, ["top"], label)
+                    else:
+                        affected_bit.connect(wire_char, ["bot", "top"])
+
+            if label:
+                for affected_bit in affected_bits:
+                    affected_bit.right_fill = len(label) + len(affected_bit.mid)
+                    if isinstance(affected_bit, (Bullet, OpenBullet)) and affected_bit.conditional:
+                        affected_bit.left_fill = len(label) + len(affected_bit.mid)