%!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 160 %%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 160 %%PageOrientation: Portrait gsave 35 35 542 125 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.9343 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Syntax_def gsave 10 dict begin 303 110 45 18 ellipse_path stroke gsave 10 dict begin 271 105 moveto (Syntax_def) [7.68 6.96 6.96 4.08 6.24 6.96 6.96 6.96 6.24 4.56] xshow end grestore end grestore % Notation gsave 10 dict begin 422 60 38 18 ellipse_path stroke gsave 10 dict begin 397 55 moveto (Notation) [9.84 6.72 4.08 6.24 3.84 3.84 6.96 6.96] xshow end grestore end grestore % Syntax_def -> Notation newpath 334 97 moveto 350 90 369 83 385 76 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 386 79 moveto 394 72 lineto 383 73 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 386 79 moveto 394 72 lineto 383 73 lineto closepath stroke end grestore % Ppextend gsave 10 dict begin 537 60 39 18 ellipse_path stroke gsave 10 dict begin 511 55 moveto (Ppextend) [7.68 6.96 5.76 6.96 3.84 6.24 6.96 6.96] xshow end grestore end grestore % Notation -> Ppextend newpath 460 60 moveto 469 60 478 60 488 60 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 488 64 moveto 498 60 lineto 488 57 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 488 64 moveto 498 60 lineto 488 57 lineto closepath stroke end grestore % Topconstr gsave 10 dict begin 537 114 41 18 ellipse_path stroke gsave 10 dict begin 509 109 moveto (Topconstr) [7.2 6.96 6.96 6.24 6.96 6.96 5.28 3.84 4.56] xshow end grestore end grestore % Notation -> Topconstr newpath 449 73 moveto 464 80 483 89 500 97 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 498 100 moveto 509 101 lineto 501 94 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 498 100 moveto 509 101 lineto 501 94 lineto closepath stroke end grestore % Modintern gsave 10 dict begin 44 98 43 18 ellipse_path stroke gsave 10 dict begin 13 93 moveto (Modintern) [12.48 6.96 6.96 3.84 6.96 3.84 6.24 4.8 6.96] xshow end grestore end grestore % Constrintern gsave 10 dict begin 173 98 48 18 ellipse_path stroke gsave 10 dict begin 138 93 moveto (Constrintern) [9.36 6.96 6.96 5.28 3.84 4.8 3.84 6.96 3.84 6.24 4.8 6.96] xshow end grestore end grestore % Modintern -> Constrintern newpath 88 98 moveto 97 98 106 98 115 98 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 115 102 moveto 125 98 lineto 115 95 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 115 102 moveto 125 98 lineto 115 95 lineto closepath stroke end grestore % Constrintern -> Syntax_def newpath 220 102 moveto 229 103 239 104 249 105 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 249 108 moveto 259 106 lineto 249 102 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 249 108 moveto 259 106 lineto 249 102 lineto closepath stroke end grestore % Reserve gsave 10 dict begin 303 56 35 18 ellipse_path stroke gsave 10 dict begin 280 51 moveto (Reserve) [9.12 6.24 5.52 6.24 4.8 6.48 6.24] xshow end grestore end grestore % Constrintern -> Reserve newpath 210 86 moveto 227 81 246 75 263 69 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 264 72 moveto 273 66 lineto 262 66 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 264 72 moveto 273 66 lineto 262 66 lineto closepath stroke end grestore % Genarg gsave 10 dict begin 422 114 33 18 ellipse_path stroke gsave 10 dict begin 401 109 moveto (Genarg) [10.08 6.24 6.96 6.24 4.32 6.96] xshow end grestore end grestore % Genarg -> Topconstr newpath 456 114 moveto 465 114 476 114 486 114 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 486 118 moveto 496 114 lineto 486 111 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 486 118 moveto 496 114 lineto 486 111 lineto closepath stroke end grestore % Coqlib gsave 10 dict begin 44 21 32 18 ellipse_path stroke gsave 10 dict begin 24 16 moveto (Coqlib) [9.36 6.96 6.96 3.84 3.84 6.96] xshow end grestore end grestore % Constrextern gsave 10 dict begin 173 21 49 18 ellipse_path stroke gsave 10 dict begin 137 16 moveto (Constrextern) [9.36 6.96 6.96 5.28 3.84 4.56 5.76 6.96 3.84 6.24 4.8 6.96] xshow end grestore end grestore % Coqlib -> Constrextern newpath 77 21 moveto 88 21 101 21 114 21 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 114 25 moveto 124 21 lineto 114 18 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 114 25 moveto 124 21 lineto 114 18 lineto closepath stroke end grestore % Constrextern -> Notation newpath 222 19 moveto 257 18 307 20 348 29 curveto 361 31 375 37 388 42 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 386 45 moveto 397 46 lineto 389 39 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 386 45 moveto 397 46 lineto 389 39 lineto closepath stroke end grestore % Constrextern -> Reserve newpath 213 32 moveto 228 36 246 41 261 45 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 260 48 moveto 271 48 lineto 262 42 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 260 48 moveto 271 48 lineto 262 42 lineto closepath stroke end grestore endpage showpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF