g!dZddlmZddlmZddlmZddlmZddl m Z ddl m Z m Z dd lmZdd lmZGd d Zd S)z Instruction collection. ) annotations)MutableSequence)Callable) CircuitError)deprecate_func)ClbitClassicalRegister) Operation)CircuitInstructionceZdZdZdZddd!dZdZd Zd"d Zd#dZ d$d%dZ e ddd&dZ dZ edZedZed ZdS)'InstructionSetz+Instruction collection, and their contexts. _instructions _requesterN)resource_requesterr/Callable[..., ClassicalRegister | Clbit] | Nonec"g|_||_dS)aNew collection of instructions. The context (``qargs`` and ``cargs`` that each instruction is attached to) is also stored separately for each instruction. Args: resource_requester: A callable that takes in the classical resource used in the condition, verifies that it is present in the attached circuit, resolves any indices into concrete :obj:`.Clbit` instances, and returns the concrete resource. If this is not given, specifying a condition with an index is forbidden, and all concrete :obj:`.Clbit` and :obj:`.ClassicalRegister` resources will be assumed to be valid. .. note:: The callback ``resource_requester`` is called once for each call to :meth:`.c_if`, and assumes that a call implies that the resource will now be used. It may throw an error if the resource is not valid for usage. Nr)selfrs S/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/instructionset.py__init__zInstructionSet.__init__"s4  -c*t|jS)z$Return number of instructions in set)lenrrs r__len__zInstructionSet.__len__?s4%&&&rcd|j|}t|tr|S|\}}||S)zReturn instruction at index)r isinstancer )riinstdataidxs r __getitem__zInstructionSet.__getitem__Cs:!!$ d. / / K cCyrc(t|tsbt|tstd||tdt|t |t |}|j|dS)z:Add an instruction and its context (where it is attached).z.attempt to add non-Operation to InstructionSetNz6missing qargs or cargs in old-style InstructionSet.add)rr r rtuplerappend)r instructionqargscargss raddzInstructionSet.addKs+'9:: Vk955 U"#STTT} "#[\\\,[%,,e UUK !!+.....rr!#MutableSequence[CircuitInstruction]posintc>|j||fdS)zAdd a reference to an instruction and its context within a mutable sequence. Updates to the instruction set will modify the specified sequence in place.N)rr&)rr!r,s r_add_refzInstructionSet._add_refUs% !!4+.....rF annotatedboolcRt|jD]\}}t|tr8||j||j|<R|\}}||}||j|||<|S)zInvert all instructions. .. note:: It is preferable to take the inverse *before* appending the gate(s) to the circuit. )r0 operation) enumeraterrr replacer4inverse)rr0rr'r!r"s rr7zInstructionSet.inverseZs ((:;;  NA{+'9:: (3(;(;)3;;i;PP)<))"1%%( c"3i '//)3;;i;PP0S  rz1.3.0zin 2.0.0)sinceremoval_timeline classicalClbit | ClassicalRegister | intvalreturn'InstructionSet'c|j+t|ttfst d|j||}t |jD]\}}t|tr:|j ||}| ||j|<T|\}}||}| |j ||||<|S)aSet a classical equality condition on all the instructions in this set between the :obj:`.ClassicalRegister` or :obj:`.Clbit` ``classical`` and value ``val``. .. note:: You should prefer to use the :meth:`.QuantumCircuit.if_test` builder interface, rather than using this method. .. note:: This is a setter method, not an additive one. Calling this multiple times will silently override any previously set condition on any of the contained instructions; it does not stack. Args: classical: the classical resource the equality condition should be on. If this is given as an integer, it will be resolved into a :obj:`.Clbit` using the same conventions as the circuit these instructions are attached to. val: the value the classical resource should be equal to. Returns: This same instance of :obj:`.InstructionSet`, but now mutated to have the given equality condition. Raises: CircuitError: if the passed classical resource is invalid, or otherwise not resolvable to a concrete resource that these instructions are permitted to access. NznCannot pass an index as a condition variable without specifying a requester when creating this InstructionSet.r3) rrr r rr5rr r4c_ifr6)rr:r<r"r'updatedr!s rr@zInstructionSet.c_ifms : ? ":i%IZA[+\+\ "6  ? & 22I )$*< = =   C+'9:: %/44YDD*5*=*=*=*P*P"3''' c"3i '//)388CHH0S  rc$d|jDS)Nc3lK|]/}t|tr|n|d|dV0dS)rrN)rr ).0rs r z4InstructionSet._instructions_iter..sBcc1Z#566FAaD1Jccccccr)rrs r_instructions_iterz!InstructionSet._instructions_itersccPTPbccccrc>d|DS)zlLegacy getter for the instruction components of an instruction set. This does not support mutation.cg|] }|j Sr3rDr's r z/InstructionSet.instructions..sSSS+ %SSSrrFrs r instructionszInstructionSet.instructionss%TS9P9P9R9RSSSSrc>d|DS)zfLegacy getter for the qargs components of an instruction set. This does not support mutation.c6g|]}t|jSrI)listqubitsrJs rrKz(InstructionSet.qargs..#VVV[['((VVVrrLrs rr(zInstructionSet.qargs%WVDd|DS)zfLegacy getter for the cargs components of an instruction set. This does not support mutation.c6g|]}t|jSrI)rPclbitsrJs rrKz(InstructionSet.cargs..rRrrLrs rr)zInstructionSet.cargsrSr)rr)NN)r!r+r,r-)F)r0r1)r:r;r<r-r=r>)__name__ __module__ __qualname____doc__ __slots__rrr#r*r/r7rr@rFpropertyrMr(r)rIrrrrsC55/I OS------:'''//////// &^'J???---@?-ddddTTXT WWXW WWXWWWrrN)rZ __future__rcollections.abcrtypingrqiskit.circuit.exceptionsr qiskit.utilsrclassicalregisterr r r4r quantumcircuitdatar rrIrrrds#"""""++++++222222''''''77777777 222222VWVWVWVWVWVWVWVWVWVWr