%!PS-Adobe-2.0 %%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001) %%For: (herbelin) Hugo Herbelin %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 201 %%EndComments %%BeginProlog save /DotDict 200 dict def DotDict begin %%BeginResource: procset /coord-font-family /Times-Roman def /default-font-family /Times-Roman def /coordfont coord-font-family findfont 8 scalefont def /InvScaleFactor 1.0 def /set_scale { dup 1 exch div /InvScaleFactor exch def dup scale } bind def % styles /solid { } bind def /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def /bold { 2 setlinewidth } bind def /filled { } bind def /unfilled { } bind def /rounded { } bind def /diagonals { } bind def % hooks for setting color /nodecolor { sethsbcolor } bind def /edgecolor { sethsbcolor } bind def /graphcolor { sethsbcolor } bind def /nopcolor {pop pop pop} bind def /beginpage { % i j npages /npages exch def /j exch def /i exch def /str 10 string def npages 1 gt { gsave coordfont setfont 0 0 moveto (\() show i str cvs show (,) show j str cvs show (\)) show grestore } if } bind def /set_font { findfont exch scalefont setfont } def % draw aligned label in bounding box aligned to current point % alignfactor tells what fraction to place on the left. % -.5 is centered. /alignedtext { % text labelwidth fontsz alignfactor /alignfactor exch def /fontsz exch def /width exch def /text exch def gsave % even if node or edge is dashed, don't paint text with dashes [] 0 setdash currentpoint newpath moveto text stringwidth pop alignfactor mul fontsz -.3 mul rmoveto text show grestore } def /boxprim { % xcorner ycorner xsize ysize 4 2 roll moveto 2 copy exch 0 rlineto 0 exch rlineto pop neg 0 rlineto closepath } bind def /ellipse_path { /ry exch def /rx exch def /y exch def /x exch def matrix currentmatrix newpath x y translate rx ry scale 0 0 1 0 360 arc setmatrix } bind def /endpage { showpage } bind def /layercolorseq [ % layer color sequence - darkest to lightest [0 0 0] [.2 .8 .8] [.4 .8 .8] [.6 .8 .8] [.8 .8 .8] ] def /setlayer {/maxlayer exch def /curlayer exch def layercolorseq curlayer get aload pop sethsbcolor /nodecolor {nopcolor} def /edgecolor {nopcolor} def /graphcolor {nopcolor} def } bind def /onlayer { curlayer ne {invis} if } def /onlayers { /myupper exch def /mylower exch def curlayer mylower lt curlayer myupper gt or {invis} if } def /curlayer 0 def %%EndProlog %%BeginSetup 14 default-font-family set_font 1 setmiterlimit % /arrowlength 10 def % /arrowwidth 5 def % make sure pdfmark is harmless for PS-interpreters other than Distiller /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse % make '<<' and '>>' safe on PS Level 1 devices /languagelevel where {pop languagelevel}{1} ifelse 2 lt { userdict (<<) cvn ([) cvn load put userdict (>>) cvn ([) cvn load put } if %%EndResource %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 577 201 %%PageOrientation: Portrait gsave 35 35 542 166 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.4796 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 577 201] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Multcase gsave 10 dict begin 355 272 36 18 ellipse_path stroke gsave 10 dict begin 355 273 moveto (Multcase) 51 14.00 -0.50 alignedtext end grestore end grestore % Evarutil gsave 10 dict begin 468 272 33 18 ellipse_path stroke gsave 10 dict begin 468 273 moveto (Evarutil) 45 14.00 -0.50 alignedtext end grestore end grestore % Multcase -> Evarutil newpath 391 272 moveto 402 272 414 272 425 272 curveto stroke newpath 425 270 moveto 435 272 lineto 425 275 lineto closepath gsave 0 setgray stroke grestore fill % Pretype_errors gsave 10 dict begin 596 272 51 18 ellipse_path stroke gsave 10 dict begin 596 273 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext end grestore end grestore % Evarutil -> Pretype_errors newpath 501 272 moveto 511 272 523 272 534 272 curveto stroke newpath 534 270 moveto 544 272 lineto 534 275 lineto closepath gsave 0 setgray stroke grestore fill % Indrec gsave 10 dict begin 596 326 28 18 ellipse_path stroke gsave 10 dict begin 596 327 moveto (Indrec) 35 14.00 -0.50 alignedtext end grestore end grestore % Evarutil -> Indrec newpath 494 283 moveto 514 292 542 304 564 313 curveto stroke newpath 564 310 moveto 572 316 lineto 562 315 lineto closepath gsave 0 setgray stroke grestore fill % Typing gsave 10 dict begin 468 218 30 18 ellipse_path stroke gsave 10 dict begin 468 219 moveto (Typing) 40 14.00 -0.50 alignedtext end grestore end grestore % Typing -> Pretype_errors newpath 493 229 moveto 510 236 534 246 554 254 curveto stroke newpath 555 252 moveto 563 258 lineto 553 256 lineto closepath gsave 0 setgray stroke grestore fill % Rawterm gsave 10 dict begin 731 164 36 18 ellipse_path stroke gsave 10 dict begin 731 165 moveto (Rawterm) 51 14.00 -0.50 alignedtext end grestore end grestore % Pretype_errors -> Rawterm newpath 630 258 moveto 637 255 644 251 648 248 curveto 667 233 692 206 710 187 curveto stroke newpath 708 186 moveto 716 180 lineto 711 189 lineto closepath gsave 0 setgray stroke grestore fill % Inductiveops gsave 10 dict begin 731 245 46 18 ellipse_path stroke gsave 10 dict begin 731 246 moveto (Inductiveops) 72 14.00 -0.50 alignedtext end grestore end grestore % Pretype_errors -> Inductiveops newpath 641 263 moveto 654 261 667 258 680 255 curveto stroke newpath 679 253 moveto 689 253 lineto 680 258 lineto closepath gsave 0 setgray stroke grestore fill % Tacred gsave 10 dict begin 731 56 29 18 ellipse_path stroke gsave 10 dict begin 731 57 moveto (Tacred) 38 14.00 -0.50 alignedtext end grestore end grestore % Cbv gsave 10 dict begin 863 56 27 18 ellipse_path stroke gsave 10 dict begin 863 57 moveto (Cbv) 23 14.00 -0.50 alignedtext end grestore end grestore % Tacred -> Cbv newpath 761 56 moveto 781 56 806 56 827 56 curveto stroke newpath 826 54 moveto 836 56 lineto 826 59 lineto closepath gsave 0 setgray stroke grestore fill % Reductionops gsave 10 dict begin 863 110 49 18 ellipse_path stroke gsave 10 dict begin 863 111 moveto (Reductionops) 77 14.00 -0.50 alignedtext end grestore end grestore % Tacred -> Reductionops newpath 756 66 moveto 774 74 800 84 821 92 curveto stroke newpath 822 90 moveto 830 96 lineto 820 94 lineto closepath gsave 0 setgray stroke grestore fill % Instantiate gsave 10 dict begin 988 56 39 18 ellipse_path stroke gsave 10 dict begin 988 57 moveto (Instantiate) 58 14.00 -0.50 alignedtext end grestore end grestore % Cbv -> Instantiate newpath 890 56 moveto 904 56 922 56 938 56 curveto stroke newpath 938 54 moveto 948 56 lineto 938 59 lineto closepath gsave 0 setgray stroke grestore fill % Reductionops -> Instantiate newpath 895 96 moveto 912 88 933 80 951 72 curveto stroke newpath 949 70 moveto 959 68 lineto 951 75 lineto closepath gsave 0 setgray stroke grestore fill % Termops gsave 10 dict begin 988 110 35 18 ellipse_path stroke gsave 10 dict begin 988 111 moveto (Termops) 49 14.00 -0.50 alignedtext end grestore end grestore % Reductionops -> Termops newpath 912 110 moveto 923 110 933 110 943 110 curveto stroke newpath 943 108 moveto 953 110 lineto 943 113 lineto closepath gsave 0 setgray stroke grestore fill % Syntax_def gsave 10 dict begin 596 164 42 18 ellipse_path stroke gsave 10 dict begin 596 165 moveto (Syntax_def) 63 14.00 -0.50 alignedtext end grestore end grestore % Syntax_def -> Rawterm newpath 638 164 moveto 653 164 670 164 685 164 curveto stroke newpath 685 162 moveto 695 164 lineto 685 167 lineto closepath gsave 0 setgray stroke grestore fill % Retyping gsave 10 dict begin 355 49 36 18 ellipse_path stroke gsave 10 dict begin 355 50 moveto (Retyping) 51 14.00 -0.50 alignedtext end grestore end grestore % Retyping -> Reductionops newpath 389 43 moveto 469 30 670 2 778 26 curveto 801 31 798 69 814 86 curveto 817 89 820 91 824 92 curveto stroke newpath 825 90 moveto 833 96 lineto 823 94 lineto closepath gsave 0 setgray stroke grestore fill % Evd gsave 10 dict begin 1091 56 27 18 ellipse_path stroke gsave 10 dict begin 1091 57 moveto (Evd) 22 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Evd newpath 1028 56 moveto 1037 56 1046 56 1054 56 curveto stroke newpath 1054 54 moveto 1064 56 lineto 1054 59 lineto closepath gsave 0 setgray stroke grestore fill % Recordops gsave 10 dict begin 468 110 40 18 ellipse_path stroke gsave 10 dict begin 468 111 moveto (Recordops) 59 14.00 -0.50 alignedtext end grestore end grestore % Classops gsave 10 dict begin 596 56 35 18 ellipse_path stroke gsave 10 dict begin 596 57 moveto (Classops) 49 14.00 -0.50 alignedtext end grestore end grestore % Recordops -> Classops newpath 497 98 moveto 516 90 541 79 561 71 curveto stroke newpath 559 69 moveto 569 68 lineto 561 74 lineto closepath gsave 0 setgray stroke grestore fill % Classops -> Tacred newpath 631 56 moveto 650 56 673 56 692 56 curveto stroke newpath 691 54 moveto 701 56 lineto 691 59 lineto closepath gsave 0 setgray stroke grestore fill % Classops -> Rawterm newpath 622 68 moveto 635 74 648 80 648 80 curveto 667 94 692 121 710 141 curveto stroke newpath 711 138 moveto 716 147 lineto 707 142 lineto closepath gsave 0 setgray stroke grestore fill % Pretyping gsave 10 dict begin 46 114 37 18 ellipse_path stroke gsave 10 dict begin 46 115 moveto (Pretyping) 54 14.00 -0.50 alignedtext end grestore end grestore % Cases gsave 10 dict begin 147 114 27 18 ellipse_path stroke gsave 10 dict begin 147 115 moveto (Cases) 32 14.00 -0.50 alignedtext end grestore end grestore % Pretyping -> Cases newpath 84 114 moveto 93 114 102 114 110 114 curveto stroke newpath 110 112 moveto 120 114 lineto 110 117 lineto closepath gsave 0 setgray stroke grestore fill % Coercion gsave 10 dict begin 246 114 36 18 ellipse_path stroke gsave 10 dict begin 246 115 moveto (Coercion) 51 14.00 -0.50 alignedtext end grestore end grestore % Cases -> Coercion newpath 174 114 moveto 182 114 191 114 200 114 curveto stroke newpath 200 112 moveto 210 114 lineto 200 117 lineto closepath gsave 0 setgray stroke grestore fill % Inductiveops -> Reductionops newpath 748 228 moveto 771 204 815 159 841 132 curveto stroke newpath 837 132 moveto 846 127 lineto 841 136 lineto closepath gsave 0 setgray stroke grestore fill % Pattern gsave 10 dict begin 596 110 30 18 ellipse_path stroke gsave 10 dict begin 596 111 moveto (Pattern) 39 14.00 -0.50 alignedtext end grestore end grestore % Pattern -> Reductionops newpath 626 110 moveto 670 110 751 110 806 110 curveto stroke newpath 804 108 moveto 814 110 lineto 804 113 lineto closepath gsave 0 setgray stroke grestore fill % Pattern -> Rawterm newpath 621 120 moveto 641 129 671 140 694 150 curveto stroke newpath 694 147 moveto 703 153 lineto 693 152 lineto closepath gsave 0 setgray stroke grestore fill % Indrec -> Inductiveops newpath 619 316 moveto 630 311 641 306 648 302 curveto 663 293 683 279 700 267 curveto stroke newpath 699 265 moveto 708 261 lineto 702 269 lineto closepath gsave 0 setgray stroke grestore fill % Evarconv gsave 10 dict begin 355 180 37 18 ellipse_path stroke gsave 10 dict begin 355 181 moveto (Evarconv) 53 14.00 -0.50 alignedtext end grestore end grestore % Evarconv -> Evarutil newpath 372 196 moveto 388 212 412 235 428 248 curveto 431 250 433 251 436 253 curveto stroke newpath 438 251 moveto 445 259 lineto 435 256 lineto closepath gsave 0 setgray stroke grestore fill % Evarconv -> Typing newpath 386 190 moveto 400 195 418 201 432 206 curveto stroke newpath 432 203 moveto 441 209 lineto 431 208 lineto closepath gsave 0 setgray stroke grestore fill % Evarconv -> Recordops newpath 378 166 moveto 395 156 418 141 436 130 curveto stroke newpath 434 128 moveto 444 125 lineto 437 132 lineto closepath gsave 0 setgray stroke grestore fill % Detyping gsave 10 dict begin 596 218 36 18 ellipse_path stroke gsave 10 dict begin 596 219 moveto (Detyping) 52 14.00 -0.50 alignedtext end grestore end grestore % Detyping -> Rawterm newpath 625 207 moveto 645 199 673 188 694 179 curveto stroke newpath 693 177 moveto 703 175 lineto 695 181 lineto closepath gsave 0 setgray stroke grestore fill % Detyping -> Inductiveops newpath 630 225 moveto 645 228 663 232 679 235 curveto stroke newpath 680 233 moveto 689 237 lineto 679 237 lineto closepath gsave 0 setgray stroke grestore fill % Coercion -> Retyping newpath 269 100 moveto 285 91 306 78 323 68 curveto stroke newpath 321 66 moveto 331 63 lineto 324 70 lineto closepath gsave 0 setgray stroke grestore fill % Coercion -> Evarconv newpath 269 128 moveto 285 138 306 151 324 161 curveto stroke newpath 325 159 moveto 332 166 lineto 322 163 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF