diff options
Diffstat (limited to 'dev/ocamlweb-doc/library.dep.ps')
| -rw-r--r-- | dev/ocamlweb-doc/library.dep.ps | 1155 |
1 files changed, 546 insertions, 609 deletions
diff --git a/dev/ocamlweb-doc/library.dep.ps b/dev/ocamlweb-doc/library.dep.ps index 1c68240e..c9bb351e 100644 --- a/dev/ocamlweb-doc/library.dep.ps +++ b/dev/ocamlweb-doc/library.dep.ps @@ -1,9 +1,9 @@ %!PS-Adobe-2.0 -%%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005) -%%For: (herbelin) Hugo Herbelin +%%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007) +%%For: (notin) Jean-Marc Notin,,, %%Title: G %%Pages: (atend) -%%BoundingBox: 35 35 577 207 +%%BoundingBox: (atend) %%EndComments save %%BeginProlog @@ -16,57 +16,7 @@ mark EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval - -EncodingVector - dup 306 /AE - dup 301 /Aacute - dup 302 /Acircumflex - dup 304 /Adieresis - dup 300 /Agrave - dup 305 /Aring - dup 303 /Atilde - dup 307 /Ccedilla - dup 311 /Eacute - dup 312 /Ecircumflex - dup 313 /Edieresis - dup 310 /Egrave - dup 315 /Iacute - dup 316 /Icircumflex - dup 317 /Idieresis - dup 314 /Igrave - dup 334 /Udieresis - dup 335 /Yacute - dup 376 /thorn - dup 337 /germandbls - dup 341 /aacute - dup 342 /acircumflex - dup 344 /adieresis - dup 346 /ae - dup 340 /agrave - dup 345 /aring - dup 347 /ccedilla - dup 351 /eacute - dup 352 /ecircumflex - dup 353 /edieresis - dup 350 /egrave - dup 355 /iacute - dup 356 /icircumflex - dup 357 /idieresis - dup 354 /igrave - dup 360 /dcroat - dup 361 /ntilde - dup 363 /oacute - dup 364 /ocircumflex - dup 366 /odieresis - dup 362 /ograve - dup 365 /otilde - dup 370 /oslash - dup 372 /uacute - dup 373 /ucircumflex - dup 374 /udieresis - dup 371 /ugrave - dup 375 /yacute - dup 377 /ydieresis +EncodingVector 45 /hyphen put % Set up ISO Latin 1 character encoding /starnetISO { @@ -98,8 +48,8 @@ cleartomark /InvScaleFactor 1.0 def /set_scale { - dup 1 exch div /InvScaleFactor exch def - dup scale + dup 1 exch div /InvScaleFactor exch def + scale } bind def % styles @@ -229,601 +179,587 @@ def } if %%EndSetup +setupLatin1 %%Page: 1 1 -%%PageBoundingBox: 36 36 577 207 -%%PageOrientation: Portrait +%%PageBoundingBox: 36 36 576 752 +%%PageOrientation: Landscape gsave -35 35 542 172 boxprim clip newpath -36 36 translate +36 36 576 752 boxprim clip newpath 0 0 1 beginpage -0.6750 set_scale -0 0 translate 0 rotate -0.000 0.000 0.000 graphcolor +0.985401 0.985401 set_scale 90 rotate 40.5333 -580.533 translate +0.000 0.000 1.000 graphcolor +newpath -4 -4 moveto +-4 544 lineto +723 544 lineto +723 -4 lineto +closepath fill +0.985401 setlinewidth +0.000 0.000 1.000 graphcolor +newpath -4 -4 moveto +-4 544 lineto +723 544 lineto +723 -4 lineto +closepath stroke +% Declare +gsave +0.502 1.000 0.820 nodecolor +488 436 34.1751 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +488 436 34.1751 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font - -% States -gsave 10 dict begin -30 18 30 18 ellipse_path -stroke -gsave 10 dict begin -13 13 moveto -(States) -[7.44 4.08 6.24 3.84 6.24 5.52] -xshow -end grestore -end grestore - -% Library -gsave 10 dict begin -132 18 34 18 ellipse_path -stroke -gsave 10 dict begin -110 13 moveto -(Library) -[8.4 3.84 6.96 4.56 6.24 4.8 6.96] -xshow -end grestore -end grestore - -% States -> Library -newpath 60 18 moveto -69 18 78 18 87 18 curveto +488 431 moveto 43 -0.5 (Declare) alignedtext +grestore +% Dischargedhypsmap +gsave +0.502 1.000 0.820 nodecolor +488 353 69.1764 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +488 353 69.1764 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +488 348 moveto 113 -0.5 (Dischargedhypsmap) alignedtext +grestore +% Declare->Dischargedhypsmap +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 488 418 moveto +488 407 488 393 488 381 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 491.5 381 moveto +488 371 lineto +484.5 381 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 87 22 moveto -97 18 lineto -87 15 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 87 22 moveto -97 18 lineto -87 15 lineto -closepath -stroke -end grestore - -% Declaremods -gsave 10 dict begin -274 18 50 18 ellipse_path -stroke -gsave 10 dict begin -236 13 moveto -(Declaremods) -[10.08 6.24 6.24 3.84 6.24 4.56 6.24 10.8 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Library -> Declaremods -newpath 167 18 moveto -181 18 197 18 213 18 curveto +0.000 0.000 0.000 edgecolor +newpath 491.5 381 moveto +488 371 lineto +484.5 381 lineto +closepath stroke +grestore +% Impargs +gsave +0.502 1.000 0.820 nodecolor +201 353 36.1777 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +201 353 36.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +201 348 moveto 46 -0.5 (Impargs) alignedtext +grestore +% Declare->Impargs +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 458 427 moveto +407 412 301 382 242 365 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 242.584 361.521 moveto +232 362 lineto +240.573 368.226 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 213 22 moveto -223 18 lineto -213 15 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 213 22 moveto -223 18 lineto -213 15 lineto -closepath -stroke -end grestore - -% Nametab -gsave 10 dict begin -523 134 39 18 ellipse_path -stroke -gsave 10 dict begin -497 129 moveto -(Nametab) -[9.6 6.24 10.8 6 4.08 6.24 6.96] -xshow -end grestore -end grestore - -% Libnames -gsave 10 dict begin -642 134 41 18 ellipse_path -stroke -gsave 10 dict begin -613 129 moveto -(Libnames) -[8.4 3.84 6.96 6.96 6.24 10.8 6.24 5.52] -xshow -end grestore -end grestore - -% Nametab -> Libnames -newpath 562 134 moveto -571 134 580 134 590 134 curveto +0.000 0.000 0.000 edgecolor +newpath 242.584 361.521 moveto +232 362 lineto +240.573 368.226 lineto +closepath stroke +grestore +% Decl_kinds +gsave +0.502 1.000 0.820 nodecolor +661 353 44.1757 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +661 353 44.1757 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +661 348 moveto 63 -0.5 (Decl_kinds) alignedtext +grestore +% Declare->Decl_kinds +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 514 424 moveto +543 410 590 388 624 372 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 625.958 374.916 moveto +633 367 lineto +622.559 368.797 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 590 138 moveto -600 134 lineto -590 131 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 590 138 moveto -600 134 lineto -590 131 lineto -closepath -stroke -end grestore - -% Summary -gsave 10 dict begin -642 65 40 18 ellipse_path -stroke -gsave 10 dict begin -614 60 moveto -(Summary) -[7.68 6.96 10.8 10.8 6.24 4.8 6.96] -xshow -end grestore -end grestore - -% Nametab -> Summary -newpath 547 120 moveto -565 110 589 96 608 84 curveto +0.000 0.000 0.000 edgecolor +newpath 625.958 374.916 moveto +633 367 lineto +622.559 368.797 lineto +closepath stroke +grestore +% Lib +gsave +0.502 1.000 0.820 nodecolor +219 270 27 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +219 270 27 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +219 265 moveto 20 -0.5 (Lib) alignedtext +grestore +% Dischargedhypsmap->Lib +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 443 339 moveto +390 323 302 296 254 281 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 254.584 277.521 moveto +244 278 lineto +252.573 284.226 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 610 87 moveto -617 79 lineto -607 81 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 610 87 moveto -617 79 lineto -607 81 lineto -closepath -stroke -end grestore - -% Nameops -gsave 10 dict begin -760 134 40 18 ellipse_path -stroke -gsave 10 dict begin -733 129 moveto -(Nameops) -[9.6 6.24 10.8 6.24 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Libnames -> Nameops -newpath 684 134 moveto -693 134 701 134 710 134 curveto +0.000 0.000 0.000 edgecolor +newpath 254.584 277.521 moveto +244 278 lineto +252.573 284.226 lineto +closepath stroke +grestore +% Global +gsave +0.502 1.000 0.820 nodecolor +82 270 32.1777 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +82 270 32.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +82 265 moveto 38 -0.5 (Global) alignedtext +grestore +% Impargs->Global +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 180 338 moveto +161 325 132 305 110 290 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 112.1 287.2 moveto +102 284 lineto +107.9 292.8 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 710 138 moveto -720 134 lineto -710 131 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 710 138 moveto -720 134 lineto -710 131 lineto -closepath -stroke -end grestore - -% Lib -gsave 10 dict begin -413 153 27 18 ellipse_path -stroke -gsave 10 dict begin -402 148 moveto -(Lib) -[8.4 3.84 6.96] -xshow -end grestore -end grestore - -% Declaremods -> Lib -newpath 315 29 moveto -325 33 336 38 344 45 curveto -359 58 383 99 399 127 curveto +0.000 0.000 0.000 edgecolor +newpath 112.1 287.2 moveto +102 284 lineto +107.9 292.8 lineto +closepath stroke +grestore +% Impargs->Lib +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 205 335 moveto +207 324 210 310 213 298 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 216.471 298.492 moveto +215 288 lineto +209.607 297.119 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 396 129 moveto -404 136 lineto -402 126 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 396 129 moveto -404 136 lineto -402 126 lineto -closepath -stroke -end grestore - -% Global -gsave 10 dict begin -413 65 32 18 ellipse_path -stroke -gsave 10 dict begin -393 60 moveto -(Global) -[10.08 3.84 6.96 6.96 6.24 3.84] -xshow -end grestore -end grestore - -% Declaremods -> Global -newpath 311 30 moveto -331 37 355 45 375 52 curveto +0.000 0.000 0.000 edgecolor +newpath 216.471 298.492 moveto +215 288 lineto +209.607 297.119 lineto +closepath stroke +grestore +% Declaremods +gsave +0.502 1.000 0.820 nodecolor +65 353 49.1759 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +65 353 49.1759 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +65 348 moveto 73 -0.5 (Declaremods) alignedtext +grestore +% Declaremods->Global +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 69 335 moveto +71 324 74 310 76 298 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 79.4708 298.492 moveto +78 288 lineto +72.6067 297.119 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 374 55 moveto -385 55 lineto -376 49 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 374 55 moveto -385 55 lineto -376 49 lineto -closepath -stroke -end grestore - -% Libobject -gsave 10 dict begin -523 188 40 18 ellipse_path -stroke -gsave 10 dict begin -495 183 moveto -(Libobject) -[8.4 3.84 6.96 6.96 6.96 3.84 6.24 6.24 3.84] -xshow -end grestore -end grestore - -% Libobject -> Libnames -newpath 552 175 moveto -567 168 587 159 604 151 curveto +0.000 0.000 0.000 edgecolor +newpath 79.4708 298.492 moveto +78 288 lineto +72.6067 297.119 lineto +closepath stroke +grestore +% Declaremods->Lib +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 93 338 moveto +120 324 161 301 189 286 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 190.958 288.916 moveto +198 281 lineto +187.559 282.797 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 605 154 moveto -613 147 lineto -602 148 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 605 154 moveto -613 147 lineto -602 148 lineto -closepath -stroke -end grestore - -% Lib -> Nametab -newpath 439 148 moveto -450 146 464 144 476 142 curveto +0.000 0.000 0.000 edgecolor +newpath 190.958 288.916 moveto +198 281 lineto +187.559 282.797 lineto +closepath stroke +grestore +% Summary +gsave +0.502 1.000 0.820 nodecolor +69 103 40.1755 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +69 103 40.1755 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +69 98 moveto 55 -0.5 (Summary) alignedtext +grestore +% Global->Summary +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 81 252 moveto +78 223 74 166 71 131 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 74.4778 130.602 moveto +70 121 lineto +67.5125 131.299 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 477 145 moveto -486 140 lineto -476 139 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 477 145 moveto -486 140 lineto -476 139 lineto -closepath -stroke -end grestore - -% Lib -> Libobject -newpath 437 161 moveto -450 165 466 170 480 174 curveto +0.000 0.000 0.000 edgecolor +newpath 74.4778 130.602 moveto +70 121 lineto +67.5125 131.299 lineto +closepath stroke +grestore +% Libnames +gsave +0.502 1.000 0.820 nodecolor +203 103 40.1755 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +203 103 40.1755 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +203 98 moveto 55 -0.5 (Libnames) alignedtext +grestore +% Global->Libnames +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 94 253 moveto +115 224 159 164 184 129 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 186.8 131.1 moveto +190 121 lineto +181.2 126.9 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 479 177 moveto -490 177 lineto -481 171 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 479 177 moveto -490 177 lineto -481 171 lineto -closepath -stroke -end grestore - -% Impargs -gsave 10 dict begin -274 126 36 18 ellipse_path -stroke -gsave 10 dict begin -251 121 moveto -(Impargs) -[4.56 10.56 6.96 6.24 4.32 6.96 5.52] -xshow -end grestore -end grestore - -% Impargs -> Lib -newpath 308 133 moveto -329 137 355 142 377 146 curveto +0.000 0.000 0.000 edgecolor +newpath 186.8 131.1 moveto +190 121 lineto +181.2 126.9 lineto +closepath stroke +grestore +% Nametab +gsave +0.502 1.000 0.820 nodecolor +203 186 38.1777 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +203 186 38.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +203 181 moveto 50 -0.5 (Nametab) alignedtext +grestore +% Lib->Nametab +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 216 252 moveto +214 241 211 226 209 214 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 212.393 213.119 moveto +207 204 lineto +205.529 214.492 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 377 149 moveto -387 148 lineto -378 143 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 377 149 moveto -387 148 lineto -378 143 lineto -closepath -stroke -end grestore - -% Impargs -> Global -newpath 304 116 moveto -316 111 331 105 344 99 curveto -357 94 369 88 381 82 curveto +0.000 0.000 0.000 edgecolor +newpath 212.393 213.119 moveto +207 204 lineto +205.529 214.492 lineto +closepath stroke +grestore +% Libobject +gsave +0.502 1.000 0.820 nodecolor +329 186 40.1777 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +329 186 40.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +329 181 moveto 54 -0.5 (Libobject) alignedtext +grestore +% Lib->Libobject +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 237 256 moveto +254 243 280 223 300 208 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 302.1 210.8 moveto +308 202 lineto +297.9 205.2 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 382 85 moveto -390 78 lineto -379 79 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 382 85 moveto -390 78 lineto -379 79 lineto -closepath -stroke -end grestore - -% Global -> Libnames -newpath 443 73 moveto -473 81 522 94 564 107 curveto -576 111 589 115 600 119 curveto +0.000 0.000 0.000 edgecolor +newpath 302.1 210.8 moveto +308 202 lineto +297.9 205.2 lineto +closepath stroke +grestore +% Nameops +gsave +0.502 1.000 0.820 nodecolor +203 20 39.1777 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +203 20 39.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +203 15 moveto 52 -0.5 (Nameops) alignedtext +grestore +% Libnames->Nameops +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 203 85 moveto +203 74 203 60 203 48 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 206.5 48 moveto +203 38 lineto +199.5 48 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 599 122 moveto -610 122 lineto -601 116 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 599 122 moveto -610 122 lineto -601 116 lineto -closepath -stroke -end grestore - -% Global -> Summary -newpath 446 65 moveto -484 65 547 65 591 65 curveto +0.000 0.000 0.000 edgecolor +newpath 206.5 48 moveto +203 38 lineto +199.5 48 lineto +closepath stroke +grestore +% Goptions +gsave +0.502 1.000 0.820 nodecolor +322 353 38.1754 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +322 353 38.1754 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +322 348 moveto 51 -0.5 (Goptions) alignedtext +grestore +% Goptions->Lib +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 303 337 moveto +287 324 263 305 245 291 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 246.831 287.951 moveto +237 284 lineto +242.221 293.219 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 591 69 moveto -601 65 lineto -591 62 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 591 69 moveto -601 65 lineto -591 62 lineto -closepath -stroke -end grestore - -% Goptions -gsave 10 dict begin -274 180 39 18 ellipse_path -stroke -gsave 10 dict begin -248 175 moveto -(Goptions) -[10.08 6.96 6.96 3.84 3.84 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Goptions -> Lib -newpath 310 173 moveto -331 169 356 164 377 160 curveto +0.000 0.000 0.000 edgecolor +newpath 246.831 287.951 moveto +237 284 lineto +242.221 293.219 lineto +closepath stroke +grestore +% Nametab->Summary +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 180 172 moveto +158 159 125 138 101 123 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 102.441 119.797 moveto +92 118 lineto +99.0418 125.916 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 378 163 moveto -387 158 lineto -377 157 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 378 163 moveto -387 158 lineto -377 157 lineto -closepath -stroke -end grestore - -% Dischargedhypsmap -gsave 10 dict begin -274 234 70 18 ellipse_path -stroke -gsave 10 dict begin -217 229 moveto -(Dischargedhypsmap) -[10.08 3.84 5.52 6 6.96 6.24 4.32 6.72 6.24 6.96 6.48 6.96 6.96 5.52 10.8 6.24 6.96] -xshow -end grestore -end grestore - -% Dischargedhypsmap -> Lib -newpath 317 220 moveto -326 216 336 212 344 207 curveto -360 197 376 185 389 175 curveto +0.000 0.000 0.000 edgecolor +newpath 102.441 119.797 moveto +92 118 lineto +99.0418 125.916 lineto +closepath stroke +grestore +% Nametab->Libnames +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 203 168 moveto +203 157 203 143 203 131 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 206.5 131 moveto +203 121 lineto +199.5 131 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 392 177 moveto -397 168 lineto -387 172 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 392 177 moveto -397 168 lineto -387 172 lineto -closepath -stroke -end grestore - -% Declare -gsave 10 dict begin -132 126 35 18 ellipse_path -stroke -gsave 10 dict begin -109 121 moveto -(Declare) -[10.08 6.24 6.24 3.84 6.24 4.56 6.24] -xshow -end grestore -end grestore - -% Declare -> Impargs -newpath 168 126 moveto -186 126 208 126 228 126 curveto +0.000 0.000 0.000 edgecolor +newpath 206.5 131 moveto +203 121 lineto +199.5 131 lineto +closepath stroke +grestore +% Libobject->Libnames +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 306 171 moveto +286 158 256 138 235 124 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 236.262 120.635 moveto +226 118 lineto +232.379 126.459 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 228 130 moveto -238 126 lineto -228 123 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 228 130 moveto -238 126 lineto -228 123 lineto -closepath -stroke -end grestore - -% Declare -> Dischargedhypsmap -newpath 144 143 moveto -157 161 179 189 204 207 curveto -209 210 215 213 221 216 curveto +0.000 0.000 0.000 edgecolor +newpath 236.262 120.635 moveto +226 118 lineto +232.379 126.459 lineto +closepath stroke +grestore +% Library +gsave +0.502 1.000 0.820 nodecolor +65 436 34.1751 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +65 436 34.1751 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +65 431 moveto 43 -0.5 (Library) alignedtext +grestore +% Library->Declaremods +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 65 418 moveto +65 407 65 393 65 381 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 68.5001 381 moveto +65 371 lineto +61.5001 381 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 219 219 moveto -230 220 lineto -222 213 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 219 219 moveto -230 220 lineto -222 213 lineto -closepath -stroke -end grestore - -% Decl_kinds -gsave 10 dict begin -274 72 45 18 ellipse_path -stroke -gsave 10 dict begin -241 67 moveto -(Decl_kinds) -[10.08 6.24 6.24 3.84 6.96 6.96 3.84 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Declare -> Decl_kinds -newpath 161 115 moveto -181 107 209 97 232 88 curveto +0.000 0.000 0.000 edgecolor +newpath 68.5001 381 moveto +65 371 lineto +61.5001 381 lineto +closepath stroke +grestore +% States +gsave +0.502 1.000 0.820 nodecolor +65 519 29.1747 18 ellipse_path fill +0.985401 setlinewidth +filled +0.502 1.000 0.820 nodecolor +65 519 29.1747 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +65 514 moveto 33 -0.5 (States) alignedtext +grestore +% States->Library +gsave +0.985401 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 65 501 moveto +65 490 65 476 65 464 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 68.5001 464 moveto +65 454 lineto +61.5001 464 lineto +closepath fill +0.985401 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 233 91 moveto -241 84 lineto -230 85 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 233 91 moveto -241 84 lineto -230 85 lineto -closepath -stroke -end grestore +0.000 0.000 0.000 edgecolor +newpath 68.5001 464 moveto +65 454 lineto +61.5001 464 lineto +closepath stroke +grestore endpage showpage grestore @@ -831,6 +767,7 @@ grestore %%EndPage: 1 %%Trailer %%Pages: 1 +%%BoundingBox: 36 36 576 752 end restore %%EOF |