^jS&<ddlZddlZGddZGddZy)NceZdZejj dejejgdZ dZ dZ ejj dejejgejj dgddZd Zejj d d ggd d fgddfgdZdZdZy)TestImmediateDominatorsGctjtjd5tj|ddddy#1swYyxYw)z?Check that `immediate_dominators` raises for undirected graphs.not implemented for undirectedmatchrN)pytestraisesnxNetworkXNotImplementedimmediate_dominatorsselfrs s/var/www/ramen.bs-engineer-server.com/venv/lib/python3.12/site-packages/networkx/algorithms/tests/test_dominance.pytest_raises_undirectedz.TestImmediateDominators.test_raises_undirectedsC]]  % %-N  *  # #Aq ) * * * AActjdtj}tjtj d5tj |ddddy#1swYyxYw)zJCheck that `immediate_dominators` raises when `start` is not in the graph. create_usingnot in GrN)r empty_graphDiGraphr r NetworkXErrorrrs rtest_raises_nodez(TestImmediateDominators.test_raises_nodesO NN12:: 6 ]]2++; ? *  # #Aq ) * * * A++A4ctj}|jdtj|dik(sJ|j ddtj|dik(sJyNr)r radd_noderadd_edgers rtest_singletonz&TestImmediateDominators.test_singletons\ JJL 1 &&q!,222 1a&&q!,222genn c||tj}tj|d}|td|Dcic]}||dz  c}k(sJycc}w)zBCheck `immediate_dominators` is correct for path and cycle graphs.rrrN)r rrrange)rr$r%ridomis rtest_path_and_cyclez+TestImmediateDominators.test_path_and_cyclesR  -&&q!,%1+6Q1q566666s Acd}tj|tj}tj|d}|t d|Dcic]}||dz  c}k(sJycc}w)Nr'rr)r path_graphrrr+)rr%rr,r-s rtest_unreachablez(TestImmediateDominators.test_unreachable$sY  MM!"**, 7&&q!,%1+6Q1q566666s A&edgeliststartrr0r0rr0)r)r'r9)r'r:r' r6r7r0r9r8)r:r0)r:r9)r'rr:)r>r'r>ctj|}tj||}|tj t d||k(sJy)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 rN)r rrdictfromkeysr+)rr3r4rr,s rtest_irreduciblez(TestImmediateDominators.test_irreducible*sC6 JJx &&q%0t}}U1e_e<<<)r9r'r:r')r'r0rr0)r0r9r:r'r>Fcopyr>r'rr0r9r:r'r rrreverseredgesrresults rtest_domrel_pngz'TestImmediateDominators.test_domrel_pngIsvH JJu ((A.Q1qQ7777(()>BQ1qQ7777r#c gd}tj|}tj|d}|ddddddddk(sJtj|jdd }|dd d dd d dd k(sJy) N )rrr6)rr9)r0)r9r:rE)r:r>)r'rQr=rrr9r:)rr0r9r:r'r>rQFrFrQr')rrr0r9r:r'r>rIrKs rtest_boost_examplez*TestImmediateDominators.test_boost_exampleSsY JJu ((A.Q1qQ1CCCC(()>BQ1qQ1CCCCr#N)__name__ __module__ __qualname__r mark parametrizer Graph MultiGraphrrr"r1 cycle_graphr.r2rBrNrRr#rrrs [[S8288:}r}}"?@*A** 3 [[UR]]BNN$CD [[S+.7/E7 7  [[ W =q A   ( =)( =8 Dr#rceZdZejj dejejgdZ dZ dZ ejj deje fejdhfgejj dgdd Zd Zd Zd Zd ZdZdZdZdZdZy)TestDominanceFrontiersrctjtjd5tj|ddddy#1swYyxYw)z>Check that `dominance_frontiers` raises for undirected graphs.rrrN)r r r r dominance_frontiersrs rrz-TestDominanceFrontiers.test_raises_undirected`sC]]  % %-N  )  " "1a ( ) ) )rctjdtj}tjtj d5tj |ddddy#1swYyxYw)zICheck that `dominance_frontiers` raises when `start` is not in the graph.rrrrN)r rrr r rr_rs rrz'TestDominanceFrontiers.test_raises_nodehsO NN12:: 6 ]]2++; ? )  " "1a ( ) ) )rctj}|jdtj|ddt ik(sJ|j ddtj|dddhik(sJyr)r rr r_setr!rs rr"z%TestDominanceFrontiers.test_singletonnsh JJL 1 %%a+35z999 1a%%a+A3x777r#zgen, dfrr%r&c||tj}tj|dtj t ||k(sJy)zFCheck that `dominance_frontiers` is correct for path and cycle graphs.rrN)r rr_r@rAr+)rr$dfr%rs rr.z*TestDominanceFrontiers.test_path_and_cycleus@  -%%a+t}}U1Xr/JJJJr#cd}tj|tj}tj|dtj t d|tk(sJy)Nr'rr)r r1rr_r@rAr+rb)rr%rs rr2z'TestDominanceFrontiers.test_unreachable|sK  MM!"**, 7%%a+t}}U1a[#%/PPPPr#cgd}tj|}tj|ddhdhdhdhtdk(sJy)z Graph taken from figure 2 of "A simple, fast dominance algorithm." (2006). https://hdl.handle.net/1911/96345 r5r'r0rrHNr rr_rbrrLrs rtest_irreducible1z(TestDominanceFrontiers.test_irreducible1sU A JJu %%a+ssssu 0    r#cgd}tj|}tj|ddhddhdhddhdhtdk(sJy)z Graph taken from figure 4 of "A simple, fast dominance algorithm." (2006). https://hdl.handle.net/1911/96345 r;r>r0rr9rr0r9r:r'r>Nrgrhs rtest_irreducible2z(TestDominanceFrontiers.test_irreducible2s^ Y JJu %%a+s1vs1vsu 0    r#c2gd}tj|}tj|dtdhdhdhdhtdk(sJtj|j dd}|tdhdhdhdhtdk(sJy) NrDrr0r'rkFrFr>r rr_rbrJrKs rrNz&TestDominanceFrontiers.test_domrel_pngsH JJu %%a+ussssu 0    '' u (=qASUsssssuMMMMr#c fgd}tj|}tj|dttdhdhddhdhdhtdk(sJtj|j dd}ttdhdhddhdhdhtd}||k(sJy) NrPrrQr:)rrr0r9r:r'r>rQFrFrrn)rrLrrMexpecteds rrRz)TestDominanceFrontiers.test_boost_examplesY JJu %%a+uuss1vssu 0   '' u (=qAuuss1vssu  !!!r#c tj}|jgdtj|d}|t dhdhdht dhdhdhdhd k(sJy)N) )b0b1rsb2rub3)rwrs)rsb5)rxb6)rxb8)ryb7)rzr{)r{rw)rwb4rrrwr{rs) r|rxryr{rrrsrurwrzr radd_edges_fromr_rbrgrds rtest_discard_issuez)TestDominanceFrontiers.test_discard_issuesx JJL    # #At ,%&&&%&&&&    r#ctj}|jgdtj|d}|dhdht dk(sJy)N))ab)rc)rrr)rrrr}rs r test_loopz TestDominanceFrontiers.test_loopsI JJL =>  # #As +C5u359999r#ctj}gd}|j|tj|dy)N))entry_1rsrtrv)rwexit)entry_2rwr)r rr~r_)rrrLs rtest_missing_immediate_domsz2TestDominanceFrontiers.test_missing_immediate_domss6 JJL $  q),r#c tj}gd}|j|tj|d}t dhddhhdhdhdddht d}|D]!}t ||t ||k(r!Jy)N) )entryr)r1)r2)r3)r4)r5)r6)rr)rr)rr)rrrrr>rrr>rrrr)rrrrrrrrr})rrrLrdanswerr%s rtest_loops_largerz(TestDominanceFrontiers.test_loops_larger s JJL     # #Aw /U##(##E   0Ar!u:VAY/ // 0r#N)rSrTrUr rVrWr rXrYrrr"r1rbrZr.r2rirlrNrRrrrrr[r#rr]r]_s [[S8288:}r}}"?@)A)) 8 [[Y"--)?"..STRUAV(WX [[S+.K/YK Q   N ": >: -40r#r])r networkxr rr]r[r#rrs& VDVDrL0L0r#