%!PS-Adobe-2.0 %%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005) %%For: (herbelin) Hugo Herbelin %%Title: G %%Pages: (atend) %%BoundingBox: 35 35 577 314 %%EndComments save %%BeginProlog /DotDict 200 dict def DotDict begin /setupLatin1 { mark /EncodingVector 256 array def EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval EncodingVector dup 306 /AE dup 301 /Aacute dup 302 /Acircumflex dup 304 /Adieresis dup 300 /Agrave dup 305 /Aring dup 303 /Atilde dup 307 /Ccedilla dup 311 /Eacute dup 312 /Ecircumflex dup 313 /Edieresis dup 310 /Egrave dup 315 /Iacute dup 316 /Icircumflex dup 317 /Idieresis dup 314 /Igrave dup 334 /Udieresis dup 335 /Yacute dup 376 /thorn dup 337 /germandbls dup 341 /aacute dup 342 /acircumflex dup 344 /adieresis dup 346 /ae dup 340 /agrave dup 345 /aring dup 347 /ccedilla dup 351 /eacute dup 352 /ecircumflex dup 353 /edieresis dup 350 /egrave dup 355 /iacute dup 356 /icircumflex dup 357 /idieresis dup 354 /igrave dup 360 /dcroat dup 361 /ntilde dup 363 /oacute dup 364 /ocircumflex dup 366 /odieresis dup 362 /ograve dup 365 /otilde dup 370 /oslash dup 372 /uacute dup 373 /ucircumflex dup 374 /udieresis dup 371 /ugrave dup 375 /yacute dup 377 /ydieresis % Set up ISO Latin 1 character encoding /starnetISO { dup dup findfont dup length dict begin { 1 index /FID ne { def }{ pop pop } ifelse } forall /Encoding EncodingVector def currentdict end definefont } def /Times-Roman starnetISO def /Times-Italic starnetISO def /Times-Bold starnetISO def /Times-BoldItalic starnetISO def /Helvetica starnetISO def /Helvetica-Oblique starnetISO def /Helvetica-Bold starnetISO def /Helvetica-BoldOblique starnetISO def /Courier starnetISO def /Courier-Oblique starnetISO def /Courier-Bold starnetISO def /Courier-BoldOblique starnetISO def cleartomark } bind def %%BeginResource: procset graphviz 0 0 /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 { [] 0 setdash } 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 /alignedtext { % width adj text /text exch def /adj exch def /width exch def gsave width 0 gt { text stringwidth pop adj mul 0 rmoveto } if [] 0 setdash 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 /showpage { } def /layercolorseq [ % layer color sequence - darkest to lightest [0 0 0] [.2 .8 .8] [.4 .8 .8] [.6 .8 .8] [.8 .8 .8] ] def /layerlen layercolorseq length def /setlayer {/maxlayer exch def /curlayer exch def layercolorseq curlayer 1 sub layerlen mod 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 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 %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 577 314 %%PageOrientation: Portrait gsave 35 35 542 279 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.6027 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 557 280 27 18 ellipse_path stroke gsave 10 dict begin 543 275 moveto (Pcoq) [7.68 6.24 6.96 6.96] xshow end grestore end grestore % Extend gsave 10 dict begin 664 226 33 18 ellipse_path stroke gsave 10 dict begin 643 221 moveto (Extend) [8.4 6.96 3.84 6.24 6.96 6.96] xshow end grestore end grestore % Pcoq -> Extend newpath 579 269 moveto 593 261 613 252 630 243 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 632 246 moveto 639 238 lineto 629 240 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 632 246 moveto 639 238 lineto 629 240 lineto closepath stroke end grestore % Ast gsave 10 dict begin 764 172 27 18 ellipse_path stroke gsave 10 dict begin 753 167 moveto (Ast) [10.08 5.28 3.84] xshow end grestore end grestore % Extend -> Ast newpath 688 213 moveto 701 206 719 196 734 188 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 736 191 moveto 743 183 lineto 733 185 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 736 191 moveto 743 183 lineto 733 185 lineto closepath stroke end grestore % Lexer gsave 10 dict begin 764 226 29 18 ellipse_path stroke gsave 10 dict begin 747 221 moveto (Lexer) [8.4 5.76 6.48 6.24 4.56] xshow end grestore end grestore % Extend -> Lexer newpath 698 226 moveto 706 226 715 226 724 226 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 724 230 moveto 734 226 lineto 724 223 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 724 230 moveto 734 226 lineto 724 223 lineto closepath stroke end grestore % Termast gsave 10 dict begin 557 172 35 18 ellipse_path stroke gsave 10 dict begin 534 167 moveto (Termast) [7.2 6.24 4.8 10.8 6.24 5.28 3.84] xshow end grestore end grestore % Termast -> Ast newpath 593 172 moveto 630 172 689 172 727 172 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 727 176 moveto 737 172 lineto 727 169 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 727 176 moveto 737 172 lineto 727 169 lineto closepath stroke end grestore % Coqast gsave 10 dict begin 863 172 32 18 ellipse_path stroke gsave 10 dict begin 843 167 moveto (Coqast) [9.36 6.96 6.96 6.24 5.28 3.84] xshow end grestore end grestore % Ast -> Coqast newpath 791 172 moveto 800 172 810 172 820 172 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 820 176 moveto 830 172 lineto 820 169 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 820 176 moveto 830 172 lineto 820 169 lineto closepath stroke end grestore % Tactic_printer gsave 10 dict begin 53 126 52 18 ellipse_path stroke gsave 10 dict begin 13 121 moveto (Tactic_printer) [7.44 6.24 6.24 3.84 3.84 6.24 6.96 6.96 4.8 3.84 6.96 3.84 6.24 4.56] xshow end grestore end grestore % Pptactic gsave 10 dict begin 178 126 36 18 ellipse_path stroke gsave 10 dict begin 155 121 moveto (Pptactic) [7.68 6.96 4.08 6.24 6.24 3.84 3.84 6.24] xshow end grestore end grestore % Tactic_printer -> Pptactic newpath 106 126 moveto 114 126 123 126 132 126 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 132 130 moveto 142 126 lineto 132 123 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 132 130 moveto 142 126 lineto 132 123 lineto closepath stroke end grestore % Printer gsave 10 dict begin 289 72 32 18 ellipse_path stroke gsave 10 dict begin 269 67 moveto (Printer) [7.68 4.8 3.84 6.96 3.84 6.24 4.56] xshow end grestore end grestore % Pptactic -> Printer newpath 204 113 moveto 219 105 238 96 255 88 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 256 91 moveto 264 84 lineto 253 85 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 256 91 moveto 264 84 lineto 253 85 lineto closepath stroke end grestore % Search gsave 10 dict begin 178 72 32 18 ellipse_path stroke gsave 10 dict begin 159 67 moveto (Search) [7.68 6.24 6.24 4.56 6 6.96] xshow end grestore end grestore % Search -> Printer newpath 210 72 moveto 221 72 234 72 246 72 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 246 76 moveto 256 72 lineto 246 69 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 246 76 moveto 256 72 lineto 246 69 lineto closepath stroke end grestore % Printer -> Termast newpath 316 62 moveto 355 48 430 30 484 58 curveto 518 77 538 117 548 144 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 545 146 moveto 552 154 lineto 552 143 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 545 146 moveto 552 154 lineto 552 143 lineto closepath stroke end grestore % Esyntax gsave 10 dict begin 557 226 36 18 ellipse_path stroke gsave 10 dict begin 533 221 moveto (Esyntax) [8.4 5.52 6.96 6.96 4.08 6.24 6.96] xshow end grestore end grestore % Printer -> Esyntax newpath 322 71 moveto 370 70 460 72 484 91 curveto 489 95 516 193 520 197 curveto 527 204 532 203 538 204 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 536 207 moveto 547 208 lineto 539 201 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 536 207 moveto 547 208 lineto 539 201 lineto closepath stroke end grestore % Ppconstr gsave 10 dict begin 424 388 37 18 ellipse_path stroke gsave 10 dict begin 399 383 moveto (Ppconstr) [7.68 6.96 6.24 6.96 6.96 5.28 3.84 4.56] xshow end grestore end grestore % Printer -> Ppconstr newpath 292 90 moveto 300 147 329 319 364 361 curveto 369 367 375 371 382 375 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 380 378 moveto 391 379 lineto 383 372 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 380 378 moveto 391 379 lineto 383 372 lineto closepath stroke end grestore % Esyntax -> Extend newpath 594 226 moveto 602 226 611 226 620 226 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 620 230 moveto 630 226 lineto 620 223 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 620 230 moveto 630 226 lineto 620 223 lineto closepath stroke end grestore % Ppconstr -> Pcoq newpath 454 377 moveto 464 373 475 368 484 361 curveto 506 345 526 322 540 304 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 543 306 moveto 546 296 lineto 537 302 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 543 306 moveto 546 296 lineto 537 302 lineto closepath stroke end grestore % Prettyp gsave 10 dict begin 178 18 33 18 ellipse_path stroke gsave 10 dict begin 158 13 moveto (Prettyp) [7.68 4.56 6 3.84 3.84 6.96 6.96] xshow end grestore end grestore % Prettyp -> Printer newpath 203 30 moveto 218 38 238 47 255 55 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 254 58 moveto 264 60 lineto 257 52 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 254 58 moveto 264 60 lineto 257 52 lineto closepath stroke end grestore % Printmod gsave 10 dict begin 289 18 39 18 ellipse_path stroke gsave 10 dict begin 263 13 moveto (Printmod) [7.68 4.8 3.84 6.96 3.84 10.8 6.96 6.96] xshow end grestore end grestore % Prettyp -> Printmod newpath 211 18 moveto 220 18 230 18 240 18 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 240 22 moveto 250 18 lineto 240 15 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 240 22 moveto 250 18 lineto 240 15 lineto closepath stroke end grestore % G_zsyntax gsave 10 dict begin 424 172 43 18 ellipse_path stroke gsave 10 dict begin 393 167 moveto (G_zsyntax) [10.08 6.96 6.24 5.52 6.96 6.96 4.08 6.24 6.96] xshow end grestore end grestore % G_zsyntax -> Pcoq newpath 458 183 moveto 467 188 476 193 484 199 curveto 507 218 501 233 520 253 curveto 523 256 526 259 530 261 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 528 264 moveto 538 267 lineto 532 258 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 528 264 moveto 538 267 lineto 532 258 lineto closepath stroke end grestore % G_zsyntax -> Termast newpath 468 172 moveto 482 172 497 172 511 172 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 511 176 moveto 521 172 lineto 511 169 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 511 176 moveto 521 172 lineto 511 169 lineto closepath stroke end grestore % G_zsyntax -> Esyntax newpath 455 185 moveto 474 193 499 203 520 211 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 518 214 moveto 529 215 lineto 521 208 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 518 214 moveto 529 215 lineto 521 208 lineto closepath stroke end grestore % G_string_syntax gsave 10 dict begin 424 280 59 18 ellipse_path stroke gsave 10 dict begin 377 275 moveto (G_string_syntax) [10.08 6.96 5.28 3.84 4.8 3.84 6.96 6.96 6.96 5.52 6.96 6.96 4.08 6.24 6.96] xshow end grestore end grestore % G_string_syntax -> Pcoq newpath 484 280 moveto 496 280 509 280 520 280 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 520 284 moveto 530 280 lineto 520 277 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 520 284 moveto 530 280 lineto 520 277 lineto closepath stroke end grestore % G_string_syntax -> Esyntax newpath 460 266 moveto 478 258 501 249 520 242 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 521 245 moveto 529 238 lineto 518 239 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 521 245 moveto 529 238 lineto 518 239 lineto closepath stroke end grestore % G_rsyntax gsave 10 dict begin 424 118 42 18 ellipse_path stroke gsave 10 dict begin 394 113 moveto (G_rsyntax) [10.08 6.96 4.56 5.52 6.96 6.96 4.08 6.24 6.96] xshow end grestore end grestore % G_rsyntax -> Pcoq newpath 459 128 moveto 468 132 477 138 484 145 curveto 518 183 491 213 520 253 curveto 523 256 526 259 529 262 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 527 265 moveto 537 268 lineto 531 259 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 527 265 moveto 537 268 lineto 531 259 lineto closepath stroke end grestore % G_rsyntax -> Termast newpath 455 131 moveto 474 139 499 149 520 157 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 518 160 moveto 529 161 lineto 521 154 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 518 160 moveto 529 161 lineto 521 154 lineto closepath stroke end grestore % G_rsyntax -> Esyntax newpath 457 129 moveto 467 133 476 139 484 145 curveto 507 164 501 179 520 199 curveto 522 201 525 203 527 205 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 525 208 moveto 535 212 lineto 530 203 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 525 208 moveto 535 212 lineto 530 203 lineto closepath stroke end grestore % G_natsyntax gsave 10 dict begin 424 226 48 18 ellipse_path stroke gsave 10 dict begin 388 221 moveto (G_natsyntax) [10.08 6.96 6.96 6.24 3.84 5.52 6.96 6.96 4.08 6.24 6.96] xshow end grestore end grestore % G_natsyntax -> Pcoq newpath 457 239 moveto 478 248 504 259 525 266 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 523 269 moveto 534 270 lineto 526 263 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 523 269 moveto 534 270 lineto 526 263 lineto closepath stroke end grestore % G_natsyntax -> Termast newpath 457 213 moveto 476 205 500 195 520 187 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 521 190 moveto 529 183 lineto 518 184 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 521 190 moveto 529 183 lineto 518 184 lineto closepath stroke end grestore % G_natsyntax -> Esyntax newpath 473 226 moveto 485 226 498 226 510 226 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 510 230 moveto 520 226 lineto 510 223 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 510 230 moveto 520 226 lineto 510 223 lineto closepath stroke end grestore % G_ascii_syntax gsave 10 dict begin 424 334 56 18 ellipse_path stroke gsave 10 dict begin 380 329 moveto (G_ascii_syntax) [10.08 6.96 6.24 5.52 6.24 3.84 3.84 6.96 5.52 6.96 6.96 4.08 6.24 6.96] xshow end grestore end grestore % G_ascii_syntax -> Pcoq newpath 459 320 moveto 479 311 504 301 525 293 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 526 296 moveto 534 289 lineto 523 290 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 526 296 moveto 534 289 lineto 523 290 lineto closepath stroke end grestore % G_ascii_syntax -> Esyntax newpath 462 321 moveto 470 317 478 312 484 307 curveto 507 288 501 273 520 253 curveto 522 251 524 249 527 247 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 529 250 moveto 535 241 lineto 525 244 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 529 250 moveto 535 241 lineto 525 244 lineto closepath stroke end grestore % Egrammar gsave 10 dict begin 424 442 43 18 ellipse_path stroke gsave 10 dict begin 394 437 moveto (Egrammar) [8.4 7.2 4.56 6.24 10.8 10.8 6.24 4.56] xshow end grestore end grestore % Egrammar -> Pcoq newpath 458 431 moveto 467 427 477 422 484 415 curveto 516 385 537 337 548 308 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 551 309 moveto 551 298 lineto 545 307 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 551 309 moveto 551 298 lineto 545 307 lineto closepath stroke end grestore endpage showpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF