%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: (jacek) Jacek Chrzaszcz %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 70 %%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 70 gsave 35 35 542 35 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.3745 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 1319 45 27 18 ellipse_path stroke gsave 10 dict begin 1319 46 moveto (Univ) 28 14.00 -0.50 alignedtext end grestore end grestore % Names gsave 10 dict begin 1412 45 29 18 ellipse_path stroke gsave 10 dict begin 1412 46 moveto (Names) 38 14.00 -0.50 alignedtext end grestore end grestore % Univ -> Names newpath 1346 45 moveto 1354 45 1363 45 1372 45 curveto stroke newpath 1372 43 moveto 1382 45 lineto 1372 48 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 1229 45 27 18 ellipse_path stroke gsave 10 dict begin 1229 46 moveto (Term) 30 14.00 -0.50 alignedtext end grestore end grestore % Term -> Univ newpath 1256 45 moveto 1264 45 1273 45 1282 45 curveto stroke newpath 1282 43 moveto 1292 45 lineto 1282 48 lineto closepath gsave 0 setgray stroke grestore fill % Sign gsave 10 dict begin 1139 45 27 18 ellipse_path stroke gsave 10 dict begin 1139 46 moveto (Sign) 25 14.00 -0.50 alignedtext end grestore end grestore % Sign -> Term newpath 1166 45 moveto 1174 45 1183 45 1192 45 curveto stroke newpath 1192 43 moveto 1202 45 lineto 1192 48 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 % Evd gsave 10 dict begin 819 45 27 18 ellipse_path stroke gsave 10 dict begin 819 46 moveto (Evd) 22 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Evd newpath 756 45 moveto 765 45 774 45 782 45 curveto stroke newpath 782 43 moveto 792 45 lineto 782 48 lineto closepath gsave 0 setgray stroke grestore fill % Environ gsave 10 dict begin 915 45 33 18 ellipse_path stroke gsave 10 dict begin 915 46 moveto (Environ) 45 14.00 -0.50 alignedtext end grestore end grestore % Evd -> Environ newpath 846 45 moveto 854 45 863 45 872 45 curveto stroke newpath 872 43 moveto 882 45 lineto 872 48 lineto closepath gsave 0 setgray stroke grestore fill % Declarations gsave 10 dict begin 1030 45 45 18 ellipse_path stroke gsave 10 dict begin 1030 46 moveto (Declarations) 70 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Declarations newpath 948 45 moveto 956 45 965 45 974 45 curveto stroke newpath 974 43 moveto 984 45 lineto 974 48 lineto closepath gsave 0 setgray stroke grestore fill % Declarations -> Sign newpath 1076 45 moveto 1085 45 1094 45 1102 45 curveto stroke newpath 1102 43 moveto 1112 45 lineto 1102 48 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF