blob: 68b602755893e35336a20a14368ecf64c8160d6f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
|
%!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 136
%%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 136
%%PageOrientation: Portrait
gsave
35 35 542 101 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6905 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 577 136] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font
% Tactic_debug
gsave 10 dict begin
167 18 48 18 ellipse_path
stroke
gsave 10 dict begin
167 19 moveto (Tactic_debug) 76 14.00 -0.50 alignedtext
end grestore
end grestore
% Tacmach
gsave 10 dict begin
298 72 36 18 ellipse_path
stroke
gsave 10 dict begin
298 73 moveto (Tacmach) 51 14.00 -0.50 alignedtext
end grestore
end grestore
% Tactic_debug -> Tacmach
newpath 200 31 moveto
219 39 243 49 262 57 curveto
stroke
newpath 262 54 moveto
270 60 lineto
260 59 lineto
closepath
gsave 0 setgray stroke grestore fill
% Refiner
gsave 10 dict begin
411 99 31 18 ellipse_path
stroke
gsave 10 dict begin
411 100 moveto (Refiner) 41 14.00 -0.50 alignedtext
end grestore
end grestore
% Tacmach -> Refiner
newpath 331 80 moveto
344 83 360 87 373 90 curveto
stroke
newpath 373 87 moveto
382 92 lineto
372 92 lineto
closepath
gsave 0 setgray stroke grestore fill
% Logic
gsave 10 dict begin
505 99 27 18 ellipse_path
stroke
gsave 10 dict begin
505 100 moveto (Logic) 32 14.00 -0.50 alignedtext
end grestore
end grestore
% Refiner -> Logic
newpath 442 99 moveto
450 99 459 99 468 99 curveto
stroke
newpath 468 97 moveto
478 99 lineto
468 102 lineto
closepath
gsave 0 setgray stroke grestore fill
% Tacinterp
gsave 10 dict begin
45 72 37 18 ellipse_path
stroke
gsave 10 dict begin
45 73 moveto (Tacinterp) 53 14.00 -0.50 alignedtext
end grestore
end grestore
% Tacinterp -> Tactic_debug
newpath 72 60 moveto
88 53 109 44 127 36 curveto
stroke
newpath 126 34 moveto
136 32 lineto
128 38 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pfedit
gsave 10 dict begin
167 126 27 18 ellipse_path
stroke
gsave 10 dict begin
167 127 moveto (Pfedit) 33 14.00 -0.50 alignedtext
end grestore
end grestore
% Tacinterp -> Pfedit
newpath 72 84 moveto
91 93 117 104 136 112 curveto
stroke
newpath 136 109 moveto
144 116 lineto
134 114 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pfedit -> Tacmach
newpath 190 116 moveto
210 108 239 96 261 87 curveto
stroke
newpath 260 85 moveto
270 83 lineto
262 89 lineto
closepath
gsave 0 setgray stroke grestore fill
% Evar_refiner
gsave 10 dict begin
298 126 45 18 ellipse_path
stroke
gsave 10 dict begin
298 127 moveto (Evar_refiner) 70 14.00 -0.50 alignedtext
end grestore
end grestore
% Pfedit -> Evar_refiner
newpath 194 126 moveto
208 126 226 126 242 126 curveto
stroke
newpath 242 124 moveto
252 126 lineto
242 129 lineto
closepath
gsave 0 setgray stroke grestore fill
% Proof_trees
gsave 10 dict begin
611 99 42 18 ellipse_path
stroke
gsave 10 dict begin
611 100 moveto (Proof_trees) 64 14.00 -0.50 alignedtext
end grestore
end grestore
% Logic -> Proof_trees
newpath 532 99 moveto
540 99 549 99 558 99 curveto
stroke
newpath 558 97 moveto
568 99 lineto
558 102 lineto
closepath
gsave 0 setgray stroke grestore fill
% Proof_type
gsave 10 dict begin
732 99 41 18 ellipse_path
stroke
gsave 10 dict begin
732 100 moveto (Proof_type) 62 14.00 -0.50 alignedtext
end grestore
end grestore
% Proof_trees -> Proof_type
newpath 654 99 moveto
663 99 672 99 680 99 curveto
stroke
newpath 680 97 moveto
690 99 lineto
680 102 lineto
closepath
gsave 0 setgray stroke grestore fill
% Evar_refiner -> Refiner
newpath 337 117 moveto
349 114 362 111 373 108 curveto
stroke
newpath 372 106 moveto
382 106 lineto
373 111 lineto
closepath
gsave 0 setgray stroke grestore fill
% Clenv
gsave 10 dict begin
167 72 27 18 ellipse_path
stroke
gsave 10 dict begin
167 73 moveto (Clenv) 33 14.00 -0.50 alignedtext
end grestore
end grestore
% Clenv -> Tacmach
newpath 194 72 moveto
211 72 232 72 252 72 curveto
stroke
newpath 252 70 moveto
262 72 lineto
252 75 lineto
closepath
gsave 0 setgray stroke grestore fill
% Clenv -> Evar_refiner
newpath 190 82 moveto
208 89 235 100 257 109 curveto
stroke
newpath 258 107 moveto
266 113 lineto
256 111 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF
|