%!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 577 125 %%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 577 125 %%PageOrientation: Portrait gsave 35 35 542 90 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.4865 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 577 125] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Termdn gsave 10 dict begin 939 18 32 18 ellipse_path stroke gsave 10 dict begin 939 19 moveto (Termdn) 44 14.00 -0.50 alignedtext end grestore end grestore % Dn gsave 10 dict begin 1057 18 27 18 ellipse_path stroke gsave 10 dict begin 1057 19 moveto (Dn) 17 14.00 -0.50 alignedtext end grestore end grestore % Termdn -> Dn newpath 972 18 moveto 987 18 1005 18 1021 18 curveto stroke newpath 1020 16 moveto 1030 18 lineto 1020 21 lineto closepath gsave 0 setgray stroke grestore fill % Tactics gsave 10 dict begin 831 118 30 18 ellipse_path stroke gsave 10 dict begin 831 119 moveto (Tactics) 40 14.00 -0.50 alignedtext end grestore end grestore % Hipattern gsave 10 dict begin 939 149 36 18 ellipse_path stroke gsave 10 dict begin 939 150 moveto (Hipattern) 52 14.00 -0.50 alignedtext end grestore end grestore % Tactics -> Hipattern newpath 859 126 moveto 871 129 885 133 898 137 curveto stroke newpath 898 134 moveto 907 140 lineto 897 139 lineto closepath gsave 0 setgray stroke grestore fill % Tacticals gsave 10 dict begin 939 95 35 18 ellipse_path stroke gsave 10 dict begin 939 96 moveto (Tacticals) 50 14.00 -0.50 alignedtext end grestore end grestore % Tactics -> Tacticals newpath 860 112 moveto 871 110 884 107 896 104 curveto stroke newpath 896 102 moveto 906 102 lineto 897 106 lineto closepath gsave 0 setgray stroke grestore fill % Wcclausenv gsave 10 dict begin 1057 95 44 18 ellipse_path stroke gsave 10 dict begin 1057 96 moveto (Wcclausenv) 68 14.00 -0.50 alignedtext end grestore end grestore % Tacticals -> Wcclausenv newpath 975 95 moveto 984 95 993 95 1002 95 curveto stroke newpath 1002 93 moveto 1012 95 lineto 1002 98 lineto closepath gsave 0 setgray stroke grestore fill % Tacentries gsave 10 dict begin 720 164 39 18 ellipse_path stroke gsave 10 dict begin 720 165 moveto (Tacentries) 58 14.00 -0.50 alignedtext end grestore end grestore % Tacentries -> Tactics newpath 749 152 moveto 764 146 782 138 797 132 curveto stroke newpath 796 130 moveto 806 128 lineto 798 134 lineto closepath gsave 0 setgray stroke grestore fill % Setoid_replace gsave 10 dict begin 388 110 52 18 ellipse_path stroke gsave 10 dict begin 388 111 moveto (Setoid_replace) 83 14.00 -0.50 alignedtext end grestore end grestore % Auto gsave 10 dict begin 503 110 27 18 ellipse_path stroke gsave 10 dict begin 503 111 moveto (Auto) 28 14.00 -0.50 alignedtext end grestore end grestore % Setoid_replace -> Auto newpath 440 110 moveto 449 110 458 110 466 110 curveto stroke newpath 466 108 moveto 476 110 lineto 466 113 lineto closepath gsave 0 setgray stroke grestore fill % Hiddentac gsave 10 dict begin 605 164 39 18 ellipse_path stroke gsave 10 dict begin 605 165 moveto (Hiddentac) 57 14.00 -0.50 alignedtext end grestore end grestore % Auto -> Hiddentac newpath 525 121 moveto 538 129 556 138 571 146 curveto stroke newpath 572 144 moveto 580 150 lineto 570 148 lineto closepath gsave 0 setgray stroke grestore fill % Dhyp gsave 10 dict begin 605 110 27 18 ellipse_path stroke gsave 10 dict begin 605 111 moveto (Dhyp) 31 14.00 -0.50 alignedtext end grestore end grestore % Auto -> Dhyp newpath 530 110 moveto 542 110 556 110 568 110 curveto stroke newpath 568 108 moveto 578 110 lineto 568 113 lineto closepath gsave 0 setgray stroke grestore fill % Refine gsave 10 dict begin 720 72 29 18 ellipse_path stroke gsave 10 dict begin 720 73 moveto (Refine) 37 14.00 -0.50 alignedtext end grestore end grestore % Refine -> Tactics newpath 744 82 moveto 759 89 780 97 797 104 curveto stroke newpath 798 102 moveto 806 108 lineto 796 106 lineto closepath gsave 0 setgray stroke grestore fill % Nbtermdn gsave 10 dict begin 720 18 38 18 ellipse_path stroke gsave 10 dict begin 720 19 moveto (Nbtermdn) 56 14.00 -0.50 alignedtext end grestore end grestore % Btermdn gsave 10 dict begin 831 18 35 18 ellipse_path stroke gsave 10 dict begin 831 19 moveto (Btermdn) 49 14.00 -0.50 alignedtext end grestore end grestore % Nbtermdn -> Btermdn newpath 759 18 moveto 768 18 777 18 786 18 curveto stroke newpath 786 16 moveto 796 18 lineto 786 21 lineto closepath gsave 0 setgray stroke grestore fill % Btermdn -> Termdn newpath 866 18 moveto 876 18 887 18 897 18 curveto stroke newpath 896 16 moveto 906 18 lineto 896 21 lineto closepath gsave 0 setgray stroke grestore fill % Leminv gsave 10 dict begin 40 164 32 18 ellipse_path stroke gsave 10 dict begin 40 165 moveto (Leminv) 43 14.00 -0.50 alignedtext end grestore end grestore % Inv gsave 10 dict begin 152 164 27 18 ellipse_path stroke gsave 10 dict begin 152 165 moveto (Inv) 18 14.00 -0.50 alignedtext end grestore end grestore % Leminv -> Inv newpath 72 164 moveto 86 164 102 164 116 164 curveto stroke newpath 115 162 moveto 125 164 lineto 115 167 lineto closepath gsave 0 setgray stroke grestore fill % Elim gsave 10 dict begin 503 164 27 18 ellipse_path stroke gsave 10 dict begin 503 165 moveto (Elim) 27 14.00 -0.50 alignedtext end grestore end grestore % Inv -> Elim newpath 179 164 moveto 242 164 396 164 467 164 curveto stroke newpath 466 162 moveto 476 164 lineto 466 167 lineto closepath gsave 0 setgray stroke grestore fill % Equality gsave 10 dict begin 266 110 34 18 ellipse_path stroke gsave 10 dict begin 266 111 moveto (Equality) 47 14.00 -0.50 alignedtext end grestore end grestore % Inv -> Equality newpath 174 153 moveto 190 145 213 134 231 126 curveto stroke newpath 230 124 moveto 240 122 lineto 232 128 lineto closepath gsave 0 setgray stroke grestore fill % Elim -> Hiddentac newpath 530 164 moveto 538 164 547 164 556 164 curveto stroke newpath 556 162 moveto 566 164 lineto 556 167 lineto closepath gsave 0 setgray stroke grestore fill % Equality -> Setoid_replace newpath 300 110 moveto 308 110 317 110 326 110 curveto stroke newpath 326 108 moveto 336 110 lineto 326 113 lineto closepath gsave 0 setgray stroke grestore fill % Hiddentac -> Tacentries newpath 644 164 moveto 653 164 662 164 670 164 curveto stroke newpath 670 162 moveto 680 164 lineto 670 167 lineto closepath gsave 0 setgray stroke grestore fill % Eqdecide gsave 10 dict begin 152 110 36 18 ellipse_path stroke gsave 10 dict begin 152 111 moveto (Eqdecide) 51 14.00 -0.50 alignedtext end grestore end grestore % Eqdecide -> Equality newpath 189 110 moveto 200 110 211 110 222 110 curveto stroke newpath 222 108 moveto 232 110 lineto 222 113 lineto closepath gsave 0 setgray stroke grestore fill % Eauto gsave 10 dict begin 388 56 27 18 ellipse_path stroke gsave 10 dict begin 388 57 moveto (Eauto) 32 14.00 -0.50 alignedtext end grestore end grestore % Eauto -> Auto newpath 410 66 moveto 428 75 453 86 473 95 curveto stroke newpath 473 92 moveto 481 99 lineto 471 97 lineto closepath gsave 0 setgray stroke grestore fill % Dhyp -> Tactics newpath 632 111 moveto 671 112 745 115 791 117 curveto stroke newpath 790 115 moveto 800 117 lineto 790 120 lineto closepath gsave 0 setgray stroke grestore fill % Dhyp -> Nbtermdn newpath 621 95 moveto 638 80 663 56 680 42 curveto 682 41 684 39 686 38 curveto stroke newpath 685 35 moveto 695 32 lineto 688 40 lineto closepath gsave 0 setgray stroke grestore fill % Autorewrite gsave 10 dict begin 152 56 44 18 ellipse_path stroke gsave 10 dict begin 152 57 moveto (Autorewrite) 67 14.00 -0.50 alignedtext end grestore end grestore % Autorewrite -> Equality newpath 181 70 moveto 196 78 216 87 232 94 curveto stroke newpath 233 92 moveto 241 98 lineto 231 96 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF