blob: a578c67e00a7682e2e96c4798f4634c5cc33ab35 (
plain) (
tree)
|
|
FOR1 �BEAMAtom � g
digraph_utils
componentsstrong_componentscyclic_strong_components reachablefirstlistsappendreachable_neighbours not_firstreachingreaching_neighbourstopsorterlanglengthdigraphverticesfalse
is_acyclic=/=arborescence_rootno_edgesno_vertices-foldlyesnois_arborescenceis_tree=:=
loop_verticessubgraphthrowbadargerrorcondensationetsnewforeachdeletepreorderreverse postorderforestpretraversemembertrue ptraverseinsertrevpreorderrevpostorderposttraversein
in_neighbours++outout_neighboursinoutremove_singletonsis_reflexive_vertex
subgraph_optsinherittypekeep_labelsinfo cyclicity keysearch
protectionsubgraph_vertexvertexok
add_vertex
subgraph_edgeedgeadd_edgecondense
$end_of_tablelookupnextmodule_infoget_module_info-condense/5-fun-1--condense/5-fun-0--subgraph/4-fun-2- out_edges-subgraph/4-fun-1--subgraph/4-fun-0--revpreorder/1-fun-0--forest/4-fun-0--condensation/1-fun-2--condensation/1-fun-1-+-condensation/1-fun-0--loop_vertices/1-lc$^0/1-0--arborescence_root/1-fun-0- in_degree-topsort/1-fun-0--reaching_neighbours/2-fun-0--reaching/2-fun-0--reachable_neighbours/2-fun-0--reachable/2-fun-0--strong_components/1-fun-0--components/1-fun-0-Code � � � ;�" @g @@
20� 2@ @�0
H@g@@#@0
4 P�@B`@�PE@#@0
Wp�`R �7u @@g @#@@b3@� �p@
6�p ���� �7� @@g0@#@@�3@� ��@
6�� ���� �7� @@g@@#@@b3@� ��@
6�� �� �7� @@gP@#@@�3@� ��@
6�� ��� @��
H@g`@@#@�0
4�|@@� �|+
@ @
�
@�
+
@� �
0
@
�
@�@@@�P�}`+
h
@gp@@@� @@#@�0p8
A#4
#0 F G
Gi j@
@
�H�
�
0
�
@�@@@�P�}`+
@� �%�|� @
�
@� @
�!�
" h
#@#�0
`i#j+
$
!,
%
"$� l#%@
"��&�
0'0h
(�!0
`i(j+
)
!,
*
")� l#*@
"�"�+�#
$,@@4�$E@$@@
$�% �@@@
$�& �@@g�@$#@�'0p@@#@4�(0
`@#@@43@@4g�@$$�) �@�*�@�0�+�@-�,
). �-
F�-� /�.
+0 �/
H�/� 1�0
, 2 @@�1 @@#@0
4 3�2
,04@b3@
65�3
,@6@@@$@@G @
,@3@#4�4 �@#@$3@@$g�@4#@4� �50p@@��6�@7�7
-`80
7;
7@b
9�
:9 `E@#@3#@C3@C`
?:P`@C@S@@3$@#4@D�8 �0
=;
=@
/
;
<;@P<@#@D@43D@$�9K0@3@C@$#@S@4`
?P=�8J>�:
0`?8
Bp`AcT@D@c@3@S@C@$@#4@d�; �0
D;
D@
@
/
A@ FGd@$�< �@T#@d@D3T@4�=K0 EdC@$3@4#@S@D`
?pA@$3@4#@C@D@S@T`
?pB4
>4
CC@SC `ECSD�;JE�>
2F@g�@@� �?
2�? G�@
3H @@G @
,�A �@@�B @#@3@�B@
J@@��C�@I�D
4@J8
NP@ACD@4@C@#@3@@$�E �0
O;
O@
K
/
LK FG@$�F �@@#@4�G0
S@$#@3@4�G@
J E=
ML@M@$#@4@3@D@
JPN4
I@3O�EJP�H
50Q0@#�I @�I R�J
80S0@#�K @�K T�L
:0U 0@@�M0
S@@#@0
Q V�N
;0W8
[A3C8
Z3A3Sc4
Zc@`@S@#@@C$@34�O
^0
\;
\@
/
X
YX E4#@@$0
W@Y@@#@$0
W@Z PE3##@C0
W[4
V@#\�OJ]�P
< ^ @#@@#@�Q @@�Q _�R
=0`@3@C@
>@#@
/#P
ba�S
=Pb8
fASc9
hS:
hS BS sBS�0
hs;s
h@
?
c
@
ec,
d�
>7
h�d@�@cP
ber
h�@�#@cP
bf4
h+
g
>@P@3@C@$@#4�T@@#@
B@#�U09
i:
i B9
i:
i B3@@#@
D@3�V09
j:
j B9
j:
j @ B#E#CEC#@@43@$@
l@g@3@#3@#@C@
lh@
"�WNi�UHj�VHk�X
@lP@hD
m@4@#@3@$�YiD@4@#@@#Dg�@$�Z �@4@D#@g�@@D�[ @@�@�[ �@mjD+
n
#,
o
"n� l#Po@
"�\Pp�]
E@q0@@C@@C@3@#@$�^ +
r
@
G0r+
s
r
s@$@�_ 0s9
t:
t B+
t
/@#@$@�`00t�^Ju�a
I@v`@@C@@C@34@#D@T�b 9
{:
{@B$B B0@D@�c +
w
@
G`w;4
|@
x
/
zxr
y4@$#@3@T@C@D�dP`y+
|4
/z@$#@3@T@C@D�eP`{�bH|�cJ}�f
LP~PP@D@4@@
L@3@C@#$�g �@@g�@4g�@D�h �@D@$�i @�j@43@$C@D#@S@@D�@�j`
�@�k��l
L`�+
�
M@
G�p`@T@@S@@C$@34@#D@d�m 8
�A#9
�:
� B34
�#@3@$@�n @D@#�`@�o0@TT@D�p @$3@C@4#@S@D`
�`��mH��
P �@� N!��
P�@@� N "��q
R0�0@@@#�q @@�q ���r
S0�0@@@#�s 8
�A#9
�:
� B34
�# @FG3@�t ���sH��u
T@� @@@@#@3#@g@#@@@#��v #@@�u ���u
V@�@#C@3#@3@C@
v��Z
W@�@#C@3#@3@C@
q��?
X0�0
S��w
Y`�@Cc@#C@c#@3c@S3@S@@c`
8��)
ZP�@CS@C@SP
~��x
[@�0@@@3@#@$g@�x �0 F G$G@� �y �+
�
/�z} $��yH��x
]0�
00F 3GG#@@3�{ �+
�
/ ��{H��
^ �8
�0 A@@$�
^0
�;
�@
�
/
��@@
�0�@@� �
� E�4
���J��|
_0� 0@@@#@�} %-
�;
�@
�
��+
� E �@ ��}J��
a0�0
Q���
b0�0
Q���
c0�0
Q���
d0�0
S��p
e0�0
S��0
f0�0
Q��~
g0�0
U StrT ImpT � &
|