g TdZddlmZddlZddlmZmZmZmZm Z m Z ddl m Z m Z ddlmZddlmZddlmZmZdd lmZe rdd lmZe d eeeefeeefe jf Zd"dZejGddZd#dZd$dZ d%dZ!d&dZ"d'd Z#d&d!Z$dS)(zBPrivate utility functions that are used by the builder interfaces.) annotationsN)IterableTupleSetUnionTypeVar TYPE_CHECKING)exprtypes) CircuitError)Register)ClassicalRegisterClbit)QuantumRegisterQuantumCircuit _ConditionT)bound conditionreturncft|tjr2|jjt jurtd|jd|S |\}}t|ttfrt|tr||fSn#ttf$rYnwxYwtd|d)aValidate that a condition is in a valid format and return it, but raise if it is invalid. Args: condition: the condition to be tested for validity. Must be either the legacy 2-tuple format, or a :class:`~.expr.Expr` that has `Bool` type. Raises: CircuitError: if the condition is not in a valid format. Returns: The same condition as passed, if it was valid. zFClassical conditions must be expressions with the type 'Bool()', not 'z'.z_A classical condition should be a 2-tuple of `(ClassicalRegister | Clbit, int)`, but received ') isinstancer Exprtypekindr Boolr rrint TypeError ValueError)rbitsvalues _/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/controlflow/_builder_utils.pyvalidate_conditionr#"s)TY'' > ej 0 0,",,,   e d.6 7 7 !Jucz!node_resources..Vs&99#3+999999r.) r iter_varsrvarrrupdater%tuple)r/r&r'r7s r"node_resourcesr:Ks F E~d##"" cgu % % ""F37OO !2 3 3 " MM99999 9 9 9!E#'N 5==%,, 7 77r.=tuple[ClassicalRegister, int] | tuple[Clbit, int] | expr.Exprct|tjrt|S|\}}t|trt t ||fSt |fdS)zGet the legacy classical resources (:class:`.Clbit` and :class:`.ClassicalRegister`) referenced by a legacy condition or an :class:`~.expr.Expr`.r-)rr rr:rr%r9)rtarget_s r"condition_resourcesr?[sl )TY'')i(((IFA&+,,9uV}}vi888 F9b ) ))r. registersIterable[Register]3Tuple[Set[QuantumRegister], Set[ClassicalRegister]]ct}t}|D]j}t|tr||-t|tr||Xt d|d||fS)zKPartition a sequence of registers into its quantum and classical registers.zUnknown register: .)setrraddrr )r@qregsr'registers r"partition_registersrIhs EEE EEEAA h 0 0 A IIh     "3 4 4 A IIh    ?H???@@ @ %<r.circuitsIterable[QuantumCircuit]ct|}t|dkr|Sg}g}|D]}|jdt||krt|cS|jdt||krt|cS|jt|krt |j}|jt|krt |j}|D]F}|||jd|||jdGt|S)a Ensure that all the given ``circuits`` have all the same qubits, clbits and registers, and that they are defined in the same order. The order is important for binding when the bodies are used in the 3-tuple :obj:`.Instruction` context. This function will preferentially try to mutate its inputs if they share an ordering, but if not, it will rebuild two new circuits. This is to avoid coupling too tightly to the inner class; there is no real support for deleting or re-ordering bits within a :obj:`.QuantumCircuit` context, and we don't want to rely on the *current* behavior of the private APIs, since they are very liable to change. No matter the method used, circuits with unified bits and registers are returned. N) r9lenqubits _unify_circuit_resources_rebuildr& num_qubitslist num_clbitsadd_bits_unify_circuit_registers)rJrOr&circuits r"unify_circuit_resourcesrWysIXH 8}}q F F** >-CKK- (F 2 23H== = = = >-CKK- (F 2 23H== = = =  F + +'.))F  F + +'.))F77 2 4 45666 2 4 456666 #H - --r.Tuple[QuantumCircuit, ...]%Tuple[QuantumCircuit, QuantumCircuit]chddlm}tt}}|D]6}||j||j7t |t |}}g}|D]}|||g|j|jR|j | | d}| D]}| ||jD]}||||t#|S)aO Ensure that all the given circuits have all the same qubits and clbits, and that they are defined in the same order. The order is important for binding when the bodies are used in the 3-tuple :obj:`.Instruction` context. This function will always rebuild the objects into new :class:`.QuantumCircuit` instances. rr) global_phaseinputscaptures)qiskit.circuitrrEr8rOr&rRrGr'r[iter_input_varsiter_captured_varsiter_declared_varsadd_uninitialized_vardata_appendappendrU) rJrrOr&rV out_circuitsoutr7 instructions r"rPrPso.-----UUCEEFF&& gn%%% gn%%%%&\\4<rusIH""""""FFFFFFFFFFFFFFFF00000000222222,,,,,,EEEEEEEE::::::.------gu%6%;OQUQZZ[ @ )))))))) 8 8 8 8 * * * *"....B$2$2$2$2Nr.