%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: Gros nain %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 91 %%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 %%EndResource %%EndProlog %%BeginSetup 14 default-font-family set_font % /arrowlength 10 def % /arrowwidth 5 def %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 577 91 gsave 35 35 542 56 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.3982 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Univ gsave 10 dict begin 1231 101 27 18 ellipse_path stroke gsave 10 dict begin 1231 102 moveto (Univ) 28 14.00 -0.50 alignedtext end grestore end grestore % Names gsave 10 dict begin 1326 101 29 18 ellipse_path stroke gsave 10 dict begin 1326 102 moveto (Names) 38 14.00 -0.50 alignedtext end grestore end grestore % Univ -> Names newpath 1258 101 moveto 1267 101 1277 101 1286 101 curveto stroke newpath 1286 99 moveto 1296 101 lineto 1286 104 lineto closepath gsave 0 setgray stroke grestore fill % Typeops gsave 10 dict begin 265 64 34 18 ellipse_path stroke gsave 10 dict begin 265 65 moveto (Typeops) 48 14.00 -0.50 alignedtext end grestore end grestore % Inductive gsave 10 dict begin 381 72 36 18 ellipse_path stroke gsave 10 dict begin 381 73 moveto (Inductive) 52 14.00 -0.50 alignedtext end grestore end grestore % Typeops -> Inductive newpath 299 66 moveto 310 67 323 68 334 69 curveto stroke newpath 334 67 moveto 344 70 lineto 334 71 lineto closepath gsave 0 setgray stroke grestore fill % Type_errors gsave 10 dict begin 381 18 44 18 ellipse_path stroke gsave 10 dict begin 381 19 moveto (Type_errors) 68 14.00 -0.50 alignedtext end grestore end grestore % Typeops -> Type_errors newpath 292 53 moveto 306 47 324 41 340 35 curveto stroke newpath 339 33 moveto 349 31 lineto 341 37 lineto closepath gsave 0 setgray stroke grestore fill % Reduction gsave 10 dict begin 501 72 39 18 ellipse_path stroke gsave 10 dict begin 501 73 moveto (Reduction) 57 14.00 -0.50 alignedtext end grestore end grestore % Inductive -> Reduction newpath 418 72 moveto 429 72 441 72 452 72 curveto stroke newpath 452 70 moveto 462 72 lineto 452 75 lineto closepath gsave 0 setgray stroke grestore fill % Type_errors -> Reduction newpath 411 31 moveto 427 39 448 48 465 55 curveto stroke newpath 465 52 moveto 473 59 lineto 463 57 lineto closepath gsave 0 setgray stroke grestore fill % Closure gsave 10 dict begin 608 72 32 18 ellipse_path stroke gsave 10 dict begin 608 73 moveto (Closure) 43 14.00 -0.50 alignedtext end grestore end grestore % Reduction -> Closure newpath 540 72 moveto 549 72 558 72 566 72 curveto stroke newpath 566 70 moveto 576 72 lineto 566 75 lineto closepath gsave 0 setgray stroke grestore fill % Term gsave 10 dict begin 1139 74 27 18 ellipse_path stroke gsave 10 dict begin 1139 75 moveto (Term) 30 14.00 -0.50 alignedtext end grestore end grestore % Term -> Univ newpath 1164 81 moveto 1174 84 1186 88 1197 91 curveto stroke newpath 1197 88 moveto 1206 94 lineto 1196 93 lineto closepath gsave 0 setgray stroke grestore fill % Esubst gsave 10 dict begin 1231 47 29 18 ellipse_path stroke gsave 10 dict begin 1231 48 moveto (Esubst) 37 14.00 -0.50 alignedtext end grestore end grestore % Term -> Esubst newpath 1164 67 moveto 1174 64 1185 61 1196 58 curveto stroke newpath 1195 56 moveto 1205 55 lineto 1196 61 lineto closepath gsave 0 setgray stroke grestore fill % Sign gsave 10 dict begin 1049 74 27 18 ellipse_path stroke gsave 10 dict begin 1049 75 moveto (Sign) 25 14.00 -0.50 alignedtext end grestore end grestore % Sign -> Term newpath 1076 74 moveto 1084 74 1093 74 1102 74 curveto stroke newpath 1102 72 moveto 1112 74 lineto 1102 77 lineto closepath gsave 0 setgray stroke grestore fill % Safe_typing gsave 10 dict begin 44 92 44 18 ellipse_path stroke gsave 10 dict begin 44 93 moveto (Safe_typing) 67 14.00 -0.50 alignedtext end grestore end grestore % Cooking gsave 10 dict begin 265 118 34 18 ellipse_path stroke gsave 10 dict begin 265 119 moveto (Cooking) 48 14.00 -0.50 alignedtext end grestore end grestore % Safe_typing -> Cooking newpath 86 97 moveto 126 102 184 109 223 113 curveto stroke newpath 221 110 moveto 231 114 lineto 221 115 lineto closepath gsave 0 setgray stroke grestore fill % Indtypes gsave 10 dict begin 159 68 34 18 ellipse_path stroke gsave 10 dict begin 159 69 moveto (Indtypes) 48 14.00 -0.50 alignedtext end grestore end grestore % Safe_typing -> Indtypes newpath 83 84 moveto 94 82 106 79 117 77 curveto stroke newpath 117 75 moveto 127 75 lineto 118 79 lineto closepath gsave 0 setgray stroke grestore fill % Cooking -> Reduction newpath 300 116 moveto 336 114 393 109 426 102 curveto 437 99 453 94 468 88 curveto stroke newpath 464 87 moveto 474 85 lineto 466 92 lineto closepath gsave 0 setgray stroke grestore fill % Indtypes -> Typeops newpath 193 67 moveto 203 67 213 66 224 66 curveto stroke newpath 221 64 moveto 231 66 lineto 221 69 lineto closepath gsave 0 setgray stroke grestore fill % Instantiate gsave 10 dict begin 716 72 39 18 ellipse_path stroke gsave 10 dict begin 716 73 moveto (Instantiate) 58 14.00 -0.50 alignedtext end grestore end grestore % Closure -> Instantiate newpath 640 72 moveto 648 72 657 72 666 72 curveto stroke newpath 666 70 moveto 676 72 lineto 666 75 lineto closepath gsave 0 setgray stroke grestore fill % Environ gsave 10 dict begin 825 99 33 18 ellipse_path stroke gsave 10 dict begin 825 100 moveto (Environ) 45 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Environ newpath 751 81 moveto 762 84 774 87 786 89 curveto stroke newpath 786 86 moveto 795 92 lineto 785 91 lineto closepath gsave 0 setgray stroke grestore fill % Evd gsave 10 dict begin 940 47 27 18 ellipse_path stroke gsave 10 dict begin 940 48 moveto (Evd) 22 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Evd newpath 755 68 moveto 797 63 864 56 905 51 curveto stroke newpath 903 49 moveto 913 50 lineto 903 54 lineto closepath gsave 0 setgray stroke grestore fill % Declarations gsave 10 dict begin 940 101 45 18 ellipse_path stroke gsave 10 dict begin 940 102 moveto (Declarations) 70 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Declarations newpath 858 100 moveto 866 100 875 100 884 100 curveto stroke newpath 884 98 moveto 894 100 lineto 884 103 lineto closepath gsave 0 setgray stroke grestore fill % Evd -> Sign newpath 966 53 moveto 980 56 998 61 1015 65 curveto stroke newpath 1015 62 moveto 1024 68 lineto 1014 67 lineto closepath gsave 0 setgray stroke grestore fill % Declarations -> Sign newpath 979 91 moveto 991 89 1003 86 1015 83 curveto stroke newpath 1014 81 moveto 1024 80 lineto 1015 86 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF