%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: (jc) Jean-Christophe,,,, %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 94 %%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 94 gsave 35 35 542 59 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.4000 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 1221 72 27 18 ellipse_path stroke gsave 10 dict begin 1221 73 moveto (Univ) 28 14.00 -0.50 alignedtext end grestore end grestore % Names gsave 10 dict begin 1320 45 29 18 ellipse_path stroke gsave 10 dict begin 1320 46 moveto (Names) 38 14.00 -0.50 alignedtext end grestore end grestore % Univ -> Names newpath 1246 65 moveto 1258 62 1271 58 1284 55 curveto stroke newpath 1283 53 moveto 1293 52 lineto 1284 58 lineto closepath gsave 0 setgray stroke grestore fill % Typeops gsave 10 dict begin 265 70 34 18 ellipse_path stroke gsave 10 dict begin 265 71 moveto (Typeops) 48 14.00 -0.50 alignedtext end grestore end grestore % Reduction gsave 10 dict begin 375 97 39 18 ellipse_path stroke gsave 10 dict begin 375 98 moveto (Reduction) 57 14.00 -0.50 alignedtext end grestore end grestore % Typeops -> Reduction newpath 296 78 moveto 307 80 319 83 330 86 curveto stroke newpath 331 84 moveto 340 89 lineto 330 89 lineto closepath gsave 0 setgray stroke grestore fill % Type_errors gsave 10 dict begin 495 45 44 18 ellipse_path stroke gsave 10 dict begin 495 46 moveto (Type_errors) 68 14.00 -0.50 alignedtext end grestore end grestore % Typeops -> Type_errors newpath 299 66 moveto 337 62 399 55 443 51 curveto stroke newpath 442 49 moveto 452 50 lineto 442 54 lineto closepath gsave 0 setgray stroke grestore fill % Closure gsave 10 dict begin 495 99 32 18 ellipse_path stroke gsave 10 dict begin 495 100 moveto (Closure) 43 14.00 -0.50 alignedtext end grestore end grestore % Reduction -> Closure newpath 414 98 moveto 427 98 441 98 453 98 curveto stroke newpath 453 96 moveto 463 98 lineto 453 101 lineto closepath gsave 0 setgray stroke grestore fill % Environ gsave 10 dict begin 815 72 33 18 ellipse_path stroke gsave 10 dict begin 815 73 moveto (Environ) 45 14.00 -0.50 alignedtext end grestore end grestore % Type_errors -> Environ newpath 539 49 moveto 601 54 713 63 774 68 curveto stroke newpath 772 65 moveto 782 69 lineto 772 70 lineto closepath gsave 0 setgray stroke grestore fill % Inductive gsave 10 dict begin 927 126 36 18 ellipse_path stroke gsave 10 dict begin 927 127 moveto (Inductive) 52 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Inductive newpath 840 84 moveto 855 92 875 101 892 109 curveto stroke newpath 893 107 moveto 901 113 lineto 891 111 lineto closepath gsave 0 setgray stroke grestore fill % Abstraction gsave 10 dict begin 927 18 43 18 ellipse_path stroke gsave 10 dict begin 927 19 moveto (Abstraction) 65 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Abstraction newpath 840 60 moveto 854 53 874 44 890 36 curveto stroke newpath 889 34 moveto 899 32 lineto 891 38 lineto closepath gsave 0 setgray stroke grestore fill % Constant gsave 10 dict begin 927 72 35 18 ellipse_path stroke gsave 10 dict begin 927 73 moveto (Constant) 49 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Constant newpath 848 72 moveto 859 72 871 72 882 72 curveto stroke newpath 882 70 moveto 892 72 lineto 882 75 lineto closepath gsave 0 setgray stroke grestore fill % Term gsave 10 dict begin 1125 45 27 18 ellipse_path stroke gsave 10 dict begin 1125 46 moveto (Term) 30 14.00 -0.50 alignedtext end grestore end grestore % Term -> Univ newpath 1150 52 moveto 1161 55 1175 59 1187 62 curveto stroke newpath 1187 59 moveto 1196 65 lineto 1186 64 lineto closepath gsave 0 setgray stroke grestore fill % Generic gsave 10 dict begin 1221 18 32 18 ellipse_path stroke gsave 10 dict begin 1221 19 moveto (Generic) 44 14.00 -0.50 alignedtext end grestore end grestore % Term -> Generic newpath 1150 38 moveto 1160 35 1171 32 1182 29 curveto stroke newpath 1182 26 moveto 1192 26 lineto 1183 31 lineto closepath gsave 0 setgray stroke grestore fill % Generic -> Names newpath 1250 26 moveto 1260 29 1273 32 1284 35 curveto stroke newpath 1284 32 moveto 1293 38 lineto 1283 37 lineto closepath gsave 0 setgray stroke grestore fill % Sosub gsave 10 dict begin 1034 18 27 18 ellipse_path stroke gsave 10 dict begin 1034 19 moveto (Sosub) 34 14.00 -0.50 alignedtext end grestore end grestore % Sosub -> Term newpath 1059 26 moveto 1069 29 1080 32 1091 35 curveto stroke newpath 1091 32 moveto 1100 38 lineto 1090 37 lineto closepath gsave 0 setgray stroke grestore fill % Sign gsave 10 dict begin 1034 72 27 18 ellipse_path stroke gsave 10 dict begin 1034 73 moveto (Sign) 25 14.00 -0.50 alignedtext end grestore end grestore % Sign -> Term newpath 1059 65 moveto 1069 62 1080 58 1091 55 curveto stroke newpath 1090 53 moveto 1100 53 lineto 1091 58 lineto closepath gsave 0 setgray stroke grestore fill % Safe_typing gsave 10 dict begin 44 70 44 18 ellipse_path stroke gsave 10 dict begin 44 71 moveto (Safe_typing) 67 14.00 -0.50 alignedtext end grestore end grestore % Indtypes gsave 10 dict begin 159 70 34 18 ellipse_path stroke gsave 10 dict begin 159 71 moveto (Indtypes) 48 14.00 -0.50 alignedtext end grestore end grestore % Safe_typing -> Indtypes newpath 88 70 moveto 97 70 106 70 114 70 curveto stroke newpath 114 68 moveto 124 70 lineto 114 73 lineto closepath gsave 0 setgray stroke grestore fill % Indtypes -> Typeops newpath 194 70 moveto 203 70 212 70 220 70 curveto stroke newpath 220 68 moveto 230 70 lineto 220 73 lineto closepath gsave 0 setgray stroke grestore fill % Instantiate gsave 10 dict begin 616 98 39 18 ellipse_path stroke gsave 10 dict begin 616 99 moveto (Instantiate) 58 14.00 -0.50 alignedtext end grestore end grestore % Closure -> Instantiate newpath 527 99 moveto 539 99 553 98 566 98 curveto stroke newpath 566 96 moveto 576 98 lineto 566 101 lineto closepath gsave 0 setgray stroke grestore fill % Evd gsave 10 dict begin 719 96 27 18 ellipse_path stroke gsave 10 dict begin 719 97 moveto (Evd) 22 14.00 -0.50 alignedtext end grestore end grestore % Instantiate -> Evd newpath 656 97 moveto 665 97 674 97 682 97 curveto stroke newpath 682 95 moveto 692 97 lineto 682 100 lineto closepath gsave 0 setgray stroke grestore fill % Evd -> Environ newpath 744 90 moveto 754 88 765 85 775 82 curveto stroke newpath 775 80 moveto 785 80 lineto 776 84 lineto closepath gsave 0 setgray stroke grestore fill % Inductive -> Sign newpath 953 113 moveto 968 105 988 96 1004 87 curveto stroke newpath 1002 85 moveto 1012 83 lineto 1004 90 lineto closepath gsave 0 setgray stroke grestore fill % Abstraction -> Sosub newpath 970 18 moveto 979 18 988 18 996 18 curveto stroke newpath 996 16 moveto 1006 18 lineto 996 21 lineto closepath gsave 0 setgray stroke grestore fill % Constant -> Sign newpath 962 72 moveto 974 72 986 72 997 72 curveto stroke newpath 997 70 moveto 1007 72 lineto 997 75 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF