g JdZddlmZddlmZddlmZGddeZdS)z;Check if a DAG circuit is already mapped to a coupling map.) AnalysisPass)Target) check_mapc*eZdZdZdfd ZdZxZS)CheckMapasCheck if a DAG circuit is already mapped to a coupling map. Check if a DAGCircuit is mapped to ``coupling_map`` by checking that all 2-qubit interactions are laid out to be on adjacent qubits in the global coupling map of the device, setting the property set field (either specified with ``property_set_field`` or the default ``is_swap_mapped``) to ``True`` or ``False`` accordingly. Note this does not validate directionality of the connectivity between qubits. If you need to check gates are implemented in a native direction for a target use the :class:`~.CheckGateDirection` pass instead. Nct|d|_n||_t|tr|}n|}| d|_dSt|_|D]D}|j ||j |d|dfEdS)ajCheckMap initializer. Args: coupling_map (Union[CouplingMap, Target]): Directed graph representing a coupling map. property_set_field (str): An optional string to specify the property set field to store the result of the check. If not default the result is stored in ``"is_swap_mapped"``. Nis_swap_mappedr) super__init__property_set_field isinstancerbuild_coupling_mapqargsset get_edgesadd)self coupling_mapr cmapedge __class__s ^/granary/edev/quantum/lib/python3.11/site-packages/qiskit/transpiler/passes/utils/check_map.pyr zCheckMap.__init__!s   %&6D # #&8D # lF + + 2244DDD <DJJJDJ(( 3 3 t$$$ Qa12222 3 3c<|jsd|j|j<dStj||j}|d|j|j<dSd|j|j<|dd|j|ddd|j|ddd|jd <dS) zRun the CheckMap pass on `dag`. If `dag` is mapped to `coupling_map`, the property `is_swap_mapped` is set to True (or to False otherwise). Args: dag (DAGCircuit): DAG to map. TNFr(r z, z) failed check_map_msg)r property_setr rqubits)rdagress rrunz CheckMap.run;sz 9=D d5 6 F!#tz22 ;9=D d5 6 F5:$121v P P 3q6!9- P PCF1I1F P P P /***r)N)__name__ __module__ __qualname____doc__r r" __classcell__)rs@rrrsV  3333334       rrN)r&qiskit.transpiler.basepassesrqiskit.transpiler.targetrqiskit._acceleraterrrrr,sxBA555555++++++((((((9 9 9 9 9 |9 9 9 9 9 r