%!PS-Adobe-2.0 %%Creator: dot version 1.7.16 (Wed Feb 6 02:14:52 MST 2002) %%For: (filliatr) Jean-Christophe Filliatre %%Title: G %%Pages: (atend) %%BoundingBox: 35 35 577 196 %%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 /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 /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 /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 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 196 %%PageOrientation: Portrait gsave 35 35 542 161 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.6767 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 577 196] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Pcoq gsave 10 dict begin 441 180 27 18 ellipse_path stroke gsave 10 dict begin 441 175 moveto 33 -0.5 (Pcoq) alignedtext end grestore end grestore % Extend gsave 10 dict begin 552 126 35 18 ellipse_path stroke gsave 10 dict begin 552 121 moveto 49 -0.5 (Extend) alignedtext end grestore end grestore % Pcoq -> Extend newpath 463 169 moveto 478 161 500 151 517 143 curveto stroke 0.000 0.000 0.000 edgecolor newpath 516 141 moveto 526 139 lineto 518 145 lineto closepath fill 0.000 0.000 0.000 edgecolor % Ast gsave 10 dict begin 655 72 27 18 ellipse_path stroke gsave 10 dict begin 655 67 moveto 23 -0.5 (Ast) alignedtext end grestore end grestore % Extend -> Ast newpath 577 113 moveto 591 105 610 96 626 87 curveto stroke 0.000 0.000 0.000 edgecolor newpath 624 85 moveto 634 83 lineto 626 90 lineto closepath fill 0.000 0.000 0.000 edgecolor % Lexer gsave 10 dict begin 655 126 31 18 ellipse_path stroke gsave 10 dict begin 655 121 moveto 40 -0.5 (Lexer) alignedtext end grestore end grestore % Extend -> Lexer newpath 588 126 moveto 597 126 606 126 614 126 curveto stroke 0.000 0.000 0.000 edgecolor newpath 614 124 moveto 624 126 lineto 614 129 lineto closepath fill 0.000 0.000 0.000 edgecolor % Termast gsave 10 dict begin 441 72 39 18 ellipse_path stroke gsave 10 dict begin 441 67 moveto 56 -0.5 (Termast) alignedtext end grestore end grestore % Termast -> Ast newpath 480 72 moveto 520 72 581 72 620 72 curveto stroke 0.000 0.000 0.000 edgecolor newpath 618 70 moveto 628 72 lineto 618 75 lineto closepath fill 0.000 0.000 0.000 edgecolor % Coqast gsave 10 dict begin 756 72 34 18 ellipse_path stroke gsave 10 dict begin 756 67 moveto 46 -0.5 (Coqast) alignedtext end grestore end grestore % Ast -> Coqast newpath 682 72 moveto 691 72 702 72 712 72 curveto stroke 0.000 0.000 0.000 edgecolor newpath 712 70 moveto 722 72 lineto 712 75 lineto closepath fill 0.000 0.000 0.000 edgecolor % Search gsave 10 dict begin 46 122 33 18 ellipse_path stroke gsave 10 dict begin 46 117 moveto 45 -0.5 (Search) alignedtext end grestore end grestore % Printer gsave 10 dict begin 169 122 34 18 ellipse_path stroke gsave 10 dict begin 169 117 moveto 47 -0.5 (Printer) alignedtext end grestore end grestore % Search -> Printer newpath 80 122 moveto 94 122 110 122 124 122 curveto stroke 0.000 0.000 0.000 edgecolor newpath 124 120 moveto 134 122 lineto 124 125 lineto closepath fill 0.000 0.000 0.000 edgecolor % Ppconstr gsave 10 dict begin 310 72 40 18 ellipse_path stroke gsave 10 dict begin 310 67 moveto 59 -0.5 (Ppconstr) alignedtext end grestore end grestore % Printer -> Ppconstr newpath 198 112 moveto 218 105 246 95 269 86 curveto stroke 0.000 0.000 0.000 edgecolor newpath 268 84 moveto 278 83 lineto 269 89 lineto closepath fill 0.000 0.000 0.000 edgecolor % Ppconstr -> Pcoq newpath 340 84 moveto 351 89 362 95 366 99 curveto 388 117 382 132 402 153 curveto 406 157 409 160 413 163 curveto stroke 0.000 0.000 0.000 edgecolor newpath 414 161 moveto 421 168 lineto 411 165 lineto closepath fill 0.000 0.000 0.000 edgecolor % Ppconstr -> Termast newpath 351 72 moveto 364 72 379 72 392 72 curveto stroke 0.000 0.000 0.000 edgecolor newpath 392 70 moveto 402 72 lineto 392 75 lineto closepath fill 0.000 0.000 0.000 edgecolor % Esyntax gsave 10 dict begin 441 126 39 18 ellipse_path stroke gsave 10 dict begin 441 121 moveto 56 -0.5 (Esyntax) alignedtext end grestore end grestore % Ppconstr -> Esyntax newpath 340 84 moveto 358 92 383 102 403 110 curveto stroke 0.000 0.000 0.000 edgecolor newpath 404 108 moveto 412 114 lineto 402 112 lineto closepath fill 0.000 0.000 0.000 edgecolor % Prettyp gsave 10 dict begin 46 68 36 18 ellipse_path stroke gsave 10 dict begin 46 63 moveto 50 -0.5 (Prettyp) alignedtext end grestore end grestore % Prettyp -> Printer newpath 73 80 moveto 91 88 115 98 134 106 curveto stroke 0.000 0.000 0.000 edgecolor newpath 134 103 moveto 142 110 lineto 132 108 lineto closepath fill 0.000 0.000 0.000 edgecolor % Printmod gsave 10 dict begin 169 68 43 18 ellipse_path stroke gsave 10 dict begin 169 63 moveto 65 -0.5 (Printmod) alignedtext end grestore end grestore % Prettyp -> Printmod newpath 82 68 moveto 93 68 104 68 115 68 curveto stroke 0.000 0.000 0.000 edgecolor newpath 115 66 moveto 125 68 lineto 115 71 lineto closepath fill 0.000 0.000 0.000 edgecolor % Pptactic gsave 10 dict begin 46 188 38 18 ellipse_path stroke gsave 10 dict begin 46 183 moveto 54 -0.5 (Pptactic) alignedtext end grestore end grestore % Pptactic -> Printer newpath 71 174 moveto 90 164 116 150 137 139 curveto stroke 0.000 0.000 0.000 edgecolor newpath 135 137 moveto 145 135 lineto 137 142 lineto closepath fill 0.000 0.000 0.000 edgecolor % Egrammar gsave 10 dict begin 169 213 48 18 ellipse_path stroke gsave 10 dict begin 169 208 moveto 75 -0.5 (Egrammar) alignedtext end grestore end grestore % Pptactic -> Egrammar newpath 81 195 moveto 92 197 104 200 116 202 curveto stroke 0.000 0.000 0.000 edgecolor newpath 117 200 moveto 126 204 lineto 116 204 lineto closepath fill 0.000 0.000 0.000 edgecolor % Egrammar -> Pcoq newpath 217 216 moveto 257 217 316 216 366 207 curveto 374 205 392 199 407 193 curveto stroke 0.000 0.000 0.000 edgecolor newpath 407 190 moveto 417 189 lineto 409 195 lineto closepath fill 0.000 0.000 0.000 edgecolor % Esyntax -> Extend newpath 480 126 moveto 489 126 498 126 506 126 curveto stroke 0.000 0.000 0.000 edgecolor newpath 506 124 moveto 516 126 lineto 506 129 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_zsyntax gsave 10 dict begin 310 18 49 18 ellipse_path stroke gsave 10 dict begin 310 13 moveto 76 -0.5 (G_zsyntax) alignedtext end grestore end grestore % G_zsyntax -> Pcoq newpath 346 30 moveto 353 34 361 39 366 45 curveto 400 82 372 112 402 153 curveto 405 156 408 160 412 162 curveto stroke 0.000 0.000 0.000 edgecolor newpath 413 160 moveto 420 168 lineto 411 164 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_zsyntax -> Termast newpath 343 31 moveto 361 39 385 48 404 56 curveto stroke 0.000 0.000 0.000 edgecolor newpath 404 53 moveto 412 60 lineto 402 58 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_zsyntax -> Esyntax newpath 342 32 moveto 352 36 362 41 366 45 curveto 388 64 382 78 402 99 curveto 404 101 407 104 409 106 curveto stroke 0.000 0.000 0.000 edgecolor newpath 410 104 moveto 417 112 lineto 408 108 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_rsyntax gsave 10 dict begin 310 180 48 18 ellipse_path stroke gsave 10 dict begin 310 175 moveto 74 -0.5 (G_rsyntax) alignedtext end grestore end grestore % G_rsyntax -> Pcoq newpath 358 180 moveto 373 180 389 180 404 180 curveto stroke 0.000 0.000 0.000 edgecolor newpath 403 178 moveto 413 180 lineto 403 183 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_rsyntax -> Termast newpath 342 166 moveto 352 162 362 157 366 153 curveto 388 134 382 119 402 99 curveto 404 96 407 94 409 92 curveto stroke 0.000 0.000 0.000 edgecolor newpath 407 90 moveto 417 86 lineto 411 94 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_rsyntax -> Esyntax newpath 342 167 moveto 360 159 384 150 403 142 curveto stroke 0.000 0.000 0.000 edgecolor newpath 402 140 moveto 412 138 lineto 404 144 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_natsyntax gsave 10 dict begin 310 126 56 18 ellipse_path stroke gsave 10 dict begin 310 121 moveto 90 -0.5 (G_natsyntax) alignedtext end grestore end grestore % G_natsyntax -> Pcoq newpath 345 140 moveto 365 149 391 159 410 167 curveto stroke 0.000 0.000 0.000 edgecolor newpath 410 164 moveto 418 170 lineto 408 169 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_natsyntax -> Termast newpath 345 112 moveto 363 104 385 95 403 87 curveto stroke 0.000 0.000 0.000 edgecolor newpath 402 85 moveto 412 84 lineto 403 90 lineto closepath fill 0.000 0.000 0.000 edgecolor % G_natsyntax -> Esyntax newpath 366 126 moveto 375 126 384 126 392 126 curveto stroke 0.000 0.000 0.000 edgecolor newpath 392 124 moveto 402 126 lineto 392 129 lineto closepath fill 0.000 0.000 0.000 edgecolor endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF