1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc/images/strongly_connected_components.eps Tue Apr 21 10:34:49 2009 +0100
1.3 @@ -0,0 +1,180 @@
1.4 +%!PS-Adobe-2.0 EPSF-2.0
1.5 +%%Creator: LEMON, graphToEps()
1.6 +%%CreationDate: Fri Nov 4 13:47:12 2005
1.7 +%%BoundingBox: 0 0 842 596
1.8 +%%EndComments
1.9 +/lb { setlinewidth setrgbcolor newpath moveto
1.10 + 4 2 roll 1 index 1 index curveto stroke } bind def
1.11 +/l { setlinewidth setrgbcolor newpath moveto lineto stroke } bind def
1.12 +/c { newpath dup 3 index add 2 index moveto 0 360 arc closepath } bind def
1.13 +/sq { newpath 2 index 1 index add 2 index 2 index add moveto
1.14 + 2 index 1 index sub 2 index 2 index add lineto
1.15 + 2 index 1 index sub 2 index 2 index sub lineto
1.16 + 2 index 1 index add 2 index 2 index sub lineto
1.17 + closepath pop pop pop} bind def
1.18 +/di { newpath 2 index 1 index add 2 index moveto
1.19 + 2 index 2 index 2 index add lineto
1.20 + 2 index 1 index sub 2 index lineto
1.21 + 2 index 2 index 2 index sub lineto
1.22 + closepath pop pop pop} bind def
1.23 +/nc { 0 0 0 setrgbcolor 5 index 5 index 5 index c fill
1.24 + setrgbcolor 1.1 div c fill
1.25 + } bind def
1.26 +/nsq { 0 0 0 setrgbcolor 5 index 5 index 5 index sq fill
1.27 + setrgbcolor 1.1 div sq fill
1.28 + } bind def
1.29 +/ndi { 0 0 0 setrgbcolor 5 index 5 index 5 index di fill
1.30 + setrgbcolor 1.1 div di fill
1.31 + } bind def
1.32 +/arrl 10 def
1.33 +/arrw 3 def
1.34 +/lrl { 2 index mul exch 2 index mul exch rlineto pop} bind def
1.35 +/arr { setrgbcolor /y1 exch def /x1 exch def /dy exch def /dx exch def
1.36 + /w exch def /len exch def
1.37 + newpath x1 dy w 2 div mul add y1 dx w 2 div mul sub moveto
1.38 + len w sub arrl sub dx dy lrl
1.39 + arrw dy dx neg lrl
1.40 + dx arrl w add mul dy w 2 div arrw add mul sub
1.41 + dy arrl w add mul dx w 2 div arrw add mul add rlineto
1.42 + dx arrl w add mul neg dy w 2 div arrw add mul sub
1.43 + dy arrl w add mul neg dx w 2 div arrw add mul add rlineto
1.44 + arrw dy dx neg lrl
1.45 + len w sub arrl sub neg dx dy lrl
1.46 + closepath fill } bind def
1.47 +/cshow { 2 index 2 index moveto dup stringwidth pop
1.48 + neg 2 div fosi .35 mul neg rmoveto show pop pop} def
1.49 +
1.50 +gsave
1.51 +90 rotate
1.52 +0 -842 translate
1.53 +77.1122 15 translate
1.54 +0.585745 dup scale
1.55 +90 rotate
1.56 +695.963 -397.916 translate
1.57 +%Edges:
1.58 +gsave
1.59 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.60 +218.178 27.2723 moveto
1.61 +192.373 -40.1551 188.622 -49.9556 169.228 -100.631 curveto stroke
1.62 +newpath 164.939 -111.838 moveto 165.492 -99.2013 lineto 172.964 -102.061 lineto closepath fill
1.63 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.64 +44.8044 15.5841 moveto
1.65 +119.293 20.6059 129.775 21.3125 186.25 25.1199 curveto stroke
1.66 +newpath 198.223 25.927 moveto 186.519 21.1289 lineto 185.981 29.1108 lineto closepath fill
1.67 +2 setlinewidth 1 0 0 setrgbcolor newpath
1.68 +218.178 27.2723 moveto
1.69 +285.395 -87.4449 290.763 -96.6058 348.102 -194.464 curveto stroke
1.70 +newpath 354.169 -204.818 moveto 344.651 -196.487 lineto 351.554 -192.442 lineto closepath fill
1.71 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.72 +157.79 -130.517 moveto
1.73 +108.71 -67.0521 102.27 -58.7243 64.3804 -9.72954 curveto stroke
1.74 +newpath 57.0394 -0.236898 moveto 67.5446 -7.28254 lineto 61.2162 -12.1765 lineto closepath fill
1.75 +2 setlinewidth 1 0 0 setrgbcolor newpath
1.76 +-105.193 -261.035 moveto
1.77 +-35.6576 -132.801 -30.5923 -123.459 29.5506 -12.5464 curveto stroke
1.78 +newpath 35.2708 -1.99743 moveto 33.0669 -14.4531 lineto 26.0343 -10.6397 lineto closepath fill
1.79 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.80 +-465.576 -42.8564 moveto
1.81 +-559.078 -25.5413 -569.47 -23.6169 -644.498 -9.72286 curveto stroke
1.82 +newpath -656.297 -7.5378 moveto -643.77 -5.78973 lineto -645.226 -13.656 lineto closepath fill
1.83 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.84 +-574.666 -153.893 moveto
1.85 +-528.842 -107.252 -521.515 -99.794 -488.002 -65.683 curveto stroke
1.86 +newpath -479.592 -57.123 moveto -485.149 -68.4863 lineto -490.856 -62.8797 lineto closepath fill
1.87 +2 setlinewidth 1 0 0 setrgbcolor newpath
1.88 +-490.901 120.777 moveto
1.89 +-480.122 51.1328 -478.519 40.7713 -470.47 -11.2329 curveto stroke
1.90 +newpath -468.635 -23.0917 moveto -474.423 -11.8447 lineto -466.517 -10.6212 lineto closepath fill
1.91 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.92 +-675.963 -3.89604 moveto
1.93 +-632.116 -68.8235 -626.228 -77.5422 -592.575 -127.374 curveto stroke
1.94 +newpath -585.859 -137.319 moveto -595.89 -129.612 lineto -589.26 -125.135 lineto closepath fill
1.95 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.96 +-490.901 120.777 moveto
1.97 +-435.445 215.844 -430.107 224.995 -384.3 303.522 curveto stroke
1.98 +newpath -378.253 313.887 moveto -380.845 301.507 lineto -387.755 305.537 lineto closepath fill
1.99 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.100 +-266.879 114.933 moveto
1.101 +-367.067 117.547 -377.642 117.822 -458.912 119.943 curveto stroke
1.102 +newpath -470.908 120.255 moveto -458.807 123.941 lineto -459.016 115.944 lineto closepath fill
1.103 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.104 +-368.176 331.163 moveto
1.105 +-322.511 233.685 -318.018 224.095 -280.454 143.911 curveto stroke
1.106 +newpath -275.364 133.044 moveto -284.076 142.214 lineto -276.832 145.608 lineto closepath fill
1.107 +2 setlinewidth 1 0 0 setrgbcolor newpath
1.108 +-266.879 114.933 moveto
1.109 +-224.004 235.52 -220.448 245.52 -184.094 347.765 curveto stroke
1.110 +newpath -180.074 359.072 moveto -180.325 346.425 lineto -187.863 349.105 lineto closepath fill
1.111 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.112 +-251.294 -335.059 moveto
1.113 +-189.25 -303.624 -179.902 -298.887 -133.738 -275.498 curveto stroke
1.114 +newpath -123.034 -270.074 moveto -131.93 -279.066 lineto -135.546 -271.93 lineto closepath fill
1.115 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.116 +-389.604 -136.361 moveto
1.117 +-327.15 -226.083 -321.098 -234.777 -269.576 -308.795 curveto stroke
1.118 +newpath -262.72 -318.644 moveto -272.859 -311.081 lineto -266.293 -306.51 lineto closepath fill
1.119 +2 setlinewidth 1 0 0 setrgbcolor newpath
1.120 +5.84406 175.322 moveto
1.121 +-76.0754 267.926 -83.1051 275.873 -152.172 353.948 curveto stroke
1.122 +newpath -160.122 362.936 moveto -149.176 356.598 lineto -155.168 351.298 lineto closepath fill
1.123 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.124 +169.478 311.683 moveto
1.125 +96.8003 251.119 88.6819 244.353 30.4273 195.808 curveto stroke
1.126 +newpath 21.2086 188.126 moveto 27.8666 198.881 lineto 32.988 192.735 lineto closepath fill
1.127 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.128 +342.851 111.037 moveto
1.129 +263.766 202.563 256.831 210.589 190.4 287.47 curveto stroke
1.130 +newpath 182.554 296.55 moveto 193.427 290.085 lineto 187.373 284.855 lineto closepath fill
1.131 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.132 +5.84406 175.322 moveto
1.133 +163.16 145.314 173.605 143.321 311.418 117.033 curveto stroke
1.134 +newpath 323.205 114.784 moveto 310.668 113.104 lineto 312.167 120.962 lineto closepath fill
1.135 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.136 +342.851 111.037 moveto
1.137 +497.255 2.58683 505.964 -3.53033 643.932 -100.436 curveto stroke
1.138 +newpath 653.752 -107.334 moveto 641.633 -103.71 lineto 646.231 -97.163 lineto closepath fill
1.139 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.140 +364.28 -222.074 moveto
1.141 +354.298 -66.9063 353.616 -56.2971 344.905 79.1029 curveto stroke
1.142 +newpath 344.135 91.0781 moveto 348.897 79.3597 lineto 340.914 78.8461 lineto closepath fill
1.143 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.144 +670.118 -118.829 moveto
1.145 +528.037 -166.793 517.967 -170.192 394.599 -211.839 curveto stroke
1.146 +newpath 383.229 -215.677 moveto 393.32 -208.049 lineto 395.878 -215.629 lineto closepath fill
1.147 +2 setlinewidth 1 0 0 setrgbcolor newpath
1.148 +-105.193 -261.035 moveto
1.149 +118.401 -242.479 129.015 -241.598 332.39 -224.721 curveto stroke
1.150 +newpath 344.348 -223.728 moveto 332.72 -228.707 lineto 332.059 -220.734 lineto closepath fill
1.151 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.152 +-105.193 -261.035 moveto
1.153 +-160.867 -161.176 -166.028 -151.918 -212.336 -68.858 curveto stroke
1.154 +newpath -218.179 -58.3769 moveto -208.842 -66.9102 lineto -215.829 -70.8058 lineto closepath fill
1.155 +2 setlinewidth 0 0 1 setrgbcolor newpath
1.156 +-227.918 -40.9084 moveto
1.157 +-298.35 -82.4884 -307.42 -87.8432 -362.048 -120.093 curveto stroke
1.158 +newpath -372.381 -126.193 moveto -364.081 -116.648 lineto -360.014 -123.537 lineto closepath fill
1.159 +grestore
1.160 +%Nodes:
1.161 +gsave
1.162 +-389.604 -136.361 20 0 1 0 nc
1.163 +-227.918 -40.9084 20 0 1 0 nc
1.164 +-105.193 -261.035 20 0 1 0 nc
1.165 +364.28 -222.074 20 1 1 0 nc
1.166 +670.118 -118.829 20 1 1 0 nc
1.167 +342.851 111.037 20 1 1 0 nc
1.168 +5.84406 175.322 20 1 1 0 nc
1.169 +169.478 311.683 20 1 1 0 nc
1.170 +-173.374 377.916 20 1 0 1 nc
1.171 +-251.294 -335.059 20 0 1 0 nc
1.172 +-266.879 114.933 20 0 0 0 nc
1.173 +-368.176 331.163 20 0 0 0 nc
1.174 +-490.901 120.777 20 0 0 0 nc
1.175 +-574.666 -153.893 20 1 0 0 nc
1.176 +-675.963 -3.89604 20 1 0 0 nc
1.177 +-465.576 -42.8564 20 1 0 0 nc
1.178 +44.8044 15.5841 20 0 0 1 nc
1.179 +157.79 -130.517 20 0 0 1 nc
1.180 +218.178 27.2723 20 0 0 1 nc
1.181 +grestore
1.182 +grestore
1.183 +showpage