+
    �°³jS&  ã                   ó>   € ^ RI t ^ RIt ! R R4      t ! R R4      tR# )é    Nc                   óÐ  a € ] tR t^t o ]P
                  P                  R]P                  ! 4       ]P                  ! 4       .4      R 4       t
R tR t]P
                  P                  R]P                  ]P                  .4      ]P
                  P                  R. RO4      R 4       4       tR t]P
                  P                  R	R
.. RO^3. RO^3.4      R 4       tR tR tRtV tR# )ÚTestImmediateDominatorsÚGc                óÊ   € \         P                  ! \        P                  RR7      ;_uu_ 4        \        P                  ! V^ 4       RRR4       R#   + '       g   i     R# ; i)z?Check that `immediate_dominators` raises for undirected graphs.únot implemented for undirected©ÚmatchN)ÚpytestÚraisesÚnxÚNetworkXNotImplementedÚimmediate_dominators©Úselfr   s   &&Úi/home/luca/screen-checking/.venv/lib/python3.14/site-packages/networkx/algorithms/tests/test_dominance.pyÚtest_raises_undirectedÚ.TestImmediateDominators.test_raises_undirected   sH   € ô �]Š]Ü×%Ñ%Ð-N÷
ö 
ô ×#Ò# A qÔ)÷
÷ 
÷ 
ò 
úó   ¯AÁA"	c                ó  € \         P                  ! ^\         P                  R7      p\        P                  ! \         P
                  RR7      ;_uu_ 4        \         P                  ! V^4       RRR4       R#   + '       g   i     R# ; i)zJCheck that `immediate_dominators` raises when `start` is not in the graph.©Úcreate_usingúnot in Gr   N)r   Úempty_graphÚDiGraphr
   r   ÚNetworkXErrorr   r   s   & r   Útest_raises_nodeÚ(TestImmediateDominators.test_raises_node   sM   € ä�NŠN˜1¬2¯:©:Ô6ˆÜ�]Š]œ2×+Ñ+°;×?Ö?Ü×#Ò# A qÔ)÷ @×?×?Ò?úó   ÁA7Á7B	c                óî   € \         P                  ! 4       pVP                  ^ 4       \         P                  ! V^ 4      / 8X  g   Q hVP	                  ^ ^ 4       \         P                  ! V^ 4      / 8X  g   Q hR# ©r   N)r   r   Úadd_noder   Úadd_edger   s   & r   Útest_singletonÚ&TestImmediateDominators.test_singleton   s\   € Ü�JŠJ‹LˆØ	�
‰
�1ŒÜ×&Ò& q¨!Ó,°Ô2Ð2Ð2Ø	�
‰
�1�aÔÜ×&Ò& q¨!Ó,°Ô2Ð2Ò2ó    ÚgenÚnc                óÌ   € V! V\         P                  ! 4       R7      p\         P                  ! V^ 4      pT\        ^V4       Uu/ uF  qUV^,
          bK  	  up8X  g   Q hR# u upi )zBCheck `immediate_dominators` is correct for path and cycle graphs.r   N)r   r   r   Úrange)r   r&   r'   r   ÚidomÚis   &&&   r   Útest_path_and_cycleÚ+TestImmediateDominators.test_path_and_cycle   sT   € ñ �¤§
¢
£Ô-ˆÜ×&Ò& q¨!Ó,ˆØ¬%°°1¬+Ó6©+ Q˜1˜q�5š©+Ñ6Ô6Ð6Ò6ùÒ6s   ÁA!c                óì   € ^p\         P                  ! V\         P                  ! 4       R7      p\         P                  ! V^4      pT\	        ^V4       Uu/ uF  qDV^,
          bK  	  up8X  g   Q hR# u upi ©é   r   N)r   Ú
path_graphr   r   r)   )r   r'   r   r*   r+   s   &    r   Útest_unreachableÚ(TestImmediateDominators.test_unreachable$   s[   € ØˆÜ�MŠM˜!¬"¯*ª*«,Ô7ˆÜ×&Ò& q¨!Ó,ˆØ¬%°°1¬+Ó6©+ Q˜1˜q�5š©+Ñ6Ô6Ð6Ò6ùÒ6s   ÁA1ÚedgelistÚstartc                ó¬   € \         P                  ! V4      p\         P                  ! W24      pV\        P	                  \        ^V4      V4      8X  g   Q hR# )zµ
Check `immediate_dominators` on irreducible reference graphs.

Graphs taken from figures 2 and 4 of "A simple, fast dominance algorithm." (2006).
https://hdl.handle.net/1911/96345
N)r   r   r   ÚdictÚfromkeysr)   )r   r4   r5   r   r*   s   &&&  r   Útest_irreducibleÚ(TestImmediateDominators.test_irreducible*   sA   € ô6 �JŠJ�xÓ ˆÜ×&Ò& qÓ0ˆØ”t—}‘}¤U¨1¨e£_°eÓ<Ô<Ð<Ò<r%   c                ó  € . ROp\         P                  ! V4      p\         P                  ! V^4      pV^^^^^^^^^^/8X  g   Q h\         P                  ! VP                  RR7      ^4      pV^^^^^^^^^^/8X  g   Q hR# ©é   F©ÚcopyN)©r=   é   ©rA   é   )rA   é   )rA   é   )rC   r0   ©rD   r0   )r0   rA   ©r   r   r   Úreverse©r   Úedgesr   Úresults   &   r   Útest_domrel_pngÚ'TestImmediateDominators.test_domrel_pngI   sŠ   € âHˆÜ�JŠJ�uÓˆÜ×(Ò(¨¨AÓ.ˆØ˜!˜Q  1 a¨¨A¨q°!°QÐ7Ô7Ð7Ð7ä×(Ò(¨¯©¸¨Ó)>ÀÓBˆØ˜!˜Q  1 a¨¨A¨q°!°QÐ7Ô7Ð7Ò7r%   c                ó  € . ROp\         P                  ! V4      p\         P                  ! V^ 4      pV^^ ^^^^^^^^^^^^/8X  g   Q h\         P                  ! VP                  RR7      ^4      pV^ ^^^^^^^^^^^^^/8X  g   Q hR# ©r   Fr>   N)	)r   r=   r@   )r=   rC   )rA   é   )rC   rD   rF   )rD   rE   )r0   rP   ©rE   rD   rG   rI   s   &   r   Útest_boost_exampleÚ*TestImmediateDominators.test_boost_exampleS   s�   € ò YˆÜ�JŠJ�uÓˆÜ×(Ò(¨¨AÓ.ˆØ˜!˜Q  1 a¨¨A¨q°!°Q¸¸1¸aÀÐCÔCÐCÐCä×(Ò(¨¯©¸¨Ó)>ÀÓBˆØ˜!˜Q  1 a¨¨A¨q°!°Q¸¸1¸aÀÐCÔCÐCÒCr%   © N©r0   é
   é   ©r@   ©rA   r=   ©rC   rA   )rD   r=   )r0   rC   )r0   rD   ©	r@   rY   rB   rZ   )rD   rA   )rD   rC   )r0   r=   rQ   )rE   r0   )Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__r
   ÚmarkÚparametrizer   ÚGraphÚ
MultiGraphr   r   r#   r1   Úcycle_graphr,   r2   r9   rL   rR   Ú__static_attributes__Ú__classdictcell__©Ú__classdict__s   @r   r   r      sí   ø‡ € Ø‡[�[×Ñ˜S 2§8¢8£:¨r¯}ª}«Ð"?Ó@ñ*ó Að*ò*ò3ð ‡[�[×Ñ˜U R§]¡]°B·N±NÐ$CÓDØ‡[�[×Ñ˜S¢+Ó.ñ7ó /ó Eð7ò7ð ‡[�[×ÑØ	�WÐâ=¸qÐAò
ð ðð	
óñ(	=ó)ð(	=ò8÷	Dð 	Dr%   r   c                   ó¬  a € ] tR t^_t o ]P
                  P                  R]P                  ! 4       ]P                  ! 4       .4      R 4       t
R tR t]P
                  P                  R]P                  ]! 4       3]P                  ^ 03.4      ]P
                  P                  R. RO4      R 4       4       tR tR	 tR
 tR tR tR tR tR tR tRtV tR# )ÚTestDominanceFrontiersr   c                óÊ   € \         P                  ! \        P                  RR7      ;_uu_ 4        \        P                  ! V^ 4       RRR4       R#   + '       g   i     R# ; i)z>Check that `dominance_frontiers` raises for undirected graphs.r   r   N)r
   r   r   r   Údominance_frontiersr   s   &&r   r   Ú-TestDominanceFrontiers.test_raises_undirected`   sH   € ô �]Š]Ü×%Ñ%Ð-N÷
ö 
ô ×"Ò" 1 aÔ(÷
÷ 
÷ 
ò 
úr   c                ó  € \         P                  ! ^\         P                  R7      p\        P                  ! \         P
                  RR7      ;_uu_ 4        \         P                  ! V^4       RRR4       R#   + '       g   i     R# ; i)zICheck that `dominance_frontiers` raises when `start` is not in the graph.r   r   r   N)r   r   r   r
   r   r   rl   r   s   & r   r   Ú'TestDominanceFrontiers.test_raises_nodeh   sM   € ä�NŠN˜1¬2¯:©:Ô6ˆÜ�]Š]œ2×+Ñ+°;×?Ö?Ü×"Ò" 1 aÔ(÷ @×?×?Ò?úr   c                ó  € \         P                  ! 4       pVP                  ^ 4       \         P                  ! V^ 4      ^ \	        4       /8X  g   Q hVP                  ^ ^ 4       \         P                  ! V^ 4      ^ ^ 0/8X  g   Q hR# r    )r   r   r!   rl   Úsetr"   r   s   & r   r#   Ú%TestDominanceFrontiers.test_singletonn   sh   € Ü�JŠJ‹LˆØ	�
‰
�1ŒÜ×%Ò% a¨Ó+°´3³5¨zÔ9Ð9Ð9Ø	�
‰
�1�aÔÜ×%Ò% a¨Ó+°°A°3¨xÔ7Ð7Ò7r%   zgen, dfr'   c                ó¶   € V! V\         P                  ! 4       R7      p\         P                  ! V^ 4      \        P	                  \        V4      V4      8X  g   Q hR# )zFCheck that `dominance_frontiers` is correct for path and cycle graphs.r   N)r   r   rl   r7   r8   r)   )r   r&   Údfr'   r   s   &&&& r   r,   Ú*TestDominanceFrontiers.test_path_and_cycleu   s@   € ñ �¤§
¢
£Ô-ˆÜ×%Ò% a¨Ó+¬t¯}©}¼UÀ1»XÀrÓ/JÔJÐJÒJr%   c                óè   € ^p\         P                  ! V\         P                  ! 4       R7      p\         P                  ! V^4      \        P                  \        ^V4      \        4       4      8X  g   Q hR# r/   )r   r1   r   rl   r7   r8   r)   rq   )r   r'   r   s   &  r   r2   Ú'TestDominanceFrontiers.test_unreachable|   sK   € ØˆÜ�MŠM˜!¬"¯*ª*«,Ô7ˆÜ×%Ò% a¨Ó+¬t¯}©}¼UÀ1Àa»[Ì#Ë%Ó/PÔPÐPÒPr%   c                ó¢   € . ROp\         P                  ! V4      p\         P                  ! V^4      ^^0^^0^^0^^0^\        4       /8X  g   Q hR# )zn
Graph taken from figure 2 of "A simple, fast dominance algorithm." (2006).
https://hdl.handle.net/1911/96345
NrX   ©r   r   rl   rq   ©r   rJ   r   s   &  r   Útest_irreducible1Ú(TestDominanceFrontiers.test_irreducible1�   s_   € ò
 AˆÜ�JŠJ�uÓˆÜ×%Ò% a¨Ó+Ø�ˆsØ�ˆsØ�ˆsØ�ˆsØŒs‹uð0
ô 
ð 	
ò 
r%   c                ó¬   € . ROp\         P                  ! V4      p\         P                  ! V^4      ^^0^^^0^^0^^^0^^0^\        4       /8X  g   Q hR# )zn
Graph taken from figure 4 of "A simple, fast dominance algorithm." (2006).
https://hdl.handle.net/1911/96345
Nr[   ry   rz   s   &  r   Útest_irreducible2Ú(TestDominanceFrontiers.test_irreducible2�   sj   € ò
 YˆÜ�JŠJ�uÓˆÜ×%Ò% a¨Ó+Ø�ˆsØ��1ˆvØ�ˆsØ��1ˆvØ�ˆsØŒs‹uð0
ô 
ð 	
ò 
r%   c                óV  € . ROp\         P                  ! V4      p\         P                  ! V^4      ^\        4       ^^0^^0^^0^^0^\        4       /8X  g   Q h\         P                  ! VP	                  RR7      ^4      pV^\        4       ^^0^^0^^0^^0^\        4       /8X  g   Q hR# r<   ©r   r   rl   rq   rH   rI   s   &   r   rL   Ú&TestDominanceFrontiers.test_domrel_png    sµ   € âHˆÜ�JŠJ�uÓˆÜ×%Ò% a¨Ó+ØŒs‹uØ�ˆsØ�ˆsØ�ˆsØ�ˆsØŒs‹uð0
ô 
ð 	
ð 
ô ×'Ò'¨¯	©	°u¨	Ó(=¸qÓAˆØ˜!œS›U A¨ s¨A°¨s°A¸°s¸AÀ¸sÀAÄsÃuÐMÔMÐMÒMr%   c                ó�  € . ROp\         P                  ! V4      p\         P                  ! V^ 4      ^ \        4       ^\        4       ^^0^^0^^^0^^0^^0^\        4       /8X  g   Q h\         P                  ! VP	                  RR7      ^4      p^ \        4       ^\        4       ^^0^^0^^^0^^0^^0^\        4       /pW48X  g   Q hR# rO   r�   )r   rJ   r   rK   Úexpecteds   &    r   rR   Ú)TestDominanceFrontiers.test_boost_example°   sä   € ò YˆÜ�JŠJ�uÓˆÜ×%Ò% a¨Ó+ØŒs‹uØŒs‹uØ�ˆsØ�ˆsØ��1ˆvØ�ˆsØ�ˆsØŒs‹uð	0
ô 	
ð 		
ð 	
ô ×'Ò'¨¯	©	°u¨	Ó(=¸qÓAˆàŒs‹uØŒs‹uØ�ˆsØ�ˆsØ��1ˆvØ�ˆsØ�ˆsØŒs‹uð	
ˆð Ô!Ð!Ò!r%   c                óè   € \         P                  ! 4       pVP                  . R
O4       \         P                  ! VR 4      pVR\	        4       RR0RR0RR0R \	        4       RR0RR0RR0RR0/	8X  g   Q hR	# )Úb0Úb1Úb2Úb3Úb5Úb6Úb8Úb7Úb4N))r‡   rˆ   ©rˆ   r‰   ©r‰   rŠ   )rŠ   rˆ   )rˆ   r‹   )r‹   rŒ   )r‹   r�   )rŒ   rŽ   )r�   rŽ   )rŽ   rŠ   )rŠ   r�   ©r   r   Úadd_edges_fromrl   rq   ©r   Úgrt   s   &  r   Útest_discard_issueÚ)TestDominanceFrontiers.test_discard_issueÍ   sŠ   € ä�JŠJ‹LˆØ	×Ñòô	
ô ×#Ò# A tÓ,ˆØØ”#“%Ø�4�&Ø�4�&Ø�4�&Ø”#“%Ø�4�&Ø�4�&Ø�4�&Ø�4�&ð

ô 

ð 
	
ò 

r%   c                ó¶   € \         P                  ! 4       pVP                  . RO4       \         P                  ! VR 4      pVR R 0RR 0R\	        4       /8X  g   Q hR# )ÚaÚbÚcN))r™   rš   )rš   r›   )rš   r™   r’   r”   s   &  r   Ú	test_loopÚ TestDominanceFrontiers.test_loopì   sO   € Ü�JŠJ‹LˆØ	×ÑÒ=Ô>Ü×#Ò# A sÓ+ˆØ�c˜C˜5 #¨ u¨c´3³5Ð9Ô9Ð9Ò9r%   c                óˆ   € \         P                  ! 4       p. ROpVP                  V4       \         P                  ! VR 4       R# )Úentry_1N))rŸ   rˆ   r�   r‘   )rŠ   Úexit)Úentry_2rŠ   )r   r   r“   rl   )r   r•   rJ   s   &  r   Útest_missing_immediate_domsÚ2TestDominanceFrontiers.test_missing_immediate_domsò   s6   € ä�JŠJ‹Lˆò
ˆð$ 	
×Ñ˜Ôô 	×Ò˜q )Ö,r%   c                óB  € \         P                  ! 4       p. R	OpVP                  V4       \         P                  ! VR 4      pR \	        4       RR0RRR0R0 R
mR0 RmR0 R
mRRR0R\	        4       /pV F*  p\	        W5,          4      \	        WE,          4      8X  d   K*  Q h	  R# )Úentryr    Ú1Ú2Ú3Ú4Ú5Ú6N))r¥   r    )r¥   r¦   )r¦   r§   )r§   r¨   )r¨   r©   )r©   rª   )rª   r«   )r«   r    )r«   r§   )rª   r¨   )r©   r©   >   r§   r¨   r    >   r§   r¨   r©   r    r’   )r   r•   rJ   rt   Úanswerr'   s   &     r   Útest_loops_largerÚ(TestDominanceFrontiers.test_loops_larger  sž   € ô �JŠJ‹Lˆò
ˆð 	
×Ñ˜ÔÜ×#Ò# A wÓ/ˆà”S“UØ�&�Ø�&˜#�ØÒ#ØÒ(ØÒ#Ø�&˜#�Ø”C“Eð	
ˆó ˆAÜ�r•u“:¤ V¥Y£Ö/Ð/Ð/ó r%   rT   NrU   )r\   r]   r^   r_   r
   r`   ra   r   rb   rc   r   r   r#   r1   rq   rd   r,   r2   r{   r~   rL   rR   r–   rœ   r¢   r­   re   rf   rg   s   @r   rj   rj   _   sÖ   ø‡ € Ø‡[�[×Ñ˜S 2§8¢8£:¨r¯}ª}«Ð"?Ó@ñ)ó Að)ò)ò8ð ‡[�[×Ñ˜Y¨"¯-©-¹»Ð)?À"Ç.Á.ÐSTÐRUÐAVÐ(WÓXØ‡[�[×Ñ˜S¢+Ó.ñKó /ó YðKò
Qò

ò
ò Nò "ò:
ò>:ò-÷40ð 0r%   rj   )r
   Únetworkxr   r   rj   rT   r%   r   Ú<module>r°      s&   ðÛ ã ÷VDñ VD÷rL0ó L0r%   