%!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 330 %%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 330 %%PageOrientation: Portrait gsave 35 35 541 295 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.7479 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 576 330] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Pcoq gsave 10 dict begin 591 251 27 18 ellipse_path stroke gsave 10 dict begin 591 252 moveto (Pcoq) 28 14.00 -0.50 alignedtext end grestore end grestore % Coqast gsave 10 dict begin 684 251 30 18 ellipse_path stroke gsave 10 dict begin 684 252 moveto (Coqast) 38 14.00 -0.50 alignedtext end grestore end grestore % Pcoq -> Coqast newpath 618 251 moveto 626 251 635 251 644 251 curveto stroke newpath 644 249 moveto 654 251 lineto 644 254 lineto closepath gsave 0 setgray stroke grestore fill % Extend gsave 10 dict begin 405 224 30 18 ellipse_path stroke gsave 10 dict begin 405 225 moveto (Extend) 39 14.00 -0.50 alignedtext end grestore end grestore % Ast gsave 10 dict begin 501 251 27 18 ellipse_path stroke gsave 10 dict begin 501 252 moveto (Ast) 19 14.00 -0.50 alignedtext end grestore end grestore % Extend -> Ast newpath 432 232 moveto 443 235 455 238 467 241 curveto stroke newpath 467 238 moveto 476 244 lineto 466 243 lineto closepath gsave 0 setgray stroke grestore fill % Ast -> Pcoq newpath 528 251 moveto 536 251 545 251 554 251 curveto stroke newpath 554 249 moveto 564 251 lineto 554 254 lineto closepath gsave 0 setgray stroke grestore fill % Termast gsave 10 dict begin 405 278 33 18 ellipse_path stroke gsave 10 dict begin 405 279 moveto (Termast) 45 14.00 -0.50 alignedtext end grestore end grestore % Termast -> Ast newpath 435 270 moveto 445 267 456 264 467 261 curveto stroke newpath 466 259 moveto 476 258 lineto 467 264 lineto closepath gsave 0 setgray stroke grestore fill % Search gsave 10 dict begin 39 305 29 18 ellipse_path stroke gsave 10 dict begin 39 306 moveto (Search) 37 14.00 -0.50 alignedtext end grestore end grestore % Astterm gsave 10 dict begin 296 170 33 18 ellipse_path stroke gsave 10 dict begin 296 171 moveto (Astterm) 45 14.00 -0.50 alignedtext end grestore end grestore % Search -> Astterm newpath 61 293 moveto 65 289 69 285 70 281 curveto 90 199 63 103 106 32 curveto 126 0 190 10 220 32 curveto 252 57 237 111 256 146 curveto 258 149 260 151 263 153 curveto stroke newpath 264 151 moveto 272 157 lineto 262 155 lineto closepath gsave 0 setgray stroke grestore fill % Coqlib gsave 10 dict begin 296 374 29 18 ellipse_path stroke gsave 10 dict begin 296 375 moveto (Coqlib) 38 14.00 -0.50 alignedtext end grestore end grestore % Search -> Coqlib newpath 53 321 moveto 67 336 88 357 106 362 curveto 146 372 215 375 257 374 curveto stroke newpath 256 372 moveto 266 374 lineto 256 377 lineto closepath gsave 0 setgray stroke grestore fill % Printer gsave 10 dict begin 163 278 29 18 ellipse_path stroke gsave 10 dict begin 163 279 moveto (Printer) 38 14.00 -0.50 alignedtext end grestore end grestore % Search -> Printer newpath 67 299 moveto 84 296 107 291 126 286 curveto stroke newpath 125 284 moveto 135 284 lineto 126 289 lineto closepath gsave 0 setgray stroke grestore fill % Astterm -> Termast newpath 321 182 moveto 327 186 333 190 336 194 curveto 352 211 358 235 372 254 curveto 374 256 376 258 378 260 curveto stroke newpath 377 256 moveto 384 264 lineto 374 261 lineto closepath gsave 0 setgray stroke grestore fill % Printer -> Termast newpath 193 278 moveto 235 278 314 278 362 278 curveto stroke newpath 362 276 moveto 372 278 lineto 362 281 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax gsave 10 dict begin 296 224 33 18 ellipse_path stroke gsave 10 dict begin 296 225 moveto (Esyntax) 45 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Esyntax newpath 188 268 moveto 208 259 237 247 260 238 curveto stroke newpath 259 236 moveto 269 235 lineto 260 241 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax -> Extend newpath 329 224 moveto 340 224 353 224 365 224 curveto stroke newpath 365 222 moveto 375 224 lineto 365 227 lineto closepath gsave 0 setgray stroke grestore fill % Prettyp gsave 10 dict begin 39 251 30 18 ellipse_path stroke gsave 10 dict begin 39 252 moveto (Prettyp) 40 14.00 -0.50 alignedtext end grestore end grestore % Prettyp -> Printer newpath 68 257 moveto 85 260 107 265 126 270 curveto stroke newpath 126 267 moveto 135 272 lineto 125 272 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax gsave 10 dict begin 163 224 40 18 ellipse_path stroke gsave 10 dict begin 163 225 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext end grestore end grestore % G_zsyntax -> Astterm newpath 193 212 moveto 213 204 240 193 261 184 curveto stroke newpath 259 182 moveto 269 181 lineto 261 187 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax -> Esyntax newpath 203 224 moveto 219 224 237 224 254 224 curveto stroke newpath 253 222 moveto 263 224 lineto 253 227 lineto closepath gsave 0 setgray stroke grestore fill % G_string_syntax gsave 10 dict begin 163 170 56 18 ellipse_path stroke gsave 10 dict begin 163 171 moveto (G_string_syntax) 92 14.00 -0.50 alignedtext end grestore end grestore % G_string_syntax -> Astterm newpath 220 170 moveto 232 170 243 170 254 170 curveto stroke newpath 253 168 moveto 263 170 lineto 253 173 lineto closepath gsave 0 setgray stroke grestore fill % G_string_syntax -> Esyntax newpath 198 184 moveto 217 192 242 202 261 210 curveto stroke newpath 261 207 moveto 269 213 lineto 259 212 lineto closepath gsave 0 setgray stroke grestore fill % G_rsyntax gsave 10 dict begin 163 116 39 18 ellipse_path stroke gsave 10 dict begin 163 117 moveto (G_rsyntax) 58 14.00 -0.50 alignedtext end grestore end grestore % G_rsyntax -> Astterm newpath 193 128 moveto 213 136 240 147 261 156 curveto stroke newpath 261 153 moveto 269 159 lineto 259 158 lineto closepath gsave 0 setgray stroke grestore fill % G_rsyntax -> Esyntax newpath 192 128 moveto 206 134 220 140 220 140 curveto 238 155 241 182 256 200 curveto 258 202 260 204 263 206 curveto stroke newpath 264 204 moveto 272 211 lineto 262 208 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax gsave 10 dict begin 163 332 45 18 ellipse_path stroke gsave 10 dict begin 163 333 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext end grestore end grestore % G_natsyntax -> Termast newpath 203 323 moveto 248 313 320 297 365 287 curveto stroke newpath 364 285 moveto 374 285 lineto 365 290 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax -> Coqlib newpath 199 343 moveto 218 349 242 357 261 363 curveto stroke newpath 261 360 moveto 270 366 lineto 260 365 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax -> Esyntax newpath 197 320 moveto 206 316 214 312 220 308 curveto 238 294 261 267 277 248 curveto stroke newpath 275 247 moveto 283 241 lineto 278 250 lineto closepath gsave 0 setgray stroke grestore fill % G_ascii_syntax gsave 10 dict begin 163 62 53 18 ellipse_path stroke gsave 10 dict begin 163 63 moveto (G_ascii_syntax) 86 14.00 -0.50 alignedtext end grestore end grestore % G_ascii_syntax -> Astterm newpath 201 75 moveto 209 78 216 82 220 86 curveto 238 101 241 128 256 146 curveto 258 148 260 150 263 152 curveto stroke newpath 264 150 moveto 272 157 lineto 262 154 lineto closepath gsave 0 setgray stroke grestore fill % G_ascii_syntax -> Esyntax newpath 203 74 moveto 210 77 216 80 220 86 curveto 243 119 237 165 256 200 curveto 258 203 260 205 263 207 curveto stroke newpath 264 205 moveto 272 211 lineto 262 209 lineto closepath gsave 0 setgray stroke grestore fill % Egrammar gsave 10 dict begin 296 116 40 18 ellipse_path stroke gsave 10 dict begin 296 117 moveto (Egrammar) 58 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Extend newpath 320 131 moveto 329 136 336 140 336 140 curveto 351 155 372 181 388 201 curveto stroke newpath 389 198 moveto 393 208 lineto 385 201 lineto closepath gsave 0 setgray stroke grestore fill % Lexer gsave 10 dict begin 405 116 27 18 ellipse_path stroke gsave 10 dict begin 405 117 moveto (Lexer) 32 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Lexer newpath 336 116 moveto 347 116 358 116 368 116 curveto stroke newpath 368 114 moveto 378 116 lineto 368 119 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF