%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: Gros nain %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 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 576 91 gsave 35 35 541 56 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.3994 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 1229 74 27 18 ellipse_path stroke gsave 10 dict begin 1229 75 moveto (Univ) 28 14.00 -0.50 alignedtext end grestore end grestore % Names gsave 10 dict begin 1322 74 29 18 ellipse_path stroke gsave 10 dict begin 1322 75 moveto (Names) 38 14.00 -0.50 alignedtext end grestore end grestore % Univ -> Names newpath 1256 74 moveto 1264 74 1273 74 1282 74 curveto stroke newpath 1282 72 moveto 1292 74 lineto 1282 77 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 1166 74 moveto 1174 74 1183 74 1192 74 curveto stroke newpath 1192 72 moveto 1202 74 lineto 1192 77 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 113 393 108 426 102 curveto 426 102 444 95 462 87 curveto stroke newpath 461 85 moveto 471 84 lineto 462 90 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