aboutsummaryrefslogtreecommitdiff
path: root/doc/talks/2023-01-18-tocatta/assets/lattice8.svg
diff options
context:
space:
mode:
Diffstat (limited to 'doc/talks/2023-01-18-tocatta/assets/lattice8.svg')
-rw-r--r--doc/talks/2023-01-18-tocatta/assets/lattice8.svg112
1 files changed, 53 insertions, 59 deletions
diff --git a/doc/talks/2023-01-18-tocatta/assets/lattice8.svg b/doc/talks/2023-01-18-tocatta/assets/lattice8.svg
index 3bada791..c94a69b2 100644
--- a/doc/talks/2023-01-18-tocatta/assets/lattice8.svg
+++ b/doc/talks/2023-01-18-tocatta/assets/lattice8.svg
@@ -25,8 +25,8 @@
inkscape:document-units="mm"
showgrid="false"
inkscape:zoom="1.4734708"
- inkscape:cx="451.65469"
- inkscape:cy="272.14655"
+ inkscape:cx="399.39712"
+ inkscape:cy="248.39311"
inkscape:window-width="1920"
inkscape:window-height="999"
inkscape:window-x="0"
@@ -433,8 +433,8 @@
<circle
style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
id="path3663"
- cx="147.35568"
- cy="95.24971"
+ cx="132.33408"
+ cy="68.007973"
r="2.7302806" />
<circle
style="fill:#008000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
@@ -480,6 +480,17 @@
<text
xml:space="preserve"
style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
+ x="6.9525447"
+ y="65.261436"
+ id="text3707-1"><tspan
+ sodipodi:role="line"
+ id="tspan3705-5"
+ style="fill:#000000;stroke-width:0.264583"
+ x="6.9525447"
+ y="65.261436">$read()$:</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
x="23.457415"
y="24.042637"
id="text3750"><tspan
@@ -501,15 +512,32 @@
y="33.02087">$\sqsupseteq \{a\} \to$ OK</tspan></text>
<text
xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583"
+ style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
x="23.457415"
y="41.972523"
id="text3750-0"><tspan
sodipodi:role="line"
id="tspan3748-6"
- style="fill:#999999;stroke-width:0.264583"
+ style="fill:#000000;stroke-width:0.264583"
x="23.457415"
- y="41.972523">$\not\sqsupseteq \{a\}$</tspan></text>
+ y="41.972523">$\sqsupseteq \{a\}$</tspan></text>
+ <circle
+ style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
+ id="path3663-6-6-4"
+ cx="18.004833"
+ cy="70.942116"
+ r="2.7302806" />
+ <text
+ xml:space="preserve"
+ style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
+ x="23.457415"
+ y="73.643356"
+ id="text3750-7"><tspan
+ sodipodi:role="line"
+ id="tspan3748-65"
+ style="fill:#000000;stroke-width:0.264583"
+ x="23.457415"
+ y="73.643356">$\to \{\}$</tspan></text>
<text
xml:space="preserve"
style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
@@ -521,67 +549,33 @@
style="fill:#000000;stroke-width:0.264583"
x="14.395845"
y="52.022549">return OK</tspan></text>
- <circle
- style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-1-4"
- cx="18.004833"
- cy="90.979645"
- r="2.7302806" />
- <circle
- style="fill:#008000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-3-0-5"
- cx="18.004833"
- cy="81.949104"
- r="2.7302806" />
- <circle
- style="fill:#800080;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-6-6-2"
- cx="18.004833"
- cy="72.918564"
- r="2.7302806" />
<text
xml:space="preserve"
style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
- x="6.9525447"
- y="65.279381"
- id="text3707-5"><tspan
+ x="14.395845"
+ y="92.005798"
+ id="text4280-3"><tspan
sodipodi:role="line"
- id="tspan3705-4"
+ id="tspan4278-7"
style="fill:#000000;stroke-width:0.264583"
- x="6.9525447"
- y="65.279381">$write(\{b\})$:</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583"
- x="23.457415"
- y="75.619804"
- id="text3750-7"><tspan
- sodipodi:role="line"
- id="tspan3748-4"
- style="fill:#999999;stroke-width:0.264583"
- x="23.457415"
- y="75.619804">$\not\sqsupseteq \{b\}$</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583"
- x="23.457415"
- y="84.598038"
- id="text3750-3-4"><tspan
- sodipodi:role="line"
- id="tspan3748-2-3"
- style="fill:#999999;stroke-width:0.264583"
- x="23.457415"
- y="84.598038">$\not\sqsupseteq \{b\}$</tspan></text>
+ x="14.395845"
+ y="92.005798">return $\{\}\sqcup\{a\}=\{a\}$</tspan></text>
+ <circle
+ style="fill:#800080;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
+ id="path3663-1-5"
+ cx="18.004833"
+ cy="81.007744"
+ r="2.7302806" />
<text
xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583"
+ style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583"
x="23.457415"
- y="93.54969"
- id="text3750-0-0"><tspan
+ y="83.577797"
+ id="text3750-0-6"><tspan
sodipodi:role="line"
- id="tspan3748-6-7"
- style="fill:#999999;stroke-width:0.264583"
+ id="tspan3748-6-9"
+ style="fill:#000000;stroke-width:0.264583"
x="23.457415"
- y="93.54969">$\not\sqsupseteq \{b\}$</tspan></text>
+ y="83.577797">$\to \{a\}$</tspan></text>
</g>
</svg>