Lines Matching full:text
197 <text
201 …font-size:4.93889px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-a…
203 style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
207 sodipodi:role="line">Entry</tspan></text>
215 <text
217 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
225 …normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:sta…
230 …normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:sta…
235 …normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:sta…
240 …l;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">// Post…
248 <text
252 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
254 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
259 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
264 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
268 id="tspan874-3">// Post: x is ⊤</tspan></text>
276 <text
280 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
282 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
287 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
292 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
296 id="tspan874-8">// Post: x is ⊥</tspan></text>
304 <text
306 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
314 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
319 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
324 …pe-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post:…
332 <text
336 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
338 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
343 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
348 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
352 id="tspan874-8-5-9">// Post: x is {44}</tspan></text>
360 <text
362 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
370 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
375 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
380 …-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x…
388 <text
390 …ont-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-an…
398 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
403 …89px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:sta…
408 …ape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post…
460 <text
462 …"font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-a…
470 …style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">Exit</tspan>…
475 <text
477 …"font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-a…
485 …style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">True</tspan>…
486 <text
490 …"font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-a…
492 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
496 sodipodi:role="line">True</tspan></text>
497 <text
501 …"font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-a…
503 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
507 sodipodi:role="line">False</tspan></text>
508 <text
510 …"font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-a…
518 …style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">False</tspan…
