%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: Gros nain %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 73 %%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 73 gsave 35 35 541 38 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 47 27 18 ellipse_path stroke gsave 10 dict begin 1229 48 moveto (Univ) 28 14.00 -0.50 alignedtext end grestore end grestore % Names gsave 10 dict begin 1322 47 29 18 ellipse_path stroke gsave 10 dict begin 1322 48 moveto (Names) 38 14.00 -0.50 alignedtext end grestore end grestore % Univ -> Names newpath 1256 47 moveto 1264 47 1273 47 1282 47 curveto stroke newpath 1282 45 moveto 1292 47 lineto 1282 50 lineto closepath gsave 0 setgray stroke grestore fill % Typeops gsave 10 dict begin 265 45 34 18 ellipse_path stroke gsave 10 dict begin 265 46 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 297 52 moveto 310 55 325 58 339 62 curveto stroke newpath 339 59 moveto 348 64 lineto 338 64 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 297 38 moveto 308 36 321 33 333 30 curveto stroke newpath 332 28 moveto 342 27 lineto 333 33 lineto closepath gsave 0 setgray stroke grestore fill % Reduction gsave 10 dict begin 501 45 39 18 ellipse_path stroke gsave 10 dict begin 501 46 moveto (Reduction) 57 14.00 -0.50 alignedtext end grestore end grestore % Inductive -> Reduction newpath 414 64 moveto 427 61 442 58 456 55 curveto stroke newpath 456 53 moveto 466 53 lineto 457 57 lineto closepath gsave 0 setgray stroke grestore fill % Type_errors -> Reduction newpath 420 27 moveto 432 29 444 32 456 35 curveto stroke newpath 456 32 moveto 465 37 lineto 455 37 lineto closepath gsave 0 setgray stroke grestore fill % Closure gsave 10 dict begin 608 45 32 18 ellipse_path stroke gsave 10 dict begin 608 46 moveto (Closure) 43 14.00 -0.50 alignedtext end grestore end grestore % Reduction -> Closure newpath 540 45 moveto 549 45 558 45 566 45 curveto stroke newpath 566 43 moveto 576 45 lineto 566 48 lineto closepath gsave 0 setgray stroke grestore fill % Term gsave 10 dict begin 1139 47 27 18 ellipse_path stroke gsave 10 dict begin 1139 48 moveto (Term) 30 14.00 -0.50 alignedtext end grestore end grestore % Term -> Univ newpath 1166 47 moveto 1174 47 1183 47 1192 47 curveto stroke newpath 1192 45 moveto 1202 47 lineto 1192 50 lineto closepath gsave 0 setgray stroke grestore fill % Sign gsave 10 dict begin 1049 47 27 18 ellipse_path stroke gsave 10 dict begin 1049 48 moveto (Sign) 25 14.00 -0.50 alignedtext end grestore end grestore % Sign -> Term newpath 1076 47 moveto 1084 47 1093 47 1102 47 curveto stroke newpath 1102 45 moveto 1112 47 lineto 1102 50 lineto closepath gsave 0 setgray stroke grestore fill % Safe_typing gsave 10 dict begin 44 45 44 18 ellipse_path stroke gsave 10 dict begin 44 46 moveto (Safe_typing) 67 14.00 -0.50 alignedtext end grestore end grestore % Indtypes gsave 10 dict begin 159 45 34 18 ellipse_path stroke gsave 10 dict begin 159 46 moveto (Indtypes) 48 14.00 -0.50 alignedtext end grestore end grestore % Safe_typing -> Indtypes newpath 88 45 moveto 97 45 106 45 114 45 curveto stroke newpath 114 43 moveto 124 45 lineto 114 48 lineto closepath gsave 0 setgray stroke grestore fill % Indtypes -> Typeops newpath 194 45 moveto 203 45 212 45 220 45 curveto stroke newpath 220 43 moveto 230 45 lineto 220 48 lineto closepath gsave 0 setgray stroke grestore fill % Instantiate gsave 10 dict begin 716 45 39 18 ellipse_path stroke gsave 10 dict begin 716 46 moveto (Instantiate) 58 14.00 -0.50 alignedtext end grestore end grestore % Closure -> Instantiate newpath 640 45 moveto 648 45 657 45 666 45 curveto stroke newpath 666 43 moveto 676 45 lineto 666 48 lineto closepath gsave 0 setgray stroke grestore fill % Environ gsave 10 dict begin 825 72 33 18 ellipse_path stroke gsave 10 dict begin 825 73 moveto (Environ) 45 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Environ newpath 751 54 moveto 762 57 774 60 786 62 curveto stroke newpath 786 59 moveto 795 65 lineto 785 64 lineto closepath gsave 0 setgray stroke grestore fill % Evd gsave 10 dict begin 940 20 27 18 ellipse_path stroke gsave 10 dict begin 940 21 moveto (Evd) 22 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Evd newpath 755 41 moveto 797 36 864 29 905 24 curveto stroke newpath 903 22 moveto 913 23 lineto 903 27 lineto closepath gsave 0 setgray stroke grestore fill % Declarations gsave 10 dict begin 940 74 45 18 ellipse_path stroke gsave 10 dict begin 940 75 moveto (Declarations) 70 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Declarations newpath 858 73 moveto 866 73 875 73 884 73 curveto stroke newpath 884 71 moveto 894 73 lineto 884 76 lineto closepath gsave 0 setgray stroke grestore fill % Evd -> Sign newpath 966 26 moveto 980 29 998 34 1015 38 curveto stroke newpath 1015 35 moveto 1024 41 lineto 1014 40 lineto closepath gsave 0 setgray stroke grestore fill % Declarations -> Sign newpath 979 64 moveto 991 62 1003 59 1015 56 curveto stroke newpath 1014 54 moveto 1024 53 lineto 1015 59 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF