path: root/doc/tactics.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: (jacek) Jacek Chrzaszcz
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 194
%%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

%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
% /arrowlength 10 def
% /arrowwidth 5 def
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 577 194
gsave
35 35 542 159 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6618 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Termdn
gsave 10 dict begin
653 202 32 18 ellipse_path
stroke
gsave 10 dict begin
653 203 moveto (Termdn) 44 14.00 -0.50 alignedtext
end grestore
end grestore

%	Dn
gsave 10 dict begin
771 202 27 18 ellipse_path
stroke
gsave 10 dict begin
771 203 moveto (Dn) 17 14.00 -0.50 alignedtext
end grestore
end grestore

%	Termdn -> Dn
newpath 686 202 moveto
701 202 719 202 735 202 curveto
stroke
newpath 734 200 moveto
744 202 lineto
734 205 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tauto
gsave 10 dict begin
127 220 27 18 ellipse_path
stroke
gsave 10 dict begin
127 221 moveto (Tauto) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Auto
gsave 10 dict begin
217 166 27 18 ellipse_path
stroke
gsave 10 dict begin
217 167 moveto (Auto) 28 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tauto -> Auto
newpath 147 208 moveto
159 201 175 191 189 183 curveto
stroke
newpath 187 181 moveto
197 178 lineto
190 185 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Hiddentac
gsave 10 dict begin
319 114 39 18 ellipse_path
stroke
gsave 10 dict begin
319 115 moveto (Hiddentac) 57 14.00 -0.50 alignedtext
end grestore
end grestore

%	Auto -> Hiddentac
newpath 239 155 moveto
252 148 269 140 284 132 curveto
stroke
newpath 283 130 moveto
293 128 lineto
285 134 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Dhyp
gsave 10 dict begin
319 168 27 18 ellipse_path
stroke
gsave 10 dict begin
319 169 moveto (Dhyp) 31 14.00 -0.50 alignedtext
end grestore
end grestore

%	Auto -> Dhyp
newpath 244 167 moveto
256 167 270 167 282 167 curveto
stroke
newpath 282 165 moveto
292 167 lineto
282 170 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tactics
gsave 10 dict begin
545 87 30 18 ellipse_path
stroke
gsave 10 dict begin
545 88 moveto (Tactics) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Hipattern
gsave 10 dict begin
653 114 36 18 ellipse_path
stroke
gsave 10 dict begin
653 115 moveto (Hipattern) 52 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tactics -> Hipattern
newpath 573 94 moveto
584 97 598 100 610 104 curveto
stroke
newpath 611 102 moveto
620 106 lineto
610 106 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tacticals
gsave 10 dict begin
653 60 35 18 ellipse_path
stroke
gsave 10 dict begin
653 61 moveto (Tacticals) 50 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tactics -> Tacticals
newpath 573 80 moveto
585 77 599 74 612 70 curveto
stroke
newpath 611 68 moveto
621 68 lineto
612 73 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Wcclausenv
gsave 10 dict begin
771 60 44 18 ellipse_path
stroke
gsave 10 dict begin
771 61 moveto (Wcclausenv) 68 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tacticals -> Wcclausenv
newpath 689 60 moveto
698 60 707 60 716 60 curveto
stroke
newpath 716 58 moveto
726 60 lineto
716 63 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tacentries
gsave 10 dict begin
434 110 39 18 ellipse_path
stroke
gsave 10 dict begin
434 111 moveto (Tacentries) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tacentries -> Tactics
newpath 470 103 moveto
482 101 495 98 507 95 curveto
stroke
newpath 506 93 moveto
516 93 lineto
507 98 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Refine
gsave 10 dict begin
434 18 29 18 ellipse_path
stroke
gsave 10 dict begin
434 19 moveto (Refine) 37 14.00 -0.50 alignedtext
end grestore
end grestore

%	Refine -> Tactics
newpath 455 31 moveto
473 42 497 57 516 69 curveto
stroke
newpath 517 67 moveto
524 74 lineto
514 71 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Nbtermdn
gsave 10 dict begin
434 202 38 18 ellipse_path
stroke
gsave 10 dict begin
434 203 moveto (Nbtermdn) 56 14.00 -0.50 alignedtext
end grestore
end grestore

%	Btermdn
gsave 10 dict begin
545 202 35 18 ellipse_path
stroke
gsave 10 dict begin
545 203 moveto (Btermdn) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Nbtermdn -> Btermdn
newpath 473 202 moveto
482 202 491 202 500 202 curveto
stroke
newpath 500 200 moveto
510 202 lineto
500 205 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Btermdn -> Termdn
newpath 580 202 moveto
590 202 601 202 611 202 curveto
stroke
newpath 610 200 moveto
620 202 lineto
610 205 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Leminv
gsave 10 dict begin
32 112 32 18 ellipse_path
stroke
gsave 10 dict begin
32 113 moveto (Leminv) 43 14.00 -0.50 alignedtext
end grestore
end grestore

%	Inv
gsave 10 dict begin
127 112 27 18 ellipse_path
stroke
gsave 10 dict begin
127 113 moveto (Inv) 18 14.00 -0.50 alignedtext
end grestore
end grestore

%	Leminv -> Inv
newpath 64 112 moveto
73 112 82 112 90 112 curveto
stroke
newpath 90 110 moveto
100 112 lineto
90 115 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Inv -> Auto
newpath 147 124 moveto
159 131 175 141 189 149 curveto
stroke
newpath 190 147 moveto
197 154 lineto
187 151 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Elim
gsave 10 dict begin
217 112 27 18 ellipse_path
stroke
gsave 10 dict begin
217 113 moveto (Elim) 27 14.00 -0.50 alignedtext
end grestore
end grestore

%	Inv -> Elim
newpath 154 112 moveto
162 112 171 112 180 112 curveto
stroke
newpath 180 110 moveto
190 112 lineto
180 115 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Equality
gsave 10 dict begin
319 60 34 18 ellipse_path
stroke
gsave 10 dict begin
319 61 moveto (Equality) 47 14.00 -0.50 alignedtext
end grestore
end grestore

%	Inv -> Equality
newpath 148 101 moveto
161 93 178 85 190 82 curveto
213 76 249 69 277 65 curveto
stroke
newpath 276 63 moveto
286 64 lineto
276 68 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Elim -> Hiddentac
newpath 244 113 moveto
252 113 261 113 270 113 curveto
stroke
newpath 270 111 moveto
280 113 lineto
270 116 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Equality -> Tactics
newpath 352 64 moveto
393 69 463 77 506 82 curveto
stroke
newpath 505 79 moveto
515 83 lineto
505 84 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Hiddentac -> Tacentries
newpath 358 113 moveto
367 112 375 112 384 112 curveto
stroke
newpath 384 110 moveto
394 111 lineto
384 114 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Eauto
gsave 10 dict begin
127 166 27 18 ellipse_path
stroke
gsave 10 dict begin
127 167 moveto (Eauto) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Eauto -> Auto
newpath 154 166 moveto
162 166 171 166 180 166 curveto
stroke
newpath 180 164 moveto
190 166 lineto
180 169 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Dhyp -> Tactics
newpath 346 165 moveto
380 160 441 152 474 140 curveto
488 135 507 121 521 108 curveto
stroke
newpath 519 107 moveto
528 102 lineto
522 110 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Dhyp -> Nbtermdn
newpath 344 175 moveto
358 179 376 185 392 189 curveto
stroke
newpath 392 186 moveto
401 192 lineto
391 191 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF