%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: Gros nain %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 225 %%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 225 gsave 35 35 541 190 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.7050 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Pcoq gsave 10 dict begin 643 141 27 18 ellipse_path stroke gsave 10 dict begin 643 142 moveto (Pcoq) 28 14.00 -0.50 alignedtext end grestore end grestore % Coqast gsave 10 dict begin 736 141 30 18 ellipse_path stroke gsave 10 dict begin 736 142 moveto (Coqast) 38 14.00 -0.50 alignedtext end grestore end grestore % Pcoq -> Coqast newpath 670 141 moveto 678 141 687 141 696 141 curveto stroke newpath 696 139 moveto 706 141 lineto 696 144 lineto closepath gsave 0 setgray stroke grestore fill % Extend gsave 10 dict begin 460 141 30 18 ellipse_path stroke gsave 10 dict begin 460 142 moveto (Extend) 39 14.00 -0.50 alignedtext end grestore end grestore % Ast gsave 10 dict begin 553 141 27 18 ellipse_path stroke gsave 10 dict begin 553 142 moveto (Ast) 19 14.00 -0.50 alignedtext end grestore end grestore % Extend -> Ast newpath 490 141 moveto 498 141 507 141 516 141 curveto stroke newpath 516 139 moveto 526 141 lineto 516 144 lineto closepath gsave 0 setgray stroke grestore fill % Ast -> Pcoq newpath 580 141 moveto 588 141 597 141 606 141 curveto stroke newpath 606 139 moveto 616 141 lineto 606 144 lineto closepath gsave 0 setgray stroke grestore fill % Termast gsave 10 dict begin 354 195 33 18 ellipse_path stroke gsave 10 dict begin 354 196 moveto (Termast) 45 14.00 -0.50 alignedtext end grestore end grestore % Termast -> Ast newpath 386 190 moveto 417 186 463 178 490 171 curveto 490 171 507 163 523 155 curveto stroke newpath 521 153 moveto 531 151 lineto 523 158 lineto closepath gsave 0 setgray stroke grestore fill % Search gsave 10 dict begin 30 60 29 18 ellipse_path stroke gsave 10 dict begin 30 61 moveto (Search) 37 14.00 -0.50 alignedtext end grestore end grestore % Astterm gsave 10 dict begin 354 33 33 18 ellipse_path stroke gsave 10 dict begin 354 34 moveto (Astterm) 45 14.00 -0.50 alignedtext end grestore end grestore % Search -> Astterm newpath 57 53 moveto 92 45 151 31 186 26 curveto 217 22 248 25 278 26 curveto 288 27 301 28 314 29 curveto stroke newpath 311 26 moveto 321 30 lineto 311 31 lineto closepath gsave 0 setgray stroke grestore fill % Pretty gsave 10 dict begin 123 110 27 18 ellipse_path stroke gsave 10 dict begin 123 111 moveto (Pretty) 33 14.00 -0.50 alignedtext end grestore end grestore % Search -> Pretty newpath 53 72 moveto 65 79 80 87 94 94 curveto stroke newpath 95 92 moveto 102 99 lineto 92 96 lineto closepath gsave 0 setgray stroke grestore fill % Astterm -> Ast newpath 387 35 moveto 418 38 465 44 490 57 curveto 509 67 527 95 540 116 curveto stroke newpath 542 114 moveto 544 124 lineto 537 116 lineto closepath gsave 0 setgray stroke grestore fill % Printer gsave 10 dict begin 232 164 29 18 ellipse_path stroke gsave 10 dict begin 232 165 moveto (Printer) 38 14.00 -0.50 alignedtext end grestore end grestore % Pretty -> Printer newpath 145 121 moveto 161 129 183 139 201 149 curveto stroke newpath 201 146 moveto 209 153 lineto 199 151 lineto closepath gsave 0 setgray stroke grestore fill % Printer -> Termast newpath 259 171 moveto 275 175 296 180 315 185 curveto stroke newpath 315 182 moveto 324 187 lineto 314 187 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax gsave 10 dict begin 354 141 33 18 ellipse_path stroke gsave 10 dict begin 354 142 moveto (Esyntax) 45 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Esyntax newpath 260 159 moveto 276 156 296 152 313 149 curveto stroke newpath 313 147 moveto 323 147 lineto 314 151 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax -> Extend newpath 387 141 moveto 398 141 410 141 421 141 curveto stroke newpath 420 139 moveto 430 141 lineto 420 144 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax gsave 10 dict begin 232 110 40 18 ellipse_path stroke gsave 10 dict begin 232 111 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext end grestore end grestore % G_zsyntax -> Astterm newpath 259 97 moveto 266 93 273 89 278 86 curveto 291 77 302 65 314 57 curveto 317 55 319 54 322 52 curveto stroke newpath 321 49 moveto 331 46 lineto 324 54 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax -> Esyntax newpath 267 119 moveto 282 123 300 127 315 131 curveto stroke newpath 315 128 moveto 324 133 lineto 314 133 lineto closepath gsave 0 setgray stroke grestore fill % G_rsyntax gsave 10 dict begin 232 56 39 18 ellipse_path stroke gsave 10 dict begin 232 57 moveto (G_rsyntax) 58 14.00 -0.50 alignedtext end grestore end grestore % G_rsyntax -> Astterm newpath 269 49 moveto 283 47 299 43 313 41 curveto stroke newpath 313 39 moveto 323 39 lineto 314 43 lineto closepath gsave 0 setgray stroke grestore fill % G_rsyntax -> Esyntax newpath 260 69 moveto 267 72 274 76 278 80 curveto 292 90 301 106 314 117 curveto 317 119 319 120 322 122 curveto stroke newpath 324 120 moveto 331 128 lineto 321 125 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax gsave 10 dict begin 232 218 45 18 ellipse_path stroke gsave 10 dict begin 232 219 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext end grestore end grestore % G_natsyntax -> Termast newpath 273 210 moveto 286 208 301 205 314 203 curveto stroke newpath 313 201 moveto 323 201 lineto 314 206 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax -> Esyntax newpath 261 204 moveto 267 200 274 197 278 194 curveto 291 185 302 173 314 165 curveto 314 165 318 163 323 159 curveto stroke newpath 322 157 moveto 332 154 lineto 324 161 lineto closepath gsave 0 setgray stroke grestore fill % Stdlib gsave 10 dict begin 354 249 27 18 ellipse_path stroke gsave 10 dict begin 354 250 moveto (Stdlib) 33 14.00 -0.50 alignedtext end grestore end grestore % G_natsyntax -> Stdlib newpath 271 228 moveto 287 232 305 236 320 240 curveto stroke newpath 320 237 moveto 329 243 lineto 319 242 lineto closepath gsave 0 setgray stroke grestore fill % Egrammar gsave 10 dict begin 354 87 40 18 ellipse_path stroke gsave 10 dict begin 354 88 moveto (Egrammar) 58 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Extend newpath 381 101 moveto 395 109 413 118 429 125 curveto stroke newpath 429 122 moveto 437 129 lineto 427 127 lineto closepath gsave 0 setgray stroke grestore fill % Lexer gsave 10 dict begin 460 87 27 18 ellipse_path stroke gsave 10 dict begin 460 88 moveto (Lexer) 32 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Lexer newpath 394 87 moveto 404 87 414 87 423 87 curveto stroke newpath 423 85 moveto 433 87 lineto 423 90 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF