]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/matita/librariesCluster.ps
- s/decompilation/cleaning/
[helm.git] / helm / papers / matita / librariesCluster.ps
1 %!PS-Adobe-2.0
2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
4 %%Title: G
5 %%Pages: (atend)
6 %%BoundingBox: 35 35 933 1263
7 %%EndComments
8 save
9 %%BeginProlog
10 /DotDict 200 dict def
11 DotDict begin
12
13 /setupLatin1 {
14 mark
15 /EncodingVector 256 array def
16  EncodingVector 0
17
18 ISOLatin1Encoding 0 255 getinterval putinterval
19
20 EncodingVector
21   dup 306 /AE
22   dup 301 /Aacute
23   dup 302 /Acircumflex
24   dup 304 /Adieresis
25   dup 300 /Agrave
26   dup 305 /Aring
27   dup 303 /Atilde
28   dup 307 /Ccedilla
29   dup 311 /Eacute
30   dup 312 /Ecircumflex
31   dup 313 /Edieresis
32   dup 310 /Egrave
33   dup 315 /Iacute
34   dup 316 /Icircumflex
35   dup 317 /Idieresis
36   dup 314 /Igrave
37   dup 334 /Udieresis
38   dup 335 /Yacute
39   dup 376 /thorn
40   dup 337 /germandbls
41   dup 341 /aacute
42   dup 342 /acircumflex
43   dup 344 /adieresis
44   dup 346 /ae
45   dup 340 /agrave
46   dup 345 /aring
47   dup 347 /ccedilla
48   dup 351 /eacute
49   dup 352 /ecircumflex
50   dup 353 /edieresis
51   dup 350 /egrave
52   dup 355 /iacute
53   dup 356 /icircumflex
54   dup 357 /idieresis
55   dup 354 /igrave
56   dup 360 /dcroat
57   dup 361 /ntilde
58   dup 363 /oacute
59   dup 364 /ocircumflex
60   dup 366 /odieresis
61   dup 362 /ograve
62   dup 365 /otilde
63   dup 370 /oslash
64   dup 372 /uacute
65   dup 373 /ucircumflex
66   dup 374 /udieresis
67   dup 371 /ugrave
68   dup 375 /yacute
69   dup 377 /ydieresis  
70
71 % Set up ISO Latin 1 character encoding
72 /starnetISO {
73         dup dup findfont dup length dict begin
74         { 1 index /FID ne { def }{ pop pop } ifelse
75         } forall
76         /Encoding EncodingVector def
77         currentdict end definefont
78 } def
79 /Times-Roman starnetISO def
80 /Times-Italic starnetISO def
81 /Times-Bold starnetISO def
82 /Times-BoldItalic starnetISO def
83 /Helvetica starnetISO def
84 /Helvetica-Oblique starnetISO def
85 /Helvetica-Bold starnetISO def
86 /Helvetica-BoldOblique starnetISO def
87 /Courier starnetISO def
88 /Courier-Oblique starnetISO def
89 /Courier-Bold starnetISO def
90 /Courier-BoldOblique starnetISO def
91 cleartomark
92 } bind def
93
94 %%BeginResource: procset graphviz 0 0
95 /coord-font-family /Times-Roman def
96 /default-font-family /Times-Roman def
97 /coordfont coord-font-family findfont 8 scalefont def
98
99 /InvScaleFactor 1.0 def
100 /set_scale {
101         dup 1 exch div /InvScaleFactor exch def
102         dup scale
103 } bind def
104
105 % styles
106 /solid { [] 0 setdash } bind def
107 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
108 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
109 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
110 /bold { 2 setlinewidth } bind def
111 /filled { } bind def
112 /unfilled { } bind def
113 /rounded { } bind def
114 /diagonals { } bind def
115
116 % hooks for setting color 
117 /nodecolor { sethsbcolor } bind def
118 /edgecolor { sethsbcolor } bind def
119 /graphcolor { sethsbcolor } bind def
120 /nopcolor {pop pop pop} bind def
121
122 /beginpage {    % i j npages
123         /npages exch def
124         /j exch def
125         /i exch def
126         /str 10 string def
127         npages 1 gt {
128                 gsave
129                         coordfont setfont
130                         0 0 moveto
131                         (\() show i str cvs show (,) show j str cvs show (\)) show
132                 grestore
133         } if
134 } bind def
135
136 /set_font {
137         findfont exch
138         scalefont setfont
139 } def
140
141 % draw aligned label in bounding box aligned to current point
142 /alignedtext {                  % width adj text
143         /text exch def
144         /adj exch def
145         /width exch def
146         gsave
147                 width 0 gt {
148                         text stringwidth pop adj mul 0 rmoveto
149                 } if
150                 [] 0 setdash
151                 text show
152         grestore
153 } def
154
155 /boxprim {                              % xcorner ycorner xsize ysize
156                 4 2 roll
157                 moveto
158                 2 copy
159                 exch 0 rlineto
160                 0 exch rlineto
161                 pop neg 0 rlineto
162                 closepath
163 } bind def
164
165 /ellipse_path {
166         /ry exch def
167         /rx exch def
168         /y exch def
169         /x exch def
170         matrix currentmatrix
171         newpath
172         x y translate
173         rx ry scale
174         0 0 1 0 360 arc
175         setmatrix
176 } bind def
177
178 /endpage { showpage } bind def
179 /showpage { } def
180
181 /layercolorseq
182         [       % layer color sequence - darkest to lightest
183                 [0 0 0]
184                 [.2 .8 .8]
185                 [.4 .8 .8]
186                 [.6 .8 .8]
187                 [.8 .8 .8]
188         ]
189 def
190
191 /layerlen layercolorseq length def
192
193 /setlayer {/maxlayer exch def /curlayer exch def
194         layercolorseq curlayer 1 sub layerlen mod get
195         aload pop sethsbcolor
196         /nodecolor {nopcolor} def
197         /edgecolor {nopcolor} def
198         /graphcolor {nopcolor} def
199 } bind def
200
201 /onlayer { curlayer ne {invis} if } def
202
203 /onlayers {
204         /myupper exch def
205         /mylower exch def
206         curlayer mylower lt
207         curlayer myupper gt
208         or
209         {invis} if
210 } def
211
212 /curlayer 0 def
213
214 %%EndResource
215 %%EndProlog
216 %%BeginSetup
217 14 default-font-family set_font
218 1 setmiterlimit
219 % /arrowlength 10 def
220 % /arrowwidth 5 def
221
222 % make sure pdfmark is harmless for PS-interpreters other than Distiller
223 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
224 % make '<<' and '>>' safe on PS Level 1 devices
225 /languagelevel where {pop languagelevel}{1} ifelse
226 2 lt {
227     userdict (<<) cvn ([) cvn load put
228     userdict (>>) cvn ([) cvn load put
229 } if
230
231 %%EndSetup
232 %%Page: 1 1
233 %%PageBoundingBox: 36 36 933 1263
234 %%PageOrientation: Portrait
235 gsave
236 35 35 898 1228 boxprim clip newpath
237 36 36 translate
238 0 0 1 beginpage
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 24.00 /Times-Roman set_font
242 % cluster_presentation
243 gsave 10 dict begin
244 filled
245 0.000 0.000 1.000 sethsbcolor
246 0.000 0.000 0.929 sethsbcolor
247 newpath 436 778 moveto
248 865 778 lineto
249 865 1162 lineto
250 436 1162 lineto
251 closepath
252 fill
253 0.000 0.000 1.000 sethsbcolor
254 newpath 436 778 moveto
255 865 778 lineto
256 865 1162 lineto
257 436 1162 lineto
258 closepath
259 stroke
260 gsave 10 dict begin
261 0.000 0.000 0.000 sethsbcolor
262 444 788 moveto
263 (Terms at the content and presentation level)
264 [14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72]
265 xshow
266 end grestore
267 end grestore
268 % cluster_partially
269 gsave 10 dict begin
270 filled
271 0.000 0.000 1.000 sethsbcolor
272 0.000 0.000 0.929 sethsbcolor
273 newpath 84 814 moveto
274 334 814 lineto
275 334 1094 lineto
276 84 1094 lineto
277 closepath
278 fill
279 0.000 0.000 1.000 sethsbcolor
280 newpath 84 814 moveto
281 334 814 lineto
282 334 1094 lineto
283 84 1094 lineto
284 closepath
285 stroke
286 gsave 10 dict begin
287 0.000 0.000 0.000 sethsbcolor
288 92 1068 moveto
289 (Partially specified terms)
290 [13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
291 xshow
292 end grestore
293 end grestore
294 % cluster_fully
295 gsave 10 dict begin
296 filled
297 0.000 0.000 1.000 sethsbcolor
298 0.000 0.000 0.929 sethsbcolor
299 newpath 220 296 moveto
300 482 296 lineto
301 482 770 lineto
302 220 770 lineto
303 closepath
304 fill
305 0.000 0.000 1.000 sethsbcolor
306 newpath 220 296 moveto
307 482 296 lineto
308 482 770 lineto
309 220 770 lineto
310 closepath
311 stroke
312 gsave 10 dict begin
313 0.000 0.000 0.000 sethsbcolor
314 227 306 moveto
315 (Fully specified terms)
316 [13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
317 xshow
318 end grestore
319 end grestore
320 % cluster_utilities
321 gsave 10 dict begin
322 filled
323 0.000 0.000 1.000 sethsbcolor
324 0.000 0.000 0.929 sethsbcolor
325 newpath 490 16 moveto
326 888 16 lineto
327 888 400 lineto
328 490 400 lineto
329 closepath
330 fill
331 0.000 0.000 1.000 sethsbcolor
332 newpath 490 16 moveto
333 888 16 lineto
334 888 400 lineto
335 490 400 lineto
336 closepath
337 stroke
338 gsave 10 dict begin
339 0.000 0.000 0.000 sethsbcolor
340 802 26 moveto
341 (Utilities)
342 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
343 xshow
344 end grestore
345 end grestore
346
347 %       acic_content
348 gsave 10 dict begin
349 554 848 75 25 ellipse_path
350 stroke
351 gsave 10 dict begin
352 493 840 moveto
353 (acic_content)
354 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
355 xshow
356 end grestore
357 end grestore
358
359 %       cic_acic
360 gsave 10 dict begin
361 283 636 54 25 ellipse_path
362 stroke
363 gsave 10 dict begin
364 243 628 moveto
365 (cic_acic)
366 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
367 xshow
368 end grestore
369 end grestore
370
371 %       acic_content -> cic_acic
372 newpath 530 824 moveto
373 517 809 500 789 487 770 curveto
374 470 742 482 725 458 704 curveto
375 420 669 395 687 347 668 curveto
376 341 665 335 663 329 660 curveto
377 stroke
378 gsave 10 dict begin
379 solid
380 1 setlinewidth
381 0.000 0.000 0.000 edgecolor
382 newpath 330 657 moveto
383 320 655 lineto
384 327 663 lineto
385 closepath
386 fill
387 0.000 0.000 0.000 edgecolor
388 newpath 330 657 moveto
389 320 655 lineto
390 327 663 lineto
391 closepath
392 stroke
393 end grestore
394
395 %       cic_disambiguation
396 gsave 10 dict begin
397 554 936 109 25 ellipse_path
398 stroke
399 gsave 10 dict begin
400 459 928 moveto
401 (cic_disambiguation)
402 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
403 xshow
404 end grestore
405 end grestore
406
407 %       cic_disambiguation -> acic_content
408 newpath 554 910 moveto
409 554 902 554 893 554 884 curveto
410 stroke
411 gsave 10 dict begin
412 solid
413 1 setlinewidth
414 0.000 0.000 0.000 edgecolor
415 newpath 558 884 moveto
416 554 874 lineto
417 551 884 lineto
418 closepath
419 fill
420 0.000 0.000 0.000 edgecolor
421 newpath 558 884 moveto
422 554 874 lineto
423 551 884 lineto
424 closepath
425 stroke
426 end grestore
427
428 %       cic_unification
429 gsave 10 dict begin
430 239 848 86 25 ellipse_path
431 stroke
432 gsave 10 dict begin
433 167 840 moveto
434 (cic_unification)
435 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
436 xshow
437 end grestore
438 end grestore
439
440 %       cic_disambiguation -> cic_unification
441 newpath 484 916 moveto
442 433 902 364 883 312 869 curveto
443 stroke
444 gsave 10 dict begin
445 solid
446 1 setlinewidth
447 0.000 0.000 0.000 edgecolor
448 newpath 313 866 moveto
449 302 866 lineto
450 311 872 lineto
451 closepath
452 fill
453 0.000 0.000 0.000 edgecolor
454 newpath 313 866 moveto
455 302 866 lineto
456 311 872 lineto
457 closepath
458 stroke
459 end grestore
460
461 %       whelp
462 gsave 10 dict begin
463 404 736 44 25 ellipse_path
464 stroke
465 gsave 10 dict begin
466 374 728 moveto
467 (whelp)
468 [17.28 12 10.56 6.72 12]
469 xshow
470 end grestore
471 end grestore
472
473 %       cic_disambiguation -> whelp
474 newpath 513 912 moveto
475 498 902 481 889 469 874 curveto
476 444 843 426 801 415 771 curveto
477 stroke
478 gsave 10 dict begin
479 solid
480 1 setlinewidth
481 0.000 0.000 0.000 edgecolor
482 newpath 418 770 moveto
483 412 761 lineto
484 412 772 lineto
485 closepath
486 fill
487 0.000 0.000 0.000 edgecolor
488 newpath 418 770 moveto
489 412 761 lineto
490 412 772 lineto
491 closepath
492 stroke
493 end grestore
494
495 %       content_pres
496 gsave 10 dict begin
497 759 936 76 25 ellipse_path
498 stroke
499 gsave 10 dict begin
500 697 928 moveto
501 (content_pres)
502 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
503 xshow
504 end grestore
505 end grestore
506
507 %       content_pres -> acic_content
508 newpath 712 916 moveto
509 681 903 642 886 610 872 curveto
510 stroke
511 gsave 10 dict begin
512 solid
513 1 setlinewidth
514 0.000 0.000 0.000 edgecolor
515 newpath 612 869 moveto
516 601 868 lineto
517 609 875 lineto
518 closepath
519 fill
520 0.000 0.000 0.000 edgecolor
521 newpath 612 869 moveto
522 601 868 lineto
523 609 875 lineto
524 closepath
525 stroke
526 end grestore
527
528 %       utf8_macros
529 gsave 10 dict begin
530 804 366 75 25 ellipse_path
531 stroke
532 gsave 10 dict begin
533 743 358 moveto
534 (utf8_macros)
535 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
536 xshow
537 end grestore
538 end grestore
539
540 %       content_pres -> utf8_macros
541 newpath 764 910 moveto
542 770 872 781 799 781 736 curveto
543 781 736 781 736 781 542 curveto
544 781 493 790 437 797 401 curveto
545 stroke
546 gsave 10 dict begin
547 solid
548 1 setlinewidth
549 0.000 0.000 0.000 edgecolor
550 newpath 800 401 moveto
551 799 391 lineto
552 794 400 lineto
553 closepath
554 fill
555 0.000 0.000 0.000 edgecolor
556 newpath 800 401 moveto
557 799 391 lineto
558 794 400 lineto
559 closepath
560 stroke
561 end grestore
562
563 %       grafite_parser
564 gsave 10 dict begin
565 526 1128 81 25 ellipse_path
566 stroke
567 gsave 10 dict begin
568 459 1120 moveto
569 (grafite_parser)
570 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92]
571 xshow
572 end grestore
573 end grestore
574
575 %       lexicon
576 gsave 10 dict begin
577 554 1024 50 25 ellipse_path
578 stroke
579 gsave 10 dict begin
580 518 1016 moveto
581 (lexicon)
582 [6.72 10.56 12 6.72 10.56 12 12]
583 xshow
584 end grestore
585 end grestore
586
587 %       grafite_parser -> lexicon
588 newpath 533 1103 moveto
589 536 1090 541 1074 545 1059 curveto
590 stroke
591 gsave 10 dict begin
592 solid
593 1 setlinewidth
594 0.000 0.000 0.000 edgecolor
595 newpath 548 1059 moveto
596 547 1049 lineto
597 542 1058 lineto
598 closepath
599 fill
600 0.000 0.000 0.000 edgecolor
601 newpath 548 1059 moveto
602 547 1049 lineto
603 542 1058 lineto
604 closepath
605 stroke
606 end grestore
607
608 %       grafite
609 gsave 10 dict begin
610 139 936 46 25 ellipse_path
611 stroke
612 gsave 10 dict begin
613 107 928 moveto
614 (grafite)
615 [12 7.92 10.56 7.92 6.72 6.72 10.56]
616 xshow
617 end grestore
618 end grestore
619
620 %       grafite_parser -> grafite
621 newpath 472 1108 moveto
622 463 1106 453 1103 444 1102 curveto
623 430 1099 324 1102 312 1094 curveto
624 276 1066 309 1031 277 998 curveto
625 250 968 231 980 195 962 curveto
626 192 960 189 958 186 956 curveto
627 stroke
628 gsave 10 dict begin
629 solid
630 1 setlinewidth
631 0.000 0.000 0.000 edgecolor
632 newpath 188 953 moveto
633 178 950 lineto
634 184 959 lineto
635 closepath
636 fill
637 0.000 0.000 0.000 edgecolor
638 newpath 188 953 moveto
639 178 950 lineto
640 184 959 lineto
641 closepath
642 stroke
643 end grestore
644
645 %       lexicon -> cic_disambiguation
646 newpath 554 998 moveto
647 554 990 554 981 554 972 curveto
648 stroke
649 gsave 10 dict begin
650 solid
651 1 setlinewidth
652 0.000 0.000 0.000 edgecolor
653 newpath 558 972 moveto
654 554 962 lineto
655 551 972 lineto
656 closepath
657 fill
658 0.000 0.000 0.000 edgecolor
659 newpath 558 972 moveto
660 554 962 lineto
661 551 972 lineto
662 closepath
663 stroke
664 end grestore
665
666 %       lexicon -> content_pres
667 newpath 593 1007 moveto
668 624 994 668 976 702 960 curveto
669 stroke
670 gsave 10 dict begin
671 solid
672 1 setlinewidth
673 0.000 0.000 0.000 edgecolor
674 newpath 704 963 moveto
675 712 956 lineto
676 701 956 lineto
677 closepath
678 fill
679 0.000 0.000 0.000 edgecolor
680 newpath 704 963 moveto
681 712 956 lineto
682 701 956 lineto
683 closepath
684 stroke
685 end grestore
686
687 %       library
688 gsave 10 dict begin
689 283 736 46 25 ellipse_path
690 stroke
691 gsave 10 dict begin
692 251 728 moveto
693 (library)
694 [6.72 6.72 12 7.92 10.56 7.92 12]
695 xshow
696 end grestore
697 end grestore
698
699 %       cic_unification -> library
700 newpath 249 823 moveto
701 255 808 263 788 269 771 curveto
702 stroke
703 gsave 10 dict begin
704 solid
705 1 setlinewidth
706 0.000 0.000 0.000 edgecolor
707 newpath 273 772 moveto
708 273 761 lineto
709 266 769 lineto
710 closepath
711 fill
712 0.000 0.000 0.000 edgecolor
713 newpath 273 772 moveto
714 273 761 lineto
715 266 769 lineto
716 closepath
717 stroke
718 end grestore
719
720 %       tactics
721 gsave 10 dict begin
722 250 936 45 25 ellipse_path
723 stroke
724 gsave 10 dict begin
725 219 928 moveto
726 (tactics)
727 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
728 xshow
729 end grestore
730 end grestore
731
732 %       tactics -> cic_unification
733 newpath 247 911 moveto
734 246 902 245 893 244 884 curveto
735 stroke
736 gsave 10 dict begin
737 solid
738 1 setlinewidth
739 0.000 0.000 0.000 edgecolor
740 newpath 247 883 moveto
741 242 874 lineto
742 241 884 lineto
743 closepath
744 fill
745 0.000 0.000 0.000 edgecolor
746 newpath 247 883 moveto
747 242 874 lineto
748 241 884 lineto
749 closepath
750 stroke
751 end grestore
752
753 %       tactics -> whelp
754 newpath 216 918 moveto
755 187 903 147 881 143 874 curveto
756 122 837 114 808 143 778 curveto
757 159 762 318 775 339 770 curveto
758 348 768 357 764 365 760 curveto
759 stroke
760 gsave 10 dict begin
761 solid
762 1 setlinewidth
763 0.000 0.000 0.000 edgecolor
764 newpath 367 763 moveto
765 374 755 lineto
766 364 757 lineto
767 closepath
768 fill
769 0.000 0.000 0.000 edgecolor
770 newpath 367 763 moveto
771 374 755 lineto
772 364 757 lineto
773 closepath
774 stroke
775 end grestore
776
777 %       cic
778 gsave 10 dict begin
779 339 454 28 25 ellipse_path
780 stroke
781 gsave 10 dict begin
782 325 446 moveto
783 (cic)
784 [10.56 6.72 10.56]
785 xshow
786 end grestore
787 end grestore
788
789 %       grafite -> cic
790 newpath 128 911 moveto
791 112 874 86 800 86 736 curveto
792 86 736 86 736 86 636 curveto
793 86 556 150 554 219 516 curveto
794 258 495 274 502 310 480 curveto
795 310 480 311 480 311 479 curveto
796 stroke
797 gsave 10 dict begin
798 solid
799 1 setlinewidth
800 0.000 0.000 0.000 edgecolor
801 newpath 313 482 moveto
802 319 473 lineto
803 309 476 lineto
804 closepath
805 fill
806 0.000 0.000 0.000 edgecolor
807 newpath 313 482 moveto
808 319 473 lineto
809 309 476 lineto
810 closepath
811 stroke
812 end grestore
813
814 %       grafite_engine
815 gsave 10 dict begin
816 183 1024 84 25 ellipse_path
817 stroke
818 gsave 10 dict begin
819 113 1016 moveto
820 (grafite_engine)
821 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56]
822 xshow
823 end grestore
824 end grestore
825
826 %       grafite_engine -> tactics
827 newpath 193 998 moveto
828 200 986 210 975 219 965 curveto
829 stroke
830 gsave 10 dict begin
831 solid
832 1 setlinewidth
833 0.000 0.000 0.000 edgecolor
834 newpath 221 968 moveto
835 226 958 lineto
836 216 963 lineto
837 closepath
838 fill
839 0.000 0.000 0.000 edgecolor
840 newpath 221 968 moveto
841 226 958 lineto
842 216 963 lineto
843 closepath
844 stroke
845 end grestore
846
847 %       grafite_engine -> grafite
848 newpath 170 999 moveto
849 165 990 160 980 156 970 curveto
850 stroke
851 gsave 10 dict begin
852 solid
853 1 setlinewidth
854 0.000 0.000 0.000 edgecolor
855 newpath 159 968 moveto
856 151 961 lineto
857 153 971 lineto
858 closepath
859 fill
860 0.000 0.000 0.000 edgecolor
861 newpath 159 968 moveto
862 151 961 lineto
863 153 971 lineto
864 closepath
865 stroke
866 end grestore
867
868 %       urimanager
869 gsave 10 dict begin
870 355 366 70 25 ellipse_path
871 stroke
872 gsave 10 dict begin
873 299 358 moveto
874 (urimanager)
875 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
876 xshow
877 end grestore
878 end grestore
879
880 %       cic -> urimanager
881 newpath 344 429 moveto
882 345 420 347 411 348 402 curveto
883 stroke
884 gsave 10 dict begin
885 solid
886 1 setlinewidth
887 0.000 0.000 0.000 edgecolor
888 newpath 351 402 moveto
889 350 392 lineto
890 345 401 lineto
891 closepath
892 fill
893 0.000 0.000 0.000 edgecolor
894 newpath 351 402 moveto
895 350 392 lineto
896 345 401 lineto
897 closepath
898 stroke
899 end grestore
900
901 %       xml
902 gsave 10 dict begin
903 553 174 33 25 ellipse_path
904 stroke
905 gsave 10 dict begin
906 534 166 moveto
907 (xml)
908 [12 18.72 6.72]
909 xshow
910 end grestore
911 end grestore
912
913 %       cic -> xml
914 newpath 314 440 moveto
915 300 431 283 417 275 400 curveto
916 256 358 250 334 275 296 curveto
917 327 216 445 188 509 178 curveto
918 stroke
919 gsave 10 dict begin
920 solid
921 1 setlinewidth
922 0.000 0.000 0.000 edgecolor
923 newpath 509 181 moveto
924 519 177 lineto
925 509 175 lineto
926 closepath
927 fill
928 0.000 0.000 0.000 edgecolor
929 newpath 509 181 moveto
930 519 177 lineto
931 509 175 lineto
932 closepath
933 stroke
934 end grestore
935
936 %       cic_proof_checking
937 gsave 10 dict begin
938 339 542 110 25 ellipse_path
939 stroke
940 gsave 10 dict begin
941 243 534 moveto
942 (cic_proof_checking)
943 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
944 xshow
945 end grestore
946 end grestore
947
948 %       cic_proof_checking -> cic
949 newpath 339 516 moveto
950 339 508 339 499 339 490 curveto
951 stroke
952 gsave 10 dict begin
953 solid
954 1 setlinewidth
955 0.000 0.000 0.000 edgecolor
956 newpath 343 490 moveto
957 339 480 lineto
958 336 490 lineto
959 closepath
960 fill
961 0.000 0.000 0.000 edgecolor
962 newpath 343 490 moveto
963 339 480 lineto
964 336 490 lineto
965 closepath
966 stroke
967 end grestore
968
969 %       getter
970 gsave 10 dict begin
971 431 454 42 25 ellipse_path
972 stroke
973 gsave 10 dict begin
974 403 446 moveto
975 (getter)
976 [12 10.56 6.72 6.72 10.56 7.92]
977 xshow
978 end grestore
979 end grestore
980
981 %       cic_proof_checking -> getter
982 newpath 349 516 moveto
983 361 501 377 487 391 477 curveto
984 stroke
985 gsave 10 dict begin
986 solid
987 1 setlinewidth
988 0.000 0.000 0.000 edgecolor
989 newpath 393 480 moveto
990 400 472 lineto
991 390 474 lineto
992 closepath
993 fill
994 0.000 0.000 0.000 edgecolor
995 newpath 393 480 moveto
996 400 472 lineto
997 390 474 lineto
998 closepath
999 stroke
1000 end grestore
1001
1002 %       getter -> urimanager
1003 newpath 411 431 moveto
1004 403 421 392 409 383 398 curveto
1005 stroke
1006 gsave 10 dict begin
1007 solid
1008 1 setlinewidth
1009 0.000 0.000 0.000 edgecolor
1010 newpath 386 396 moveto
1011 376 391 lineto
1012 381 401 lineto
1013 closepath
1014 fill
1015 0.000 0.000 0.000 edgecolor
1016 newpath 386 396 moveto
1017 376 391 lineto
1018 381 401 lineto
1019 closepath
1020 stroke
1021 end grestore
1022
1023 %       registry
1024 gsave 10 dict begin
1025 679 262 52 25 ellipse_path
1026 stroke
1027 gsave 10 dict begin
1028 641 254 moveto
1029 (registry)
1030 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
1031 xshow
1032 end grestore
1033 end grestore
1034
1035 %       getter -> registry
1036 newpath 432 428 moveto
1037 436 392 448 327 489 296 curveto
1038 501 287 604 291 617 288 curveto
1039 622 287 627 285 631 284 curveto
1040 stroke
1041 gsave 10 dict begin
1042 solid
1043 1 setlinewidth
1044 0.000 0.000 0.000 edgecolor
1045 newpath 633 287 moveto
1046 641 280 lineto
1047 630 280 lineto
1048 closepath
1049 fill
1050 0.000 0.000 0.000 edgecolor
1051 newpath 633 287 moveto
1052 641 280 lineto
1053 630 280 lineto
1054 closepath
1055 stroke
1056 end grestore
1057
1058 %       logger
1059 gsave 10 dict begin
1060 544 366 45 25 ellipse_path
1061 stroke
1062 gsave 10 dict begin
1063 513 358 moveto
1064 (logger)
1065 [6.72 12 12 12 10.56 7.92]
1066 xshow
1067 end grestore
1068 end grestore
1069
1070 %       getter -> logger
1071 newpath 457 434 moveto
1072 472 422 492 406 509 393 curveto
1073 stroke
1074 gsave 10 dict begin
1075 solid
1076 1 setlinewidth
1077 0.000 0.000 0.000 edgecolor
1078 newpath 511 396 moveto
1079 517 387 lineto
1080 507 390 lineto
1081 closepath
1082 fill
1083 0.000 0.000 0.000 edgecolor
1084 newpath 511 396 moveto
1085 517 387 lineto
1086 507 390 lineto
1087 closepath
1088 stroke
1089 end grestore
1090
1091 %       metadata
1092 gsave 10 dict begin
1093 415 636 58 25 ellipse_path
1094 stroke
1095 gsave 10 dict begin
1096 371 628 moveto
1097 (metadata)
1098 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
1099 xshow
1100 end grestore
1101 end grestore
1102
1103 %       metadata -> cic
1104 newpath 436 612 moveto
1105 456 586 479 546 459 516 curveto
1106 438 483 414 498 379 480 curveto
1107 376 478 374 477 371 475 curveto
1108 stroke
1109 gsave 10 dict begin
1110 solid
1111 1 setlinewidth
1112 0.000 0.000 0.000 edgecolor
1113 newpath 372 472 moveto
1114 362 469 lineto
1115 368 477 lineto
1116 closepath
1117 fill
1118 0.000 0.000 0.000 edgecolor
1119 newpath 372 472 moveto
1120 362 469 lineto
1121 368 477 lineto
1122 closepath
1123 stroke
1124 end grestore
1125
1126 %       hmysql
1127 gsave 10 dict begin
1128 659 366 50 25 ellipse_path
1129 stroke
1130 gsave 10 dict begin
1131 623 358 moveto
1132 (hmysql)
1133 [12 18.72 12 9.36 12 6.72]
1134 xshow
1135 end grestore
1136 end grestore
1137
1138 %       metadata -> hmysql
1139 newpath 470 626 moveto
1140 531 616 569 623 617 568 curveto
1141 658 521 662 446 661 402 curveto
1142 stroke
1143 gsave 10 dict begin
1144 solid
1145 1 setlinewidth
1146 0.000 0.000 0.000 edgecolor
1147 newpath 665 402 moveto
1148 661 392 lineto
1149 658 402 lineto
1150 closepath
1151 fill
1152 0.000 0.000 0.000 edgecolor
1153 newpath 665 402 moveto
1154 661 392 lineto
1155 658 402 lineto
1156 closepath
1157 stroke
1158 end grestore
1159
1160 %       whelp -> metadata
1161 newpath 407 711 moveto
1162 409 699 410 685 411 672 curveto
1163 stroke
1164 gsave 10 dict begin
1165 solid
1166 1 setlinewidth
1167 0.000 0.000 0.000 edgecolor
1168 newpath 414 672 moveto
1169 412 662 lineto
1170 408 672 lineto
1171 closepath
1172 fill
1173 0.000 0.000 0.000 edgecolor
1174 newpath 414 672 moveto
1175 412 662 lineto
1176 408 672 lineto
1177 closepath
1178 stroke
1179 end grestore
1180
1181 %       library -> metadata
1182 newpath 311 715 moveto
1183 330 701 356 681 377 664 curveto
1184 stroke
1185 gsave 10 dict begin
1186 solid
1187 1 setlinewidth
1188 0.000 0.000 0.000 edgecolor
1189 newpath 379 667 moveto
1190 385 658 lineto
1191 375 661 lineto
1192 closepath
1193 fill
1194 0.000 0.000 0.000 edgecolor
1195 newpath 379 667 moveto
1196 385 658 lineto
1197 375 661 lineto
1198 closepath
1199 stroke
1200 end grestore
1201
1202 %       library -> cic_acic
1203 newpath 283 710 moveto
1204 283 698 283 685 283 672 curveto
1205 stroke
1206 gsave 10 dict begin
1207 solid
1208 1 setlinewidth
1209 0.000 0.000 0.000 edgecolor
1210 newpath 287 672 moveto
1211 283 662 lineto
1212 280 672 lineto
1213 closepath
1214 fill
1215 0.000 0.000 0.000 edgecolor
1216 newpath 287 672 moveto
1217 283 662 lineto
1218 280 672 lineto
1219 closepath
1220 stroke
1221 end grestore
1222
1223 %       cic_acic -> cic_proof_checking
1224 newpath 298 611 moveto
1225 304 600 312 587 319 576 curveto
1226 stroke
1227 gsave 10 dict begin
1228 solid
1229 1 setlinewidth
1230 0.000 0.000 0.000 edgecolor
1231 newpath 322 577 moveto
1232 324 567 lineto
1233 316 574 lineto
1234 closepath
1235 fill
1236 0.000 0.000 0.000 edgecolor
1237 newpath 322 577 moveto
1238 324 567 lineto
1239 316 574 lineto
1240 closepath
1241 stroke
1242 end grestore
1243
1244 %       extlib
1245 gsave 10 dict begin
1246 553 86 42 25 ellipse_path
1247 stroke
1248 gsave 10 dict begin
1249 525 78 moveto
1250 (extlib)
1251 [10.56 12 6.72 6.72 6.72 12]
1252 xshow
1253 end grestore
1254 end grestore
1255
1256 %       hgdome
1257 gsave 10 dict begin
1258 553 262 54 25 ellipse_path
1259 stroke
1260 gsave 10 dict begin
1261 513 254 moveto
1262 (hgdome)
1263 [12 12 12 12 18.72 10.56]
1264 xshow
1265 end grestore
1266 end grestore
1267
1268 %       hgdome -> xml
1269 newpath 553 236 moveto
1270 553 228 553 219 553 210 curveto
1271 stroke
1272 gsave 10 dict begin
1273 solid
1274 1 setlinewidth
1275 0.000 0.000 0.000 edgecolor
1276 newpath 557 210 moveto
1277 553 200 lineto
1278 550 210 lineto
1279 closepath
1280 fill
1281 0.000 0.000 0.000 edgecolor
1282 newpath 557 210 moveto
1283 553 200 lineto
1284 550 210 lineto
1285 closepath
1286 stroke
1287 end grestore
1288
1289 %       hmysql -> registry
1290 newpath 664 341 moveto
1291 666 328 669 312 672 298 curveto
1292 stroke
1293 gsave 10 dict begin
1294 solid
1295 1 setlinewidth
1296 0.000 0.000 0.000 edgecolor
1297 newpath 675 298 moveto
1298 674 288 lineto
1299 669 297 lineto
1300 closepath
1301 fill
1302 0.000 0.000 0.000 edgecolor
1303 newpath 675 298 moveto
1304 674 288 lineto
1305 669 297 lineto
1306 closepath
1307 stroke
1308 end grestore
1309
1310 %       registry -> xml
1311 newpath 649 241 moveto
1312 630 228 605 211 586 197 curveto
1313 stroke
1314 gsave 10 dict begin
1315 solid
1316 1 setlinewidth
1317 0.000 0.000 0.000 edgecolor
1318 newpath 588 194 moveto
1319 578 191 lineto
1320 584 200 lineto
1321 closepath
1322 fill
1323 0.000 0.000 0.000 edgecolor
1324 newpath 588 194 moveto
1325 578 191 lineto
1326 584 200 lineto
1327 closepath
1328 stroke
1329 end grestore
1330
1331 %       xml -> extlib
1332 newpath 553 148 moveto
1333 553 140 553 131 553 122 curveto
1334 stroke
1335 gsave 10 dict begin
1336 solid
1337 1 setlinewidth
1338 0.000 0.000 0.000 edgecolor
1339 newpath 557 122 moveto
1340 553 112 lineto
1341 550 122 lineto
1342 closepath
1343 fill
1344 0.000 0.000 0.000 edgecolor
1345 newpath 557 122 moveto
1346 553 112 lineto
1347 550 122 lineto
1348 closepath
1349 stroke
1350 end grestore
1351
1352 %       DependencyAnalyzer
1353 gsave 10 dict begin
1354 filled
1355 0.584 0.220 0.933 nodecolor
1356 0.584 0.220 0.933 nodecolor
1357 newpath 641 768 moveto
1358 505 768 lineto
1359 505 704 lineto
1360 641 704 lineto
1361 closepath
1362 fill
1363 0.584 0.220 0.933 nodecolor
1364 newpath 641 768 moveto
1365 505 768 lineto
1366 505 704 lineto
1367 641 704 lineto
1368 closepath
1369 stroke
1370 gsave 10 dict begin
1371 0.000 0.000 0.000 nodecolor
1372 513 742 moveto
1373 (Dependency)
1374 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
1375 xshow
1376 529 714 moveto
1377 (Analyzer)
1378 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1379 xshow
1380 end grestore
1381 end grestore
1382
1383 %       DependencyAnalyzer -> metadata
1384 newpath 522 704 moveto
1385 501 691 477 675 457 662 curveto
1386 stroke
1387 gsave 10 dict begin
1388 solid
1389 1 setlinewidth
1390 0.000 0.000 0.000 edgecolor
1391 newpath 458 659 moveto
1392 448 657 lineto
1393 455 665 lineto
1394 closepath
1395 fill
1396 0.000 0.000 0.000 edgecolor
1397 newpath 458 659 moveto
1398 448 657 lineto
1399 455 665 lineto
1400 closepath
1401 stroke
1402 end grestore
1403
1404 %       Getter
1405 gsave 10 dict begin
1406 filled
1407 0.584 0.220 0.933 nodecolor
1408 0.584 0.220 0.933 nodecolor
1409 newpath 566 560 moveto
1410 490 560 lineto
1411 490 524 lineto
1412 566 524 lineto
1413 closepath
1414 fill
1415 0.584 0.220 0.933 nodecolor
1416 newpath 566 560 moveto
1417 490 560 lineto
1418 490 524 lineto
1419 566 524 lineto
1420 closepath
1421 stroke
1422 gsave 10 dict begin
1423 0.000 0.000 0.000 nodecolor
1424 498 534 moveto
1425 (Getter)
1426 [17.28 10.56 6.72 6.72 10.56 7.92]
1427 xshow
1428 end grestore
1429 end grestore
1430
1431 %       Getter -> getter
1432 newpath 508 524 moveto
1433 494 512 477 496 463 483 curveto
1434 stroke
1435 gsave 10 dict begin
1436 solid
1437 1 setlinewidth
1438 0.000 0.000 0.000 edgecolor
1439 newpath 465 480 moveto
1440 455 476 lineto
1441 460 485 lineto
1442 closepath
1443 fill
1444 0.000 0.000 0.000 edgecolor
1445 newpath 465 480 moveto
1446 455 476 lineto
1447 460 485 lineto
1448 closepath
1449 stroke
1450 end grestore
1451
1452 %       Matita
1453 gsave 10 dict begin
1454 filled
1455 0.584 0.220 0.933 nodecolor
1456 0.584 0.220 0.933 nodecolor
1457 newpath 222 1226 moveto
1458 144 1226 lineto
1459 144 1190 lineto
1460 222 1190 lineto
1461 closepath
1462 fill
1463 0.584 0.220 0.933 nodecolor
1464 newpath 222 1226 moveto
1465 144 1226 lineto
1466 144 1190 lineto
1467 222 1190 lineto
1468 closepath
1469 stroke
1470 gsave 10 dict begin
1471 0.000 0.000 0.000 nodecolor
1472 151 1200 moveto
1473 (Matita)
1474 [21.36 10.56 6.72 6.72 6.72 10.56]
1475 xshow
1476 end grestore
1477 end grestore
1478
1479 %       Matita -> grafite_parser
1480 newpath 222 1204 moveto
1481 274 1197 367 1184 444 1162 curveto
1482 453 1159 461 1156 470 1153 curveto
1483 stroke
1484 gsave 10 dict begin
1485 solid
1486 1 setlinewidth
1487 0.000 0.000 0.000 edgecolor
1488 newpath 471 1156 moveto
1489 479 1149 lineto
1490 468 1150 lineto
1491 closepath
1492 fill
1493 0.000 0.000 0.000 edgecolor
1494 newpath 471 1156 moveto
1495 479 1149 lineto
1496 468 1150 lineto
1497 closepath
1498 stroke
1499 end grestore
1500
1501 %       Matita -> grafite_engine
1502 newpath 183 1190 moveto
1503 183 1160 183 1099 183 1060 curveto
1504 stroke
1505 gsave 10 dict begin
1506 solid
1507 1 setlinewidth
1508 0.000 0.000 0.000 edgecolor
1509 newpath 187 1060 moveto
1510 183 1050 lineto
1511 180 1060 lineto
1512 closepath
1513 fill
1514 0.000 0.000 0.000 edgecolor
1515 newpath 187 1060 moveto
1516 183 1050 lineto
1517 180 1060 lineto
1518 closepath
1519 stroke
1520 end grestore
1521
1522 %       Matita -> hgdome
1523 newpath 157 1190 moveto
1524 118 1160 48 1097 48 1024 curveto
1525 48 1024 48 1024 48 454 curveto
1526 48 351 123 338 216 296 curveto
1527 263 274 404 267 488 263 curveto
1528 stroke
1529 gsave 10 dict begin
1530 solid
1531 1 setlinewidth
1532 0.000 0.000 0.000 edgecolor
1533 newpath 488 267 moveto
1534 498 263 lineto
1535 488 260 lineto
1536 closepath
1537 fill
1538 0.000 0.000 0.000 edgecolor
1539 newpath 488 267 moveto
1540 498 263 lineto
1541 488 260 lineto
1542 closepath
1543 stroke
1544 end grestore
1545
1546 %       ProofChecker
1547 gsave 10 dict begin
1548 filled
1549 0.584 0.220 0.933 nodecolor
1550 0.584 0.220 0.933 nodecolor
1551 newpath 210 668 moveto
1552 114 668 lineto
1553 114 604 lineto
1554 210 604 lineto
1555 closepath
1556 fill
1557 0.584 0.220 0.933 nodecolor
1558 newpath 210 668 moveto
1559 114 668 lineto
1560 114 604 lineto
1561 210 604 lineto
1562 closepath
1563 stroke
1564 gsave 10 dict begin
1565 0.000 0.000 0.000 nodecolor
1566 135 642 moveto
1567 (Proof)
1568 [13.44 7.92 12 12 7.92]
1569 xshow
1570 122 614 moveto
1571 (Checker)
1572 [16.08 12 10.56 10.56 12 10.56 7.92]
1573 xshow
1574 end grestore
1575 end grestore
1576
1577 %       ProofChecker -> cic_proof_checking
1578 newpath 210 607 moveto
1579 212 606 214 605 216 604 curveto
1580 237 592 261 580 282 569 curveto
1581 stroke
1582 gsave 10 dict begin
1583 solid
1584 1 setlinewidth
1585 0.000 0.000 0.000 edgecolor
1586 newpath 283 572 moveto
1587 291 565 lineto
1588 280 566 lineto
1589 closepath
1590 fill
1591 0.000 0.000 0.000 edgecolor
1592 newpath 283 572 moveto
1593 291 565 lineto
1594 280 566 lineto
1595 closepath
1596 stroke
1597 end grestore
1598
1599 %       Uwobo
1600 gsave 10 dict begin
1601 filled
1602 0.584 0.220 0.933 nodecolor
1603 0.584 0.220 0.933 nodecolor
1604 newpath 428 1042 moveto
1605 342 1042 lineto
1606 342 1006 lineto
1607 428 1006 lineto
1608 closepath
1609 fill
1610 0.584 0.220 0.933 nodecolor
1611 newpath 428 1042 moveto
1612 342 1042 lineto
1613 342 1006 lineto
1614 428 1006 lineto
1615 closepath
1616 stroke
1617 gsave 10 dict begin
1618 0.000 0.000 0.000 nodecolor
1619 349 1016 moveto
1620 (Uwobo)
1621 [17.28 17.28 12 12 12]
1622 xshow
1623 end grestore
1624 end grestore
1625
1626 %       Uwobo -> content_pres
1627 newpath 414 1006 moveto
1628 420 1003 426 1000 432 998 curveto
1629 535 963 568 985 673 962 curveto
1630 680 961 686 959 693 957 curveto
1631 stroke
1632 gsave 10 dict begin
1633 solid
1634 1 setlinewidth
1635 0.000 0.000 0.000 edgecolor
1636 newpath 694 960 moveto
1637 703 954 lineto
1638 692 954 lineto
1639 closepath
1640 fill
1641 0.000 0.000 0.000 edgecolor
1642 newpath 694 960 moveto
1643 703 954 lineto
1644 692 954 lineto
1645 closepath
1646 stroke
1647 end grestore
1648
1649 %       Whelp
1650 gsave 10 dict begin
1651 filled
1652 0.584 0.220 0.933 nodecolor
1653 0.584 0.220 0.933 nodecolor
1654 newpath 566 1226 moveto
1655 486 1226 lineto
1656 486 1190 lineto
1657 566 1190 lineto
1658 closepath
1659 fill
1660 0.584 0.220 0.933 nodecolor
1661 newpath 566 1226 moveto
1662 486 1226 lineto
1663 486 1190 lineto
1664 566 1190 lineto
1665 closepath
1666 stroke
1667 gsave 10 dict begin
1668 0.000 0.000 0.000 nodecolor
1669 493 1200 moveto
1670 (Whelp)
1671 [22.56 12 10.56 6.72 12]
1672 xshow
1673 end grestore
1674 end grestore
1675
1676 %       Whelp -> grafite_parser
1677 newpath 526 1190 moveto
1678 526 1182 526 1173 526 1164 curveto
1679 stroke
1680 gsave 10 dict begin
1681 solid
1682 1 setlinewidth
1683 0.000 0.000 0.000 edgecolor
1684 newpath 530 1164 moveto
1685 526 1154 lineto
1686 523 1164 lineto
1687 closepath
1688 fill
1689 0.000 0.000 0.000 edgecolor
1690 newpath 530 1164 moveto
1691 526 1154 lineto
1692 523 1164 lineto
1693 closepath
1694 stroke
1695 end grestore
1696 endpage
1697 showpage
1698 grestore
1699 %%PageTrailer
1700 %%EndPage: 1
1701 %%Trailer
1702 %%Pages: 1
1703 end
1704 restore
1705 %%EOF