path: root/doc/tactics.dep.ps

%!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