%!PS-Adobe-2.0 %%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001) %%For: (herbelin) Hugo Herbelin %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 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 %%EndProlog %%BeginSetup 14 default-font-family set_font 1 setmiterlimit % /arrowlength 10 def % /arrowwidth 5 def % make sure pdfmark is harmless for PS-interpreters other than Distiller /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse % make '<<' and '>>' safe on PS Level 1 devices /languagelevel where {pop languagelevel}{1} ifelse 2 lt { userdict (<<) cvn ([) cvn load put userdict (>>) cvn ([) cvn load put } if %%EndResource %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 576 70 %%PageOrientation: Portrait gsave 35 35 541 35 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.3614 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 576 70] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Univ gsave 10 dict begin 1361 74 27 18 ellipse_path stroke gsave 10 dict begin 1361 75 moveto (Univ) 28 14.00 -0.50 alignedtext end grestore end grestore % Names gsave 10 dict begin 1456 74 29 18 ellipse_path stroke gsave 10 dict begin 1456 75 moveto (Names) 38 14.00 -0.50 alignedtext end grestore end grestore % Univ -> Names newpath 1388 74 moveto 1397 74 1407 74 1416 74 curveto stroke newpath 1416 72 moveto 1426 74 lineto 1416 77 lineto closepath gsave 0 setgray stroke grestore fill % Typeops gsave 10 dict begin 273 18 34 18 ellipse_path stroke gsave 10 dict begin 273 19 moveto (Typeops) 48 14.00 -0.50 alignedtext end grestore end grestore % Inductive gsave 10 dict begin 381 20 36 18 ellipse_path stroke gsave 10 dict begin 381 21 moveto (Inductive) 52 14.00 -0.50 alignedtext end grestore end grestore % Typeops -> Inductive newpath 308 19 moveto 317 19 326 19 334 19 curveto stroke newpath 334 17 moveto 344 19 lineto 334 22 lineto closepath gsave 0 setgray stroke grestore fill % Type_errors gsave 10 dict begin 499 24 44 18 ellipse_path stroke gsave 10 dict begin 499 25 moveto (Type_errors) 68 14.00 -0.50 alignedtext end grestore end grestore % Inductive -> Type_errors newpath 418 21 moveto 426 21 435 22 444 22 curveto stroke newpath 444 20 moveto 454 22 lineto 444 25 lineto closepath gsave 0 setgray stroke grestore fill % Reduction gsave 10 dict begin 619 47 39 18 ellipse_path stroke gsave 10 dict begin 619 48 moveto (Reduction) 57 14.00 -0.50 alignedtext end grestore end grestore % Type_errors -> Reduction newpath 539 32 moveto 550 34 562 36 573 38 curveto stroke newpath 574 36 moveto 583 40 lineto 573 40 lineto closepath gsave 0 setgray stroke grestore fill % Conv_oracle gsave 10 dict begin 740 47 46 18 ellipse_path stroke gsave 10 dict begin 740 48 moveto (Conv_oracle) 71 14.00 -0.50 alignedtext end grestore end grestore % Reduction -> Conv_oracle newpath 658 47 moveto 667 47 675 47 684 47 curveto stroke newpath 684 45 moveto 694 47 lineto 684 50 lineto closepath gsave 0 setgray stroke grestore fill % Term gsave 10 dict begin 1269 47 27 18 ellipse_path stroke gsave 10 dict begin 1269 48 moveto (Term) 30 14.00 -0.50 alignedtext end grestore end grestore % Term -> Univ newpath 1294 54 moveto 1304 57 1316 61 1327 64 curveto stroke newpath 1327 61 moveto 1336 67 lineto 1326 66 lineto closepath gsave 0 setgray stroke grestore fill % Esubst gsave 10 dict begin 1361 20 29 18 ellipse_path stroke gsave 10 dict begin 1361 21 moveto (Esubst) 37 14.00 -0.50 alignedtext end grestore end grestore % Term -> Esubst newpath 1294 40 moveto 1304 37 1315 34 1326 31 curveto stroke newpath 1325 29 moveto 1335 28 lineto 1326 34 lineto closepath gsave 0 setgray stroke grestore fill % Sign gsave 10 dict begin 1179 47 27 18 ellipse_path stroke gsave 10 dict begin 1179 48 moveto (Sign) 25 14.00 -0.50 alignedtext end grestore end grestore % Sign -> Term newpath 1206 47 moveto 1214 47 1223 47 1232 47 curveto stroke newpath 1232 45 moveto 1242 47 lineto 1232 50 lineto closepath gsave 0 setgray stroke grestore fill % Safe_typing gsave 10 dict begin 52 46 44 18 ellipse_path stroke gsave 10 dict begin 52 47 moveto (Safe_typing) 67 14.00 -0.50 alignedtext end grestore end grestore % Cooking gsave 10 dict begin 273 72 34 18 ellipse_path stroke gsave 10 dict begin 273 73 moveto (Cooking) 48 14.00 -0.50 alignedtext end grestore end grestore % Safe_typing -> Cooking newpath 94 51 moveto 134 56 192 63 231 67 curveto stroke newpath 229 64 moveto 239 68 lineto 229 69 lineto closepath gsave 0 setgray stroke grestore fill % Indtypes gsave 10 dict begin 167 22 34 18 ellipse_path stroke gsave 10 dict begin 167 23 moveto (Indtypes) 48 14.00 -0.50 alignedtext end grestore end grestore % Safe_typing -> Indtypes newpath 91 38 moveto 102 36 114 33 125 31 curveto stroke newpath 125 29 moveto 135 29 lineto 126 33 lineto closepath gsave 0 setgray stroke grestore fill % Cooking -> Reduction newpath 307 70 moveto 369 65 500 56 571 51 curveto stroke newpath 570 49 moveto 580 50 lineto 570 54 lineto closepath gsave 0 setgray stroke grestore fill % Indtypes -> Typeops newpath 201 21 moveto 211 21 221 20 232 20 curveto stroke newpath 229 18 moveto 239 20 lineto 229 23 lineto closepath gsave 0 setgray stroke grestore fill % Closure gsave 10 dict begin 854 47 32 18 ellipse_path stroke gsave 10 dict begin 854 48 moveto (Closure) 43 14.00 -0.50 alignedtext end grestore end grestore % Conv_oracle -> Closure newpath 786 47 moveto 795 47 804 47 812 47 curveto stroke newpath 812 45 moveto 822 47 lineto 812 50 lineto closepath gsave 0 setgray stroke grestore fill % Environ gsave 10 dict begin 955 47 33 18 ellipse_path stroke gsave 10 dict begin 955 48 moveto (Environ) 45 14.00 -0.50 alignedtext end grestore end grestore % Declarations gsave 10 dict begin 1070 47 45 18 ellipse_path stroke gsave 10 dict begin 1070 48 moveto (Declarations) 70 14.00 -0.50 alignedtext end grestore end grestore % Environ -> Declarations newpath 988 47 moveto 996 47 1005 47 1014 47 curveto stroke newpath 1014 45 moveto 1024 47 lineto 1014 50 lineto closepath gsave 0 setgray stroke grestore fill % Declarations -> Sign newpath 1116 47 moveto 1125 47 1134 47 1142 47 curveto stroke newpath 1142 45 moveto 1152 47 lineto 1142 50 lineto closepath gsave 0 setgray stroke grestore fill % Closure -> Environ newpath 886 47 moveto 894 47 903 47 912 47 curveto stroke newpath 912 45 moveto 922 47 lineto 912 50 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF