dewey/docs-rust
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: added cleanscript

Browse Source
This commit is contained in:
Aditya Gupta
2026-06-22 21:27:36 +05:30
parent dbddc0ce2d
commit 4581eea409
309 changed files with 14551 additions and 46035 deletions
Download Patch File Download Diff File Expand all files Collapse all files

68
img/trpl04-01.svg Normal file
View File

@@ -0,0 +1,68 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1000.00 700.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 152)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-152 233,-152 233,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="8,-124 96,-124 "/>
<text text-anchor="start" x="45.7759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<polygon fill="none" stroke="#000000" points="8,-104 8,-124 60,-124 60,-104 8,-104"/>
<text text-anchor="start" x="18.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-104 60,-124 96,-124 96,-104 60,-104"/>
<text text-anchor="start" x="62.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-84 8,-104 60,-104 60,-84 8,-84"/>
<text text-anchor="start" x="26.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-84 60,-104 96,-104 96,-84 60,-84"/>
<polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<text text-anchor="start" x="25.4482" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<text text-anchor="start" x="74.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<text text-anchor="start" x="10.6826" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<text text-anchor="start" x="74.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table1 -->
<g id="node2" class="node">
<title>table1</title>
<polygon fill="none" stroke="#000000" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/>
<text text-anchor="start" x="151.4482" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/>
<text text-anchor="start" x="188.3413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/>
<text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/>
<text text-anchor="start" x="200" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/>
<text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/>
<text text-anchor="start" x="200.3931" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/>
<text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/>
<text text-anchor="start" x="201.5552" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/>
<text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/>
<text text-anchor="start" x="201.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/>
<text text-anchor="start" x="163.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge">
<title>table0:c&#45;&gt;table1:pointee</title>
<path fill="none" stroke="#000000" d="M78,-94C78,-94 109.3406,-94 138.3797,-94"/>
<polygon fill="#000000" stroke="#000000" points="138.5,-97.5001 148.5,-94 138.5,-90.5001 138.5,-97.5001"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 5.2 KiB

95
img/trpl04-02.svg Normal file
View File

@@ -0,0 +1,95 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1000.00 1000.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 238)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-238 233,-238 233,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="8,-210 96,-210 "/>
<text text-anchor="start" x="45.7759" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<polygon fill="none" stroke="#000000" points="8,-190 8,-210 60,-210 60,-190 8,-190"/>
<text text-anchor="start" x="18.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-190 60,-210 96,-210 96,-190 60,-190"/>
<text text-anchor="start" x="62.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-170 8,-190 60,-190 60,-170 8,-170"/>
<text text-anchor="start" x="26.2241" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-170 60,-190 96,-190 96,-170 60,-170"/>
<polygon fill="none" stroke="#000000" points="8,-150 8,-170 60,-170 60,-150 8,-150"/>
<text text-anchor="start" x="25.4482" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-150 60,-170 96,-170 96,-150 60,-150"/>
<text text-anchor="start" x="74.5" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-130 8,-150 60,-150 60,-130 8,-130"/>
<text text-anchor="start" x="10.6826" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-130 60,-150 96,-150 96,-130 60,-130"/>
<text text-anchor="start" x="74.5" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table1 -->
<g id="node3" class="node">
<title>table1</title>
<polygon fill="none" stroke="#000000" points="148.5,-127 148.5,-147 185.5,-147 185.5,-127 148.5,-127"/>
<text text-anchor="start" x="151.4482" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="185.5,-127 185.5,-147 221.5,-147 221.5,-127 185.5,-127"/>
<text text-anchor="start" x="188.3413" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="148.5,-107 148.5,-127 185.5,-127 185.5,-107 148.5,-107"/>
<text text-anchor="start" x="163.5" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="185.5,-107 185.5,-127 221.5,-127 221.5,-107 185.5,-107"/>
<text text-anchor="start" x="200" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="148.5,-87 148.5,-107 185.5,-107 185.5,-87 148.5,-87"/>
<text text-anchor="start" x="163.5" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="185.5,-87 185.5,-107 221.5,-107 221.5,-87 185.5,-87"/>
<text text-anchor="start" x="200.3931" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="148.5,-67 148.5,-87 185.5,-87 185.5,-67 148.5,-67"/>
<text text-anchor="start" x="163.5" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="185.5,-67 185.5,-87 221.5,-87 221.5,-67 185.5,-67"/>
<text text-anchor="start" x="201.5552" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-47 148.5,-67 185.5,-67 185.5,-47 148.5,-47"/>
<text text-anchor="start" x="163.5" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="185.5,-47 185.5,-67 221.5,-67 221.5,-47 185.5,-47"/>
<text text-anchor="start" x="201.5552" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-27 148.5,-47 185.5,-47 185.5,-27 148.5,-27"/>
<text text-anchor="start" x="163.5" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="185.5,-27 185.5,-47 221.5,-47 221.5,-27 185.5,-27"/>
<text text-anchor="start" x="200" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge">
<title>table0:c&#45;&gt;table1:pointee</title>
<path fill="none" stroke="#000000" d="M78,-180C78,-180 101.9982,-126.912 138.4405,-118.2023"/>
<polygon fill="#000000" stroke="#000000" points="138.986,-121.6621 148.5,-117 138.1553,-114.7115 138.986,-121.6621"/>
</g>
<!-- table3 -->
<g id="node2" class="node">
<title>table3</title>
<polyline fill="none" stroke="#000000" points="8,-84 96,-84 "/>
<text text-anchor="start" x="45.7759" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
<polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<text text-anchor="start" x="18.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<text text-anchor="start" x="62.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<text text-anchor="start" x="26.2241" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<polygon fill="none" stroke="#000000" points="8,-24 8,-44 60,-44 60,-24 8,-24"/>
<text text-anchor="start" x="25.4482" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-24 60,-44 96,-44 96,-24 60,-24"/>
<text text-anchor="start" x="74.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-4 8,-24 60,-24 60,-4 8,-4"/>
<text text-anchor="start" x="10.6826" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-4 60,-24 96,-24 96,-4 60,-4"/>
<text text-anchor="start" x="74.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table3&#45;&gt;table1 -->
<g id="edge2" class="edge">
<title>table3:c&#45;&gt;table1:pointee</title>
<path fill="none" stroke="#000000" d="M78,-54C78,-54 101.9982,-107.088 138.4405,-115.7977"/>
<polygon fill="#000000" stroke="#000000" points="138.1553,-119.2885 148.5,-117 138.986,-112.3379 138.1553,-119.2885"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 7.2 KiB

123
img/trpl04-03.svg Normal file
View File

@@ -0,0 +1,123 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1000.00 1300.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 298)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-298 233,-298 233,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="8,-124 96,-124 "/>
<text text-anchor="start" x="45.7759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
<polygon fill="none" stroke="#000000" points="8,-104 8,-124 60,-124 60,-104 8,-104"/>
<text text-anchor="start" x="18.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-104 60,-124 96,-124 96,-104 60,-104"/>
<text text-anchor="start" x="62.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-84 8,-104 60,-104 60,-84 8,-84"/>
<text text-anchor="start" x="26.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-84 60,-104 96,-104 96,-84 60,-84"/>
<polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<text text-anchor="start" x="25.4482" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<text text-anchor="start" x="74.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<text text-anchor="start" x="10.6826" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<text text-anchor="start" x="74.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table1 -->
<g id="node2" class="node">
<title>table1</title>
<polygon fill="none" stroke="#000000" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/>
<text text-anchor="start" x="151.4482" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/>
<text text-anchor="start" x="188.3413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/>
<text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/>
<text text-anchor="start" x="200" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/>
<text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/>
<text text-anchor="start" x="200.3931" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/>
<text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/>
<text text-anchor="start" x="201.5552" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/>
<text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/>
<text text-anchor="start" x="201.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/>
<text text-anchor="start" x="163.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge">
<title>table0:c&#45;&gt;table1:pointee</title>
<path fill="none" stroke="#000000" d="M78,-94C78,-94 109.3406,-94 138.3797,-94"/>
<polygon fill="#000000" stroke="#000000" points="138.5,-97.5001 148.5,-94 138.5,-90.5001 138.5,-97.5001"/>
</g>
<!-- table3 -->
<g id="node3" class="node">
<title>table3</title>
<polyline fill="none" stroke="#000000" points="8,-270 96,-270 "/>
<text text-anchor="start" x="45.7759" y="-275.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<polygon fill="none" stroke="#000000" points="8,-250 8,-270 60,-270 60,-250 8,-250"/>
<text text-anchor="start" x="18.8413" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-250 60,-270 96,-270 96,-250 60,-250"/>
<text text-anchor="start" x="62.8413" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-230 8,-250 60,-250 60,-230 8,-230"/>
<text text-anchor="start" x="26.2241" y="-235.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-230 60,-250 96,-250 96,-230 60,-230"/>
<polygon fill="none" stroke="#000000" points="8,-210 8,-230 60,-230 60,-210 8,-210"/>
<text text-anchor="start" x="25.4482" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-210 60,-230 96,-230 96,-210 60,-210"/>
<text text-anchor="start" x="74.5" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-190 8,-210 60,-210 60,-190 8,-190"/>
<text text-anchor="start" x="10.6826" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-190 60,-210 96,-210 96,-190 60,-190"/>
<text text-anchor="start" x="74.5" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table4 -->
<g id="node4" class="node">
<title>table4</title>
<polygon fill="none" stroke="#000000" points="148.5,-250 148.5,-270 185.5,-270 185.5,-250 148.5,-250"/>
<text text-anchor="start" x="151.4482" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="185.5,-250 185.5,-270 221.5,-270 221.5,-250 185.5,-250"/>
<text text-anchor="start" x="188.3413" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="148.5,-230 148.5,-250 185.5,-250 185.5,-230 148.5,-230"/>
<text text-anchor="start" x="163.5" y="-235.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="185.5,-230 185.5,-250 221.5,-250 221.5,-230 185.5,-230"/>
<text text-anchor="start" x="200" y="-235.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="148.5,-210 148.5,-230 185.5,-230 185.5,-210 148.5,-210"/>
<text text-anchor="start" x="163.5" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="185.5,-210 185.5,-230 221.5,-230 221.5,-210 185.5,-210"/>
<text text-anchor="start" x="200.3931" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="148.5,-190 148.5,-210 185.5,-210 185.5,-190 148.5,-190"/>
<text text-anchor="start" x="163.5" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="185.5,-190 185.5,-210 221.5,-210 221.5,-190 185.5,-190"/>
<text text-anchor="start" x="201.5552" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-170 148.5,-190 185.5,-190 185.5,-170 148.5,-170"/>
<text text-anchor="start" x="163.5" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="185.5,-170 185.5,-190 221.5,-190 221.5,-170 185.5,-170"/>
<text text-anchor="start" x="201.5552" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-150 148.5,-170 185.5,-170 185.5,-150 148.5,-150"/>
<text text-anchor="start" x="163.5" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="185.5,-150 185.5,-170 221.5,-170 221.5,-150 185.5,-150"/>
<text text-anchor="start" x="200" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g>
<!-- table3&#45;&gt;table4 -->
<g id="edge2" class="edge">
<title>table3:c&#45;&gt;table4:pointee</title>
<path fill="none" stroke="#000000" d="M78,-240C78,-240 109.3406,-240 138.3797,-240"/>
<polygon fill="#000000" stroke="#000000" points="138.5,-243.5001 148.5,-240 138.5,-236.5001 138.5,-243.5001"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 9.9 KiB

96
img/trpl04-04.svg Normal file
View File

@@ -0,0 +1,96 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1000.00 1000.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 238)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-238 233,-238 233,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polygon fill="#c0c0c0" stroke="transparent" points="8,-130 8,-230 96,-230 96,-130 8,-130"/>
<polyline fill="none" stroke="#000000" points="8,-210 96,-210 "/>
<text text-anchor="start" x="45.7759" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<polygon fill="none" stroke="#000000" points="8,-190 8,-210 60,-210 60,-190 8,-190"/>
<text text-anchor="start" x="18.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-190 60,-210 96,-210 96,-190 60,-190"/>
<text text-anchor="start" x="62.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-170 8,-190 60,-190 60,-170 8,-170"/>
<text text-anchor="start" x="26.2241" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-170 60,-190 96,-190 96,-170 60,-170"/>
<polygon fill="none" stroke="#000000" points="8,-150 8,-170 60,-170 60,-150 8,-150"/>
<text text-anchor="start" x="25.4482" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-150 60,-170 96,-170 96,-150 60,-150"/>
<text text-anchor="start" x="74.5" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-130 8,-150 60,-150 60,-130 8,-130"/>
<text text-anchor="start" x="10.6826" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-130 60,-150 96,-150 96,-130 60,-130"/>
<text text-anchor="start" x="74.5" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table1 -->
<g id="node3" class="node">
<title>table1</title>
<polygon fill="none" stroke="#000000" points="148.5,-127 148.5,-147 185.5,-147 185.5,-127 148.5,-127"/>
<text text-anchor="start" x="151.4482" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="185.5,-127 185.5,-147 221.5,-147 221.5,-127 185.5,-127"/>
<text text-anchor="start" x="188.3413" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="148.5,-107 148.5,-127 185.5,-127 185.5,-107 148.5,-107"/>
<text text-anchor="start" x="163.5" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="185.5,-107 185.5,-127 221.5,-127 221.5,-107 185.5,-107"/>
<text text-anchor="start" x="200" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="148.5,-87 148.5,-107 185.5,-107 185.5,-87 148.5,-87"/>
<text text-anchor="start" x="163.5" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="185.5,-87 185.5,-107 221.5,-107 221.5,-87 185.5,-87"/>
<text text-anchor="start" x="200.3931" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="148.5,-67 148.5,-87 185.5,-87 185.5,-67 148.5,-67"/>
<text text-anchor="start" x="163.5" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="185.5,-67 185.5,-87 221.5,-87 221.5,-67 185.5,-67"/>
<text text-anchor="start" x="201.5552" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-47 148.5,-67 185.5,-67 185.5,-47 148.5,-47"/>
<text text-anchor="start" x="163.5" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="185.5,-47 185.5,-67 221.5,-67 221.5,-47 185.5,-47"/>
<text text-anchor="start" x="201.5552" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-27 148.5,-47 185.5,-47 185.5,-27 148.5,-27"/>
<text text-anchor="start" x="163.5" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="185.5,-27 185.5,-47 221.5,-47 221.5,-27 185.5,-27"/>
<text text-anchor="start" x="200" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge">
<title>table0:c&#45;&gt;table1:pointee</title>
<path fill="none" stroke="#000000" d="M78,-180C78,-180 101.9982,-126.912 138.4405,-118.2023"/>
<polygon fill="#000000" stroke="#000000" points="138.986,-121.6621 148.5,-117 138.1553,-114.7115 138.986,-121.6621"/>
</g>
<!-- table3 -->
<g id="node2" class="node">
<title>table3</title>
<polyline fill="none" stroke="#000000" points="8,-84 96,-84 "/>
<text text-anchor="start" x="45.7759" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
<polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<text text-anchor="start" x="18.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<text text-anchor="start" x="62.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<text text-anchor="start" x="26.2241" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<polygon fill="none" stroke="#000000" points="8,-24 8,-44 60,-44 60,-24 8,-24"/>
<text text-anchor="start" x="25.4482" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-24 60,-44 96,-44 96,-24 60,-24"/>
<text text-anchor="start" x="74.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="8,-4 8,-24 60,-24 60,-4 8,-4"/>
<text text-anchor="start" x="10.6826" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-4 60,-24 96,-24 96,-4 60,-4"/>
<text text-anchor="start" x="74.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table3&#45;&gt;table1 -->
<g id="edge2" class="edge">
<title>table3:c&#45;&gt;table1:pointee</title>
<path fill="none" stroke="#000000" d="M78,-54C78,-54 101.9982,-107.088 138.4405,-115.7977"/>
<polygon fill="#000000" stroke="#000000" points="138.1553,-119.2885 148.5,-117 138.986,-112.3379 138.1553,-119.2885"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 7.3 KiB

95
img/trpl04-05.svg Normal file
View File

@@ -0,0 +1,95 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.2 (20240928.0832)
-->
<!-- Pages: 1 -->
<svg
viewBox="0.00 0.00 1038.00 1342.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 318)">
<polygon fill="white" stroke="none" points="-4,4 -4,-318 245,-318 245,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_heap</title>
</g>
<!-- s -->
<g id="node1" class="node">
<title>s</title>
<polyline fill="none" stroke="black" points="8,-288 94,-288"/>
<text text-anchor="start" x="48.38" y="-293.7" font-family="Times,serif" font-size="14.00">s</text>
<polygon fill="none" stroke="black" points="8,-266 8,-288 59,-288 59,-266 8,-266"/>
<text text-anchor="start" x="18.5" y="-271.7" font-family="Times,serif" font-size="14.00">name</text>
<polygon fill="none" stroke="black" points="59,-266 59,-288 94,-288 94,-266 59,-266"/>
<text text-anchor="start" x="61.88" y="-271.7" font-family="Times,serif" font-size="14.00">value</text>
<polygon fill="none" stroke="black" points="8,-244 8,-266 59,-266 59,-244 8,-244"/>
<text text-anchor="start" x="26" y="-249.7" font-family="Times,serif" font-size="14.00">ptr</text>
<polygon fill="none" stroke="black" points="59,-244 59,-266 94,-266 94,-244 59,-244"/>
<polygon fill="none" stroke="black" points="8,-222 8,-244 59,-244 59,-222 8,-222"/>
<text text-anchor="start" x="25.25" y="-227.7" font-family="Times,serif" font-size="14.00">len</text>
<polygon fill="none" stroke="black" points="59,-222 59,-244 94,-244 94,-222 59,-222"/>
<text text-anchor="start" x="73.12" y="-227.7" font-family="Times,serif" font-size="14.00">4</text>
<polygon fill="none" stroke="black" points="8,-200 8,-222 59,-222 59,-200 8,-200"/>
<text text-anchor="start" x="11" y="-205.7" font-family="Times,serif" font-size="14.00">capacity</text>
<polygon fill="none" stroke="black" points="59,-200 59,-222 94,-222 94,-200 59,-200"/>
<text text-anchor="start" x="73.12" y="-205.7" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- ahoy -->
<g id="node3" class="node">
<title>ahoy</title>
<polygon fill="none" stroke="black" points="146,-266 146,-288 182,-288 182,-266 146,-266"/>
<text text-anchor="start" x="149" y="-271.7" font-family="Times,serif" font-size="14.00">index</text>
<polygon fill="none" stroke="black" points="182,-266 182,-288 217,-288 217,-266 182,-266"/>
<text text-anchor="start" x="184.88" y="-271.7" font-family="Times,serif" font-size="14.00">value</text>
<polygon fill="none" stroke="black" points="146,-244 146,-266 182,-266 182,-244 146,-244"/>
<text text-anchor="start" x="160.62" y="-249.7" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="182,-244 182,-266 217,-266 217,-244 182,-244"/>
<text text-anchor="start" x="196.5" y="-249.7" font-family="Times,serif" font-size="14.00">a</text>
<polygon fill="none" stroke="black" points="146,-222 146,-244 182,-244 182,-222 146,-222"/>
<text text-anchor="start" x="160.62" y="-227.7" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="182,-222 182,-244 217,-244 217,-222 182,-222"/>
<text text-anchor="start" x="196.12" y="-227.7" font-family="Times,serif" font-size="14.00">h</text>
<polygon fill="none" stroke="black" points="146,-200 146,-222 182,-222 182,-200 146,-200"/>
<text text-anchor="start" x="160.62" y="-205.7" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="182,-200 182,-222 217,-222 217,-200 182,-200"/>
<text text-anchor="start" x="196.12" y="-205.7" font-family="Times,serif" font-size="14.00">o</text>
<polygon fill="none" stroke="black" points="146,-178 146,-200 182,-200 182,-178 146,-178"/>
<text text-anchor="start" x="160.62" y="-183.7" font-family="Times,serif" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="182,-178 182,-200 217,-200 217,-178 182,-178"/>
<text text-anchor="start" x="196.12" y="-183.7" font-family="Times,serif" font-size="14.00">y</text>
</g>
<!-- s&#45;&gt;ahoy -->
<g id="edge1" class="edge">
<title>s:c&#45;&gt;ahoy:pointee</title>
<path fill="none" stroke="black" d="M77.5,-255C77.5,-255 106.47,-255 133.85,-255"/>
<polygon fill="black" stroke="black" points="133.49,-258.5 143.49,-255 133.49,-251.5 133.49,-258.5"/>
</g>
<!-- hello -->
<g id="node2" class="node">
<title>hello</title>
<polygon fill="gray" stroke="none" points="146,-20 146,-152 217,-152 217,-20 146,-20"/>
<polygon fill="none" stroke="black" points="146,-130 146,-152 182,-152 182,-130 146,-130"/>
<text text-anchor="start" x="149" y="-135.7" font-family="Times,serif" font-size="14.00">index</text>
<polygon fill="none" stroke="black" points="182,-130 182,-152 217,-152 217,-130 182,-130"/>
<text text-anchor="start" x="184.88" y="-135.7" font-family="Times,serif" font-size="14.00">value</text>
<polygon fill="none" stroke="black" points="146,-108 146,-130 182,-130 182,-108 146,-108"/>
<text text-anchor="start" x="160.62" y="-113.7" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="182,-108 182,-130 217,-130 217,-108 182,-108"/>
<text text-anchor="start" x="196.12" y="-113.7" font-family="Times,serif" font-size="14.00">h</text>
<polygon fill="none" stroke="black" points="146,-86 146,-108 182,-108 182,-86 146,-86"/>
<text text-anchor="start" x="160.62" y="-91.7" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="182,-86 182,-108 217,-108 217,-86 182,-86"/>
<text text-anchor="start" x="196.5" y="-91.7" font-family="Times,serif" font-size="14.00">e</text>
<polygon fill="none" stroke="black" points="146,-64 146,-86 182,-86 182,-64 146,-64"/>
<text text-anchor="start" x="160.62" y="-69.7" font-family="Times,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="182,-64 182,-86 217,-86 217,-64 182,-64"/>
<text text-anchor="start" x="197.62" y="-69.7" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="146,-42 146,-64 182,-64 182,-42 146,-42"/>
<text text-anchor="start" x="160.62" y="-47.7" font-family="Times,serif" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="182,-42 182,-64 217,-64 217,-42 182,-42"/>
<text text-anchor="start" x="197.62" y="-47.7" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="146,-20 146,-42 182,-42 182,-20 146,-20"/>
<text text-anchor="start" x="160.62" y="-25.7" font-family="Times,serif" font-size="14.00">4</text>
<polygon fill="none" stroke="black" points="182,-20 182,-42 217,-42 217,-20 182,-20"/>
<text text-anchor="start" x="196.12" y="-25.7" font-family="Times,serif" font-size="14.00">o</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.8 KiB

87
img/trpl04-06.svg Normal file
View File

@@ -0,0 +1,87 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1500.00 650.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 152)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-152 357,-152 357,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="8,-124 80,-124 "/>
<text text-anchor="start" x="41.2759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s</text>
<polygon fill="none" stroke="#000000" points="8,-104 8,-124 44,-124 44,-104 8,-104"/>
<text text-anchor="start" x="10.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="44,-104 44,-124 80,-124 80,-104 44,-104"/>
<text text-anchor="start" x="46.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-84 8,-104 44,-104 44,-84 8,-84"/>
<text text-anchor="start" x="18.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="44,-84 44,-104 80,-104 80,-84 44,-84"/>
</g>
<!-- table1 -->
<g id="node2" class="node">
<title>table1</title>
<polyline fill="none" stroke="#000000" points="132,-124 220,-124 "/>
<text text-anchor="start" x="169.7759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<polygon fill="none" stroke="#000000" points="132,-104 132,-124 184,-124 184,-104 132,-104"/>
<text text-anchor="start" x="142.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="184,-104 184,-124 220,-124 220,-104 184,-104"/>
<text text-anchor="start" x="186.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="132,-84 132,-104 184,-104 184,-84 132,-84"/>
<text text-anchor="start" x="150.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="184,-84 184,-104 220,-104 220,-84 184,-84"/>
<polygon fill="none" stroke="#000000" points="132,-64 132,-84 184,-84 184,-64 132,-64"/>
<text text-anchor="start" x="149.4482" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="184,-64 184,-84 220,-84 220,-64 184,-64"/>
<text text-anchor="start" x="198.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="132,-44 132,-64 184,-64 184,-44 132,-44"/>
<text text-anchor="start" x="134.6826" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="184,-44 184,-64 220,-64 220,-44 184,-44"/>
<text text-anchor="start" x="198.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge2" class="edge">
<title>table0:c&#45;&gt;table1:borrowee</title>
<path fill="none" stroke="#000000" d="M62,-94C62,-94 93.1184,-94 121.9514,-94"/>
<polygon fill="#000000" stroke="#000000" points="122,-97.5001 132,-94 122,-90.5001 122,-97.5001"/>
</g>
<!-- table2 -->
<g id="node3" class="node">
<title>table2</title>
<polygon fill="none" stroke="#000000" points="272.5,-104 272.5,-124 309.5,-124 309.5,-104 272.5,-104"/>
<text text-anchor="start" x="275.4482" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="309.5,-104 309.5,-124 345.5,-124 345.5,-104 309.5,-104"/>
<text text-anchor="start" x="312.3413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="272.5,-84 272.5,-104 309.5,-104 309.5,-84 272.5,-84"/>
<text text-anchor="start" x="287.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="309.5,-84 309.5,-104 345.5,-104 345.5,-84 309.5,-84"/>
<text text-anchor="start" x="324" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="272.5,-64 272.5,-84 309.5,-84 309.5,-64 272.5,-64"/>
<text text-anchor="start" x="287.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="309.5,-64 309.5,-84 345.5,-84 345.5,-64 309.5,-64"/>
<text text-anchor="start" x="324.3931" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="272.5,-44 272.5,-64 309.5,-64 309.5,-44 272.5,-44"/>
<text text-anchor="start" x="287.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="309.5,-44 309.5,-64 345.5,-64 345.5,-44 309.5,-44"/>
<text text-anchor="start" x="325.5552" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="272.5,-24 272.5,-44 309.5,-44 309.5,-24 272.5,-24"/>
<text text-anchor="start" x="287.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="309.5,-24 309.5,-44 345.5,-44 345.5,-24 309.5,-24"/>
<text text-anchor="start" x="325.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="272.5,-4 272.5,-24 309.5,-24 309.5,-4 272.5,-4"/>
<text text-anchor="start" x="287.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="309.5,-4 309.5,-24 345.5,-24 345.5,-4 309.5,-4"/>
<text text-anchor="start" x="324" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g>
<!-- table1&#45;&gt;table2 -->
<g id="edge1" class="edge">
<title>table1:c&#45;&gt;table2:pointee</title>
<path fill="none" stroke="#000000" d="M202,-94C202,-94 233.3406,-94 262.3797,-94"/>
<polygon fill="#000000" stroke="#000000" points="262.5,-97.5001 272.5,-94 262.5,-90.5001 262.5,-97.5001"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.4 KiB

115
img/trpl04-07.svg Normal file
View File

@@ -0,0 +1,115 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1000.00 1279.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 275)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-275 233,-275 233,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="16,-121 88,-121 "/>
<text text-anchor="start" x="35.6689" y="-126.8" font-family="Times,serif" font-size="14.00" fill="#000000">world</text>
<polygon fill="none" stroke="#000000" points="16,-101 16,-121 52,-121 52,-101 16,-101"/>
<text text-anchor="start" x="18.8413" y="-106.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="52,-101 52,-121 88,-121 88,-101 52,-101"/>
<text text-anchor="start" x="54.8413" y="-106.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="16,-81 16,-101 52,-101 52,-81 16,-81"/>
<text text-anchor="start" x="26.2241" y="-86.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="52,-81 52,-101 88,-101 88,-81 52,-81"/>
<polygon fill="none" stroke="#000000" points="16,-61 16,-81 52,-81 52,-61 16,-61"/>
<text text-anchor="start" x="25.4482" y="-66.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="52,-61 52,-81 88,-81 88,-61 52,-61"/>
<text text-anchor="start" x="66.5" y="-66.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- table4 -->
<g id="node3" class="node">
<title>table4</title>
<polygon fill="none" stroke="#000000" points="148.5,-224 148.5,-244 185.5,-244 185.5,-224 148.5,-224"/>
<text text-anchor="start" x="151.4482" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<polygon fill="none" stroke="#000000" points="185.5,-224 185.5,-244 221.5,-244 221.5,-224 185.5,-224"/>
<text text-anchor="start" x="188.3413" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="148.5,-204 148.5,-224 185.5,-224 185.5,-204 148.5,-204"/>
<text text-anchor="start" x="163.5" y="-209.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="185.5,-204 185.5,-224 221.5,-224 221.5,-204 185.5,-204"/>
<text text-anchor="start" x="200" y="-209.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<polygon fill="none" stroke="#000000" points="148.5,-184 148.5,-204 185.5,-204 185.5,-184 148.5,-184"/>
<text text-anchor="start" x="163.5" y="-189.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="185.5,-184 185.5,-204 221.5,-204 221.5,-184 185.5,-184"/>
<text text-anchor="start" x="200.3931" y="-189.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="148.5,-164 148.5,-184 185.5,-184 185.5,-164 148.5,-164"/>
<text text-anchor="start" x="163.5" y="-169.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="185.5,-164 185.5,-184 221.5,-184 221.5,-164 185.5,-164"/>
<text text-anchor="start" x="201.5552" y="-169.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-144 148.5,-164 185.5,-164 185.5,-144 148.5,-144"/>
<text text-anchor="start" x="163.5" y="-149.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="185.5,-144 185.5,-164 221.5,-164 221.5,-144 185.5,-144"/>
<text text-anchor="start" x="201.5552" y="-149.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-124 148.5,-144 185.5,-144 185.5,-124 148.5,-124"/>
<text text-anchor="start" x="163.5" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="185.5,-124 185.5,-144 221.5,-144 221.5,-124 185.5,-124"/>
<text text-anchor="start" x="200" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
<polygon fill="none" stroke="#000000" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/>
<text text-anchor="start" x="163.5" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/>
<text text-anchor="start" x="201.75" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polygon fill="none" stroke="#000000" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/>
<text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
<polygon fill="none" stroke="#000000" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/>
<text text-anchor="start" x="198.4448" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">w</text>
<polygon fill="none" stroke="#000000" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/>
<text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">7</text>
<polygon fill="none" stroke="#000000" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/>
<text text-anchor="start" x="200" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
<polygon fill="none" stroke="#000000" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/>
<text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">8</text>
<polygon fill="none" stroke="#000000" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/>
<text text-anchor="start" x="201.1689" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">r</text>
<polygon fill="none" stroke="#000000" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/>
<text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">9</text>
<polygon fill="none" stroke="#000000" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/>
<text text-anchor="start" x="201.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<polygon fill="none" stroke="#000000" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/>
<text text-anchor="start" x="160" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
<polygon fill="none" stroke="#000000" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">d</text>
</g>
<!-- table0&#45;&gt;table4 -->
<g id="edge1" class="edge">
<title>table0:c&#45;&gt;table4:pointee2</title>
<path fill="none" stroke="#000000" d="M70,-91C70,-91 105.7964,-93.4639 138.4948,-93.9258"/>
<polygon fill="#000000" stroke="#000000" points="138.4743,-97.4257 148.5,-94 138.5263,-90.4259 138.4743,-97.4257"/>
</g>
<!-- table3 -->
<g id="node2" class="node">
<title>table3</title>
<polyline fill="none" stroke="#000000" points="8,-247 96,-247 "/>
<text text-anchor="start" x="49.2759" y="-252.8" font-family="Times,serif" font-size="14.00" fill="#000000">s</text>
<polygon fill="none" stroke="#000000" points="8,-227 8,-247 60,-247 60,-227 8,-227"/>
<text text-anchor="start" x="18.8413" y="-232.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<polygon fill="none" stroke="#000000" points="60,-227 60,-247 96,-247 96,-227 60,-227"/>
<text text-anchor="start" x="62.8413" y="-232.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<polygon fill="none" stroke="#000000" points="8,-207 8,-227 60,-227 60,-207 8,-207"/>
<text text-anchor="start" x="26.2241" y="-212.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="60,-207 60,-227 96,-227 96,-207 60,-207"/>
<polygon fill="none" stroke="#000000" points="8,-187 8,-207 60,-207 60,-187 8,-187"/>
<text text-anchor="start" x="25.4482" y="-192.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<polygon fill="none" stroke="#000000" points="60,-187 60,-207 96,-207 96,-187 60,-187"/>
<text text-anchor="start" x="71.2563" y="-192.8" font-family="Times,serif" font-size="14.00" fill="#000000">11</text>
<polygon fill="none" stroke="#000000" points="8,-167 8,-187 60,-187 60,-167 8,-167"/>
<text text-anchor="start" x="10.6826" y="-172.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<polygon fill="none" stroke="#000000" points="60,-167 60,-187 96,-187 96,-167 60,-167"/>
<text text-anchor="start" x="71.2563" y="-172.8" font-family="Times,serif" font-size="14.00" fill="#000000">11</text>
</g>
<!-- table3&#45;&gt;table4 -->
<g id="edge2" class="edge">
<title>table3:c&#45;&gt;table4:pointee</title>
<path fill="none" stroke="#000000" d="M78,-217C78,-217 109.3179,-214.5994 138.3725,-214.0931"/>
<polygon fill="#000000" stroke="#000000" points="138.5326,-217.5918 148.5,-214 138.4682,-210.5921 138.5326,-217.5918"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 9.4 KiB

BIN
img/trpl14-01.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 269 KiB

BIN
img/trpl14-02.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 253 KiB

BIN
img/trpl14-03.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 201 KiB

BIN
img/trpl14-04.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 269 KiB

43
img/trpl15-01.svg Normal file
View File

@@ -0,0 +1,43 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg
viewBox="0.00 0.00 1000.00 700.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 156)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-156 174,-156 174,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="8,-128 162,-128 "/>
<text text-anchor="start" x="70.6069" y="-133.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<polygon fill="none" stroke="#000000" points="8,-4 8,-128 31,-128 31,-4 8,-4"/>
<text text-anchor="start" x="10.5552" y="-61.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polygon fill="none" stroke="#000000" points="31,-4 31,-128 162,-128 162,-4 31,-4"/>
<polyline fill="none" stroke="#000000" points="34,-105 159,-105 "/>
<text text-anchor="start" x="82.1069" y="-110.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<polygon fill="none" stroke="#000000" points="34,-7 34,-105 57,-105 57,-7 34,-7"/>
<text text-anchor="start" x="36.5552" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polygon fill="none" stroke="#000000" points="57,-7 57,-105 159,-105 159,-7 57,-7"/>
<polyline fill="none" stroke="#000000" points="60,-82 156,-82 "/>
<text text-anchor="start" x="93.6069" y="-87.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<polygon fill="none" stroke="#000000" points="60,-10 60,-82 83,-82 83,-10 60,-10"/>
<text text-anchor="start" x="62.5552" y="-41.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polygon fill="none" stroke="#000000" points="83,-10 83,-82 156,-82 156,-10 83,-10"/>
<polyline fill="none" stroke="#000000" points="86,-59 153,-59 "/>
<text text-anchor="start" x="105.1069" y="-64.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<polygon fill="none" stroke="#000000" points="86,-13 86,-59 109,-59 109,-13 86,-13"/>
<text text-anchor="start" x="88.5552" y="-31.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polygon fill="none" stroke="#000000" points="109,-13 109,-59 153,-59 153,-13 109,-13"/>
<polyline fill="none" stroke="#000000" points="112,-36 150,-36 "/>
<text text-anchor="start" x="116.6069" y="-41.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<polygon fill="none" stroke="#000000" points="112,-16 112,-36 135,-36 135,-16 112,-16"/>
<text text-anchor="start" x="114.5552" y="-21.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polygon fill="none" stroke="#000000" points="135,-16 135,-36 150,-36 150,-16 135,-16"/>
<text text-anchor="start" x="137.5098" y="-21.8" font-family="Times,serif" font-size="14.00" fill="#000000">∞</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 3.1 KiB

26
img/trpl15-02.svg Normal file
View File

@@ -0,0 +1,26 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg width="250pt"
viewBox="0.00 0.00 363.00 342.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 78)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-78 83,-78 83,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node">
<title>table0</title>
<polyline fill="none" stroke="#000000" points="8.5,-50 71.5,-50 "/>
<text text-anchor="start" x="25.6069" y="-55.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<polygon fill="none" stroke="#000000" points="8.5,-4 8.5,-50 31.5,-50 31.5,-4 8.5,-4"/>
<text text-anchor="start" x="11.0552" y="-22.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polygon fill="none" stroke="#000000" points="31.5,-4 31.5,-50 71.5,-50 71.5,-4 31.5,-4"/>
<polyline fill="none" stroke="#000000" points="34.5,-27 68.5,-27 "/>
<text text-anchor="start" x="39.8311" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">Box</text>
<polygon fill="none" stroke="#000000" points="34.5,-7 34.5,-27 68.5,-27 68.5,-7 34.5,-7"/>
<text text-anchor="start" x="37.1172" y="-12.8" font-family="Times,serif" font-size="14.00" fill="#000000">usize</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 1.5 KiB

109
img/trpl15-03.svg Normal file
View File

@@ -0,0 +1,109 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: %3 Pages: 1 -->
<svg width="750pt"
viewBox="0.00 0.00 2500 700" xmlns="http://www.w3.org/2000/svg"
xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 148)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-148 418,-148 418,4 -4,4"/>
<!-- table4 -->
<g id="node1" class="node">
<title>table4</title>
<text text-anchor="start" x="21" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000">b</text>
</g>
<!-- table5 -->
<g id="node2" class="node">
<title>table5</title>
<polygon fill="none" stroke="#000000" points="104,-116 104,-136 117,-136 117,-116 104,-116"/>
<text text-anchor="start" x="107" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="117,-116 117,-136 130,-136 130,-116 117,-116"/>
<text text-anchor="start" x="120" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;</text>
</g>
<!-- table4&#45;&gt;table5 -->
<g id="edge4" class="edge">
<title>table4:c&#45;&gt;table5:pte4</title>
<path fill="none" stroke="#000000" d="M34,-126C34,-126 65.1184,-126 93.9514,-126"/>
<polygon fill="#000000" stroke="#000000" points="94,-129.5001 104,-126 94,-122.5001 94,-129.5001"/>
</g>
<!-- table1 -->
<g id="node4" class="node">
<title>table1</title>
<polygon fill="none" stroke="#000000" points="194,-62 194,-82 207,-82 207,-62 194,-62"/>
<text text-anchor="start" x="197" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="207,-62 207,-82 220,-82 220,-62 207,-62"/>
<text text-anchor="start" x="210" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;</text>
</g>
<!-- table5&#45;&gt;table1 -->
<g id="edge5" class="edge">
<title>table5:c&#45;&gt;table1:pte0</title>
<path fill="none" stroke="#000000" d="M124,-126C124,-126 149.4376,-81.2672 183.6334,-73.2293"/>
<polygon fill="#000000" stroke="#000000" points="184.4818,-76.6533 194,-72 183.6574,-69.702 184.4818,-76.6533"/>
</g>
<!-- table0 -->
<g id="node3" class="node">
<title>table0</title>
<text text-anchor="start" x="110.8931" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">a</text>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge">
<title>table0:c&#45;&gt;table1:pte0</title>
<path fill="none" stroke="#000000" d="M123,-72C123,-72 154.5629,-72 183.8079,-72"/>
<polygon fill="#000000" stroke="#000000" points="184,-75.5001 194,-72 184,-68.5001 184,-75.5001"/>
</g>
<!-- table2 -->
<g id="node5" class="node">
<title>table2</title>
<polygon fill="none" stroke="#000000" points="281,-62 281,-82 301,-82 301,-62 281,-62"/>
<text text-anchor="start" x="284" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
<polygon fill="none" stroke="#000000" points="301,-62 301,-82 314,-82 314,-62 301,-62"/>
<text text-anchor="start" x="304" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;</text>
</g>
<!-- table1&#45;&gt;table2 -->
<g id="edge2" class="edge">
<title>table1:c&#45;&gt;table2:pte1</title>
<path fill="none" stroke="#000000" d="M214,-72C214,-72 243.2667,-72 270.6585,-72"/>
<polygon fill="#000000" stroke="#000000" points="271,-75.5001 281,-72 271,-68.5001 271,-75.5001"/>
</g>
<!-- table3 -->
<g id="node6" class="node">
<title>table3</title>
<polygon fill="none" stroke="#000000" points="376,-62 376,-82 399,-82 399,-62 376,-62"/>
<text text-anchor="start" x="378.5552" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">Nil</text>
</g>
<!-- table2&#45;&gt;table3 -->
<g id="edge3" class="edge">
<title>table2:c&#45;&gt;table3:pte2</title>
<path fill="none" stroke="#000000" d="M308,-72C308,-72 341.8867,-72 365.5509,-72"/>
<polygon fill="#000000" stroke="#000000" points="365.8498,-75.5001 375.8497,-72 365.8497,-68.5001 365.8498,-75.5001"/>
</g>
<!-- table6 -->
<g id="node7" class="node">
<title>table6</title>
<text text-anchor="start" x="20.8931" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">c</text>
</g>
<!-- table7 -->
<g id="node8" class="node">
<title>table7</title>
<polygon fill="none" stroke="#000000" points="104,-8 104,-28 117,-28 117,-8 104,-8"/>
<text text-anchor="start" x="107" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="117,-8 117,-28 130,-28 130,-8 117,-8"/>
<text text-anchor="start" x="120" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;</text>
</g>
<!-- table6&#45;&gt;table7 -->
<g id="edge6" class="edge">
<title>table6:c&#45;&gt;table7:pte6</title>
<path fill="none" stroke="#000000" d="M33,-18C33,-18 64.5629,-18 93.8079,-18"/>
<polygon fill="#000000" stroke="#000000" points="94,-21.5001 104,-18 94,-14.5001 94,-21.5001"/>
</g>
<!-- table7&#45;&gt;table1 -->
<g id="edge7" class="edge">
<title>table7:c&#45;&gt;table1:pte0</title>
<path fill="none" stroke="#000000" d="M124,-18C124,-18 149.4376,-62.7328 183.6334,-70.7707"/>
<polygon fill="#000000" stroke="#000000" points="183.6574,-74.298 194,-72 184.4818,-67.3467 183.6574,-74.298"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 5.3 KiB

84
img/trpl15-04.svg Normal file
View File

@@ -0,0 +1,84 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.44.1 (20200629.0846)
-->
<!-- Pages: 1 -->
<svg width="750pt"
viewBox="0.00 0.00 1000 550" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(3.5 3.5) rotate(0) translate(4 148.09)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-148.09 274,-148.09 274,4 -4,4"/>
<!-- l1 -->
<g id="node1" class="node">
<title>l1</title>
<polygon fill="none" stroke="black" points="90,-52.59 90,-88.59 144,-88.59 144,-52.59 90,-52.59"/>
<text text-anchor="middle" x="104" y="-66.89" font-family="Times,serif" font-size="14.00">5</text>
<polyline fill="none" stroke="black" points="118,-52.59 118,-88.59 "/>
<text text-anchor="middle" x="131" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- l2 -->
<g id="node2" class="node">
<title>l2</title>
<polygon fill="none" stroke="black" points="180,-52.59 180,-88.59 234,-88.59 234,-52.59 180,-52.59"/>
<text text-anchor="middle" x="196" y="-66.89" font-family="Times,serif" font-size="14.00">10</text>
<polyline fill="none" stroke="black" points="212,-52.59 212,-88.59 "/>
<text text-anchor="middle" x="223" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- l1&#45;&gt;l2 -->
<g id="edge5" class="edge">
<title>l1:c&#45;&gt;l2:data</title>
<path fill="none" stroke="black" d="M144.31,-70.59C151.47,-70.59 160.69,-70.59 169.83,-70.59"/>
<polygon fill="black" stroke="black" points="170,-74.09 180,-70.59 170,-67.09 170,-74.09"/>
</g>
<!-- invisible_end -->
<g id="node4" class="node">
<title>invisible_end</title>
<ellipse fill="black" stroke="black" cx="270" cy="-46.59" rx="0" ry="0"/>
</g>
<!-- l2&#45;&gt;invisible_end -->
<g id="edge6" class="edge">
<title>l2:c&#45;&gt;invisible_end:n</title>
<path fill="none" stroke="black" d="M234.38,-69.89C248.29,-68.34 270,-63.4 270,-47.59"/>
</g>
<!-- invisible_start -->
<g id="node3" class="node">
<title>invisible_start</title>
<ellipse fill="black" stroke="black" cx="27" cy="-37.59" rx="0" ry="0"/>
</g>
<!-- invisible_start&#45;&gt;l1 -->
<g id="edge3" class="edge">
<title>invisible_start:n&#45;&gt;l1</title>
<path fill="none" stroke="black" d="M27,-38.59C27,-50.42 55.22,-59.08 79.87,-64.38"/>
<polygon fill="black" stroke="black" points="79.28,-67.83 89.78,-66.38 80.67,-60.97 79.28,-67.83"/>
</g>
<!-- invisible_start&#45;&gt;invisible_end -->
<g id="edge4" class="edge">
<title>invisible_start:s&#45;&gt;invisible_end:s</title>
<path fill="none" stroke="black" d="M27,-36.59C27,17.45 270,8.45 270,-45.59"/>
</g>
<!-- a -->
<g id="node5" class="node">
<title>a</title>
<polygon fill="none" stroke="black" points="0,-70.59 0,-106.59 54,-106.59 54,-70.59 0,-70.59"/>
<text text-anchor="middle" x="27" y="-84.89" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- a&#45;&gt;l1 -->
<g id="edge1" class="edge">
<title>a&#45;&gt;l1:n</title>
<path fill="none" stroke="black" d="M54.22,-93.79C73.3,-97.06 97.79,-100.05 109.76,-96.58"/>
<polygon fill="black" stroke="black" points="112.24,-99.06 117,-89.59 107.38,-94.02 112.24,-99.06"/>
</g>
<!-- b -->
<g id="node6" class="node">
<title>b</title>
<polygon fill="none" stroke="black" points="90,-107.59 90,-143.59 144,-143.59 144,-107.59 90,-107.59"/>
<text text-anchor="middle" x="117" y="-121.89" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- b&#45;&gt;l2 -->
<g id="edge2" class="edge">
<title>b&#45;&gt;l2:n</title>
<path fill="none" stroke="black" d="M144.22,-125.57C166.99,-124.22 197.48,-118.71 205.18,-99.44"/>
<polygon fill="black" stroke="black" points="208.62,-100.06 207,-89.59 201.74,-98.79 208.62,-100.06"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 3.7 KiB

110
img/trpl17-01.svg Normal file
View File

@@ -0,0 +1,110 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.0 (20240811.2233)
-->
<!-- Pages: 1 -->
<svg
viewBox="0.00 0.00 2884 775.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 182)">
<polygon fill="white" stroke="none" points="-4,4 -4,-182 688.21,-182 688.21,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_task_a</title>
<polygon fill="none" stroke="black" points="8,-93 8,-170 676.21,-170 676.21,-93 8,-93"/>
<text text-anchor="middle" x="342.11" y="-152.7" font-family="Times,serif" font-size="14.00">Task A</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_task_b</title>
<polygon fill="none" stroke="black" points="8.72,-8 8.72,-85 675.49,-85 675.49,-8 8.72,-8"/>
<text text-anchor="middle" x="342.11" y="-67.7" font-family="Times,serif" font-size="14.00">Task B</text>
</g>
<!-- A1 -->
<g id="node1" class="node">
<title>A1</title>
<polygon fill="none" stroke="black" points="47.36,-137 16,-119 47.36,-101 78.73,-119 47.36,-137"/>
<text text-anchor="middle" x="47.36" y="-113.95" font-family="Times,serif" font-size="14.00">A1</text>
</g>
<!-- A2 -->
<g id="node2" class="node">
<title>A2</title>
<polygon fill="none" stroke="black" points="243.38,-137 212.01,-119 243.38,-101 274.74,-119 243.38,-137"/>
<text text-anchor="middle" x="243.38" y="-113.95" font-family="Times,serif" font-size="14.00">A2</text>
</g>
<!-- A1&#45;&gt;A2 -->
<!-- B1 -->
<g id="node7" class="node">
<title>B1</title>
<polygon fill="none" stroke="black" points="145.37,-52 114.73,-34 145.37,-16 176.01,-34 145.37,-52"/>
<text text-anchor="middle" x="145.37" y="-28.95" font-family="Times,serif" font-size="14.00">B1</text>
</g>
<!-- A1&#45;&gt;B1 -->
<g id="edge9" class="edge">
<title>A1&#45;&gt;B1</title>
<path fill="none" stroke="black" d="M60.52,-108.23C76.47,-94.12 104.66,-69.16 123.92,-52.11"/>
<polygon fill="black" stroke="black" points="126.01,-54.93 131.18,-45.68 121.37,-49.69 126.01,-54.93"/>
</g>
<!-- A3 -->
<g id="node3" class="node">
<title>A3</title>
<polygon fill="none" stroke="black" points="439.39,-137 408.02,-119 439.39,-101 470.75,-119 439.39,-137"/>
<text text-anchor="middle" x="439.39" y="-113.95" font-family="Times,serif" font-size="14.00">A3</text>
</g>
<!-- A2&#45;&gt;A3 -->
<!-- B2 -->
<g id="node8" class="node">
<title>B2</title>
<polygon fill="none" stroke="black" points="341.38,-52 310.74,-34 341.38,-16 372.02,-34 341.38,-52"/>
<text text-anchor="middle" x="341.38" y="-28.95" font-family="Times,serif" font-size="14.00">B2</text>
</g>
<!-- A2&#45;&gt;B2 -->
<g id="edge11" class="edge">
<title>A2&#45;&gt;B2</title>
<path fill="none" stroke="black" d="M256.54,-108.23C272.48,-94.12 300.68,-69.16 319.93,-52.11"/>
<polygon fill="black" stroke="black" points="322.02,-54.93 327.19,-45.68 317.38,-49.69 322.02,-54.93"/>
</g>
<!-- A4 -->
<g id="node4" class="node">
<title>A4</title>
<polygon fill="none" stroke="black" points="538.12,-137 506.75,-119 538.12,-101 569.48,-119 538.12,-137"/>
<text text-anchor="middle" x="538.12" y="-113.95" font-family="Times,serif" font-size="14.00">A4</text>
</g>
<!-- A3&#45;&gt;A4 -->
<!-- A3&#45;&gt;A4 -->
<g id="edge13" class="edge">
<title>A3&#45;&gt;A4</title>
<path fill="none" stroke="black" d="M461.38,-124.68C473.97,-125.79 490.25,-126.04 504.48,-125.42"/>
<polygon fill="black" stroke="black" points="504.57,-128.92 514.33,-124.8 504.13,-121.94 504.57,-128.92"/>
</g>
<!-- A0 -->
<!-- A4&#45;&gt;A0 -->
<!-- A4&#45;&gt;A0 -->
<!-- B3 -->
<g id="node9" class="node">
<title>B3</title>
<polygon fill="none" stroke="black" points="636.85,-52 606.21,-34 636.85,-16 667.49,-34 636.85,-52"/>
<text text-anchor="middle" x="636.85" y="-28.95" font-family="Times,serif" font-size="14.00">B3</text>
</g>
<!-- A4&#45;&gt;B3 -->
<g id="edge14" class="edge">
<title>A4&#45;&gt;B3</title>
<path fill="none" stroke="black" d="M551.37,-108.23C567.43,-94.12 595.84,-69.16 615.24,-52.11"/>
<polygon fill="black" stroke="black" points="617.36,-54.91 622.56,-45.68 612.74,-49.65 617.36,-54.91"/>
</g>
<!-- B0 -->
<!-- B0&#45;&gt;B1 -->
<!-- B1&#45;&gt;A2 -->
<g id="edge10" class="edge">
<title>B1&#45;&gt;A2</title>
<path fill="none" stroke="black" d="M158.53,-44.77C174.47,-58.88 202.67,-83.84 221.93,-100.89"/>
<polygon fill="black" stroke="black" points="219.38,-103.31 229.18,-107.32 224.02,-98.07 219.38,-103.31"/>
</g>
<!-- B1&#45;&gt;B2 -->
<!-- B2&#45;&gt;A3 -->
<g id="edge12" class="edge">
<title>B2&#45;&gt;A3</title>
<path fill="none" stroke="black" d="M354.54,-44.77C370.48,-58.88 398.68,-83.84 417.94,-100.89"/>
<polygon fill="black" stroke="black" points="415.39,-103.31 425.2,-107.32 420.03,-98.07 415.39,-103.31"/>
</g>
<!-- B2&#45;&gt;B3 -->
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 4.8 KiB

96
img/trpl17-02.svg Normal file
View File

@@ -0,0 +1,96 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.2 (20240928.0832)
-->
<!-- Pages: 1 -->
<svg
viewBox="0.00 0.00 1662.00 775.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 182)">
<polygon fill="white" stroke="none" points="-4,4 -4,-182 394.92,-182 394.92,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_ColleagueB</title>
<polygon fill="none" stroke="black" points="8.72,-8 8.72,-85 382.2,-85 382.2,-8 8.72,-8"/>
<text text-anchor="middle" x="195.46" y="-67.7" font-family="Times,serif" font-size="14.00">Task B</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_ColleagueA</title>
<polygon fill="none" stroke="black" points="8,-93 8,-170 382.92,-170 382.92,-93 8,-93"/>
<text text-anchor="middle" x="195.46" y="-152.7" font-family="Times,serif" font-size="14.00">Task A</text>
</g>
<!-- B1 -->
<g id="node1" class="node">
<title>B1</title>
<polygon fill="none" stroke="black" points="47.36,-52 16.72,-34 47.36,-16 78.01,-34 47.36,-52"/>
<text text-anchor="middle" x="47.36" y="-28.95" font-family="Times,serif" font-size="14.00">B1</text>
</g>
<!-- B2 -->
<g id="node2" class="node">
<title>B2</title>
<polygon fill="none" stroke="black" points="146.09,-52 115.45,-34 146.09,-16 176.74,-34 146.09,-52"/>
<text text-anchor="middle" x="146.09" y="-28.95" font-family="Times,serif" font-size="14.00">B2</text>
</g>
<!-- B1&#45;&gt;B2 -->
<g id="edge1" class="edge">
<title>B1&#45;&gt;B2</title>
<path fill="none" stroke="black" d="M78.97,-34C86.72,-34 95.18,-34 103.37,-34"/>
<polygon fill="black" stroke="black" points="103.17,-37.5 113.17,-34 103.17,-30.5 103.17,-37.5"/>
</g>
<!-- B3 -->
<g id="node3" class="node">
<title>B3</title>
<polygon fill="none" stroke="black" points="244.82,-52 214.18,-34 244.82,-16 275.47,-34 244.82,-52"/>
<text text-anchor="middle" x="244.82" y="-28.95" font-family="Times,serif" font-size="14.00">B3</text>
</g>
<!-- B2&#45;&gt;B3 -->
<g id="edge2" class="edge">
<title>B2&#45;&gt;B3</title>
<path fill="none" stroke="black" d="M177.7,-34C185.45,-34 193.91,-34 202.1,-34"/>
<polygon fill="black" stroke="black" points="201.9,-37.5 211.9,-34 201.9,-30.5 201.9,-37.5"/>
</g>
<!-- B0 -->
<!-- B3&#45;&gt;B0 -->
<!-- A1 -->
<g id="node5" class="node">
<title>A1</title>
<polygon fill="none" stroke="black" points="47.36,-137 16,-119 47.36,-101 78.73,-119 47.36,-137"/>
<text text-anchor="middle" x="47.36" y="-113.95" font-family="Times,serif" font-size="14.00">A1</text>
</g>
<!-- A2 -->
<g id="node6" class="node">
<title>A2</title>
<polygon fill="none" stroke="black" points="146.09,-137 114.73,-119 146.09,-101 177.46,-119 146.09,-137"/>
<text text-anchor="middle" x="146.09" y="-113.95" font-family="Times,serif" font-size="14.00">A2</text>
</g>
<!-- A1&#45;&gt;A2 -->
<g id="edge4" class="edge">
<title>A1&#45;&gt;A2</title>
<path fill="none" stroke="black" d="M79.5,-119C86.84,-119 94.78,-119 102.52,-119"/>
<polygon fill="black" stroke="black" points="102.5,-122.5 112.5,-119 102.5,-115.5 102.5,-122.5"/>
</g>
<!-- A3 -->
<g id="node7" class="node">
<title>A3</title>
<polygon fill="none" stroke="black" points="244.82,-137 213.46,-119 244.82,-101 276.19,-119 244.82,-137"/>
<text text-anchor="middle" x="244.82" y="-113.95" font-family="Times,serif" font-size="14.00">A3</text>
</g>
<!-- A2&#45;&gt;A3 -->
<g id="edge5" class="edge">
<title>A2&#45;&gt;A3</title>
<path fill="none" stroke="black" d="M178.23,-119C185.57,-119 193.51,-119 201.25,-119"/>
<polygon fill="black" stroke="black" points="201.23,-122.5 211.23,-119 201.23,-115.5 201.23,-122.5"/>
</g>
<!-- A4 -->
<g id="node8" class="node">
<title>A4</title>
<polygon fill="none" stroke="black" points="343.55,-137 312.19,-119 343.55,-101 374.92,-119 343.55,-137"/>
<text text-anchor="middle" x="343.55" y="-113.95" font-family="Times,serif" font-size="14.00">A4</text>
</g>
<!-- A3&#45;&gt;A4 -->
<g id="edge6" class="edge">
<title>A3&#45;&gt;A4</title>
<path fill="none" stroke="black" d="M276.96,-119C284.3,-119 292.24,-119 299.98,-119"/>
<polygon fill="black" stroke="black" points="299.96,-122.5 309.96,-119 299.96,-115.5 299.96,-122.5"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 4.2 KiB

110
img/trpl17-03.svg Normal file
View File

@@ -0,0 +1,110 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.2 (20240928.0832)
-->
<!-- Pages: 1 -->
<svg
viewBox="0.00 0.00 1771.00 775.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 182)">
<polygon fill="white" stroke="none" points="-4,4 -4,-182 420.98,-182 420.98,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_ColleagueB</title>
<polygon fill="none" stroke="black" points="8,-93 8,-170 408.98,-170 408.98,-93 8,-93"/>
<text text-anchor="middle" x="208.49" y="-152.7" font-family="Times,serif" font-size="14.00">Task A</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_ColleagueA</title>
<polygon fill="none" stroke="black" points="8.72,-8 8.72,-85 408.25,-85 408.25,-8 8.72,-8"/>
<text text-anchor="middle" x="208.49" y="-67.7" font-family="Times,serif" font-size="14.00">Task B</text>
</g>
<!-- A1 -->
<g id="node1" class="node">
<title>A1</title>
<polygon fill="none" stroke="black" points="47.36,-137 16,-119 47.36,-101 78.73,-119 47.36,-137"/>
<text text-anchor="middle" x="47.36" y="-113.95" font-family="Times,serif" font-size="14.00">A1</text>
</g>
<!-- A2 -->
<g id="node2" class="node">
<title>A2</title>
<polygon fill="none" stroke="black" points="146.09,-137 114.73,-119 146.09,-101 177.46,-119 146.09,-137"/>
<text text-anchor="middle" x="146.09" y="-113.95" font-family="Times,serif" font-size="14.00">A2</text>
</g>
<!-- A1&#45;&gt;A2 -->
<g id="edge1" class="edge">
<title>A1&#45;&gt;A2</title>
<path fill="none" stroke="black" d="M79.5,-119C86.84,-119 94.78,-119 102.52,-119"/>
<polygon fill="black" stroke="black" points="102.5,-122.5 112.5,-119 102.5,-115.5 102.5,-122.5"/>
</g>
<!-- A0_1 -->
<!-- A2&#45;&gt;A0_1 -->
<g id="edge2" class="edge">
<title>A2&#45;&gt;A0_1:c</title>
<path fill="none" stroke="black" d="M178.25,-119C204.37,-119 239.35,-119 252.02,-119"/>
<polygon fill="black" stroke="black" points="255.85,-114 255.85,-124 253.85,-124 253.85,-114 255.85,-114"/>
<polyline fill="none" stroke="black" points="256.85,-119 251.85,-119"/>
</g>
<!-- A3 -->
<g id="node4" class="node">
<title>A3</title>
<polygon fill="none" stroke="black" points="369.61,-137 338.25,-119 369.61,-101 400.98,-119 369.61,-137"/>
<text text-anchor="middle" x="369.61" y="-113.95" font-family="Times,serif" font-size="14.00">A3</text>
</g>
<!-- A0_1&#45;&gt;A3 -->
<g id="edge3" class="edge">
<title>A0_1&#45;&gt;A3</title>
<path fill="none" stroke="black" d="M263.69,-119C274.58,-119 301.94,-119 326,-119"/>
<polygon fill="black" stroke="black" points="259.85,-124 259.85,-114 261.85,-114 261.85,-124 259.85,-124"/>
<polyline fill="none" stroke="black" points="258.85,-119 263.85,-119"/>
<polygon fill="black" stroke="black" points="325.94,-122.5 335.94,-119 325.94,-115.5 325.94,-122.5"/>
</g>
<!-- B1 -->
<g id="node5" class="node">
<title>B1</title>
<polygon fill="none" stroke="black" points="47.36,-52 16.72,-34 47.36,-16 78.01,-34 47.36,-52"/>
<text text-anchor="middle" x="47.36" y="-28.95" font-family="Times,serif" font-size="14.00">B1</text>
</g>
<!-- B2 -->
<g id="node6" class="node">
<title>B2</title>
<polygon fill="none" stroke="black" points="146.09,-52 115.45,-34 146.09,-16 176.74,-34 146.09,-52"/>
<text text-anchor="middle" x="146.09" y="-28.95" font-family="Times,serif" font-size="14.00">B2</text>
</g>
<!-- B1&#45;&gt;B2 -->
<g id="edge4" class="edge">
<title>B1&#45;&gt;B2</title>
<path fill="none" stroke="black" d="M78.97,-34C86.72,-34 95.18,-34 103.37,-34"/>
<polygon fill="black" stroke="black" points="103.17,-37.5 113.17,-34 103.17,-30.5 103.17,-37.5"/>
</g>
<!-- B3 -->
<g id="node7" class="node">
<title>B3</title>
<polygon fill="none" stroke="black" points="257.85,-52 227.21,-34 257.85,-16 288.49,-34 257.85,-52"/>
<text text-anchor="middle" x="257.85" y="-28.95" font-family="Times,serif" font-size="14.00">B3</text>
</g>
<!-- B2&#45;&gt;B3 -->
<g id="edge5" class="edge">
<title>B2&#45;&gt;B3</title>
<path fill="none" stroke="black" d="M177.67,-34C189.21,-34 202.54,-34 214.93,-34"/>
<polygon fill="black" stroke="black" points="214.93,-37.5 224.93,-34 214.93,-30.5 214.93,-37.5"/>
</g>
<!-- B3&#45;&gt;A3 -->
<g id="edge7" class="edge">
<title>B3&#45;&gt;A3</title>
<path fill="none" stroke="black" d="M271.87,-44.08C290.26,-58.32 324.07,-84.51 346.45,-101.84"/>
<polygon fill="black" stroke="black" points="344.02,-104.38 354.07,-107.74 348.3,-98.85 344.02,-104.38"/>
</g>
<!-- B4 -->
<g id="node8" class="node">
<title>B4</title>
<polygon fill="none" stroke="black" points="369.61,-52 338.97,-34 369.61,-16 400.25,-34 369.61,-52"/>
<text text-anchor="middle" x="369.61" y="-28.95" font-family="Times,serif" font-size="14.00">B4</text>
</g>
<!-- B3&#45;&gt;B4 -->
<g id="edge6" class="edge">
<title>B3&#45;&gt;B4</title>
<path fill="none" stroke="black" d="M289.43,-34C300.96,-34 314.3,-34 326.69,-34"/>
<polygon fill="black" stroke="black" points="326.69,-37.5 336.69,-34 326.69,-30.5 326.69,-37.5"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 5.0 KiB

30
img/trpl17-04.svg Normal file
View File

@@ -0,0 +1,30 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
-->
<!-- Pages: 1 -->
<svg height="150pt"
viewBox="0.00 0.00 371.00 442.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 102)">
<polygon fill="white" stroke="none" points="-4,4 -4,-102 85,-102 85,4 -4,4"/>
<!-- fut1 -->
<g id="node1" class="node">
<title>fut1</title>
<polyline fill="none" stroke="black" points="13.12,-71.5 40.88,-71.5"/>
<text text-anchor="start" x="16.12" y="-77.7" font-family="Times,serif" font-size="14.00">fut1</text>
<polygon fill="none" stroke="black" points="13.12,-49 13.12,-71.5 40.88,-71.5 40.88,-49 13.12,-49"/>
<text text-anchor="start" x="23.62" y="-55.2" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="13.12,-26.5 13.12,-49 40.88,-49 40.88,-26.5 13.12,-26.5"/>
<text text-anchor="start" x="23.62" y="-32.7" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="13.12,-4 13.12,-26.5 40.88,-26.5 40.88,-4 13.12,-4"/>
<text text-anchor="start" x="23.25" y="-10.2" font-family="Times,serif" font-size="14.00"> &#160;</text>
</g>
<!-- fut1&#45;&gt;fut1 -->
<g id="edge1" class="edge">
<title>fut1:c&#45;&gt;fut1:target</title>
<path fill="none" stroke="black" d="M27,-15.25C45,-6.25 81,-6.25 81,-26.5 81,-39.11 67.05,-43.87 52.17,-43.49"/>
<polygon fill="black" stroke="black" points="52.66,-40.02 42.34,-42.41 51.89,-46.98 52.66,-40.02"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 1.7 KiB

46
img/trpl17-05.svg Normal file
View File

@@ -0,0 +1,46 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
-->
<!-- Pages: 1 -->
<svg height="200pt"
viewBox="0.00 0.00 767.00 575.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 134)">
<polygon fill="white" stroke="none" points="-4,4 -4,-134 180,-134 180,4 -4,4"/>
<g id="clust1" class="cluster">
<title>%3</title>
</g>
<!-- fut1 -->
<g id="node1" class="node">
<title>fut1</title>
<polygon fill="gray" stroke="none" points="29.12,-20 29.12,-110 56.88,-110 56.88,-20 29.12,-20"/>
<polyline fill="none" stroke="black" points="29.12,-87.5 56.88,-87.5"/>
<text text-anchor="start" x="32.12" y="-93.7" font-family="Times,serif" font-size="14.00">fut1</text>
<polygon fill="none" stroke="black" points="29.12,-65 29.12,-87.5 56.88,-87.5 56.88,-65 29.12,-65"/>
<text text-anchor="start" x="40" y="-71.2" font-family="Times,serif" font-size="14.00">?</text>
<polygon fill="none" stroke="black" points="29.12,-42.5 29.12,-65 56.88,-65 56.88,-42.5 29.12,-42.5"/>
<text text-anchor="start" x="40" y="-48.7" font-family="Times,serif" font-size="14.00">?</text>
<polygon fill="none" stroke="black" points="29.12,-20 29.12,-42.5 56.88,-42.5 56.88,-20 29.12,-20"/>
<text text-anchor="start" x="40" y="-26.2" font-family="Times,serif" font-size="14.00">?</text>
</g>
<!-- fut2 -->
<g id="node2" class="node">
<title>fut2</title>
<polyline fill="none" stroke="black" points="119.12,-87.5 146.88,-87.5"/>
<text text-anchor="start" x="122.12" y="-93.7" font-family="Times,serif" font-size="14.00">fut2</text>
<polygon fill="none" stroke="black" points="119.12,-65 119.12,-87.5 146.88,-87.5 146.88,-65 119.12,-65"/>
<text text-anchor="start" x="129.62" y="-71.2" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="119.12,-42.5 119.12,-65 146.88,-65 146.88,-42.5 119.12,-42.5"/>
<text text-anchor="start" x="129.62" y="-48.7" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="119.12,-20 119.12,-42.5 146.88,-42.5 146.88,-20 119.12,-20"/>
<text text-anchor="start" x="131.12" y="-26.2" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- fut2&#45;&gt;fut1 -->
<g id="edge1" class="edge">
<title>fut2:c&#45;&gt;fut1:c</title>
<path fill="none" stroke="black" d="M132,-31.25C132,-31.25 93.6,-41.07 67.54,-47.73"/>
<polygon fill="black" stroke="black" points="66.9,-44.28 58.07,-50.15 68.63,-51.07 66.9,-44.28"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 2.6 KiB

69
img/trpl17-06.svg Normal file
View File

@@ -0,0 +1,69 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
-->
<!-- Pages: 1 -->
<svg height="200pt"
viewBox="0.00 0.00 906 771.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 181)">
<polygon fill="white" stroke="none" points="-4,4 -4,-181 213.5,-181 213.5,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_box</title>
</g>
<g id="clust2" class="cluster">
<title>cluster_box_internal</title>
<polygon fill="none" stroke="black" points="82,-88 82,-132 111.5,-132 111.5,-88 82,-88"/>
<text text-anchor="middle" x="96.75" y="-114.7" font-family="Times,serif" font-size="14.00">b1</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_deref</title>
<polygon fill="none" stroke="black" stroke-width="2" points="131.5,-8 131.5,-169 201.5,-169 201.5,-8 131.5,-8"/>
<text text-anchor="middle" x="166.5" y="-151.7" font-family="Times,serif" font-size="14.00">pinned</text>
</g>
<!-- pinned_box -->
<g id="node1" class="node">
<title>pinned_box</title>
<polyline fill="none" stroke="black" points="15,-109 39,-109"/>
<text text-anchor="start" x="18" y="-115.2" font-family="Times,serif" font-size="14.00">Pin</text>
<polygon fill="none" stroke="black" points="15,-86.5 15,-109 39,-109 39,-86.5 15,-86.5"/>
<text text-anchor="start" x="25.12" y="-92.7" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- pin -->
<g id="node2" class="node">
<title>pin</title>
<ellipse fill="black" stroke="black" cx="96.25" cy="-98" rx="1.8" ry="1.8"/>
</g>
<!-- pinned_box&#45;&gt;pin -->
<g id="edge1" class="edge">
<title>pinned_box:c&#45;&gt;pin</title>
<path fill="none" stroke="black" d="M28,-97.75C28,-97.75 85.15,-97.96 94.08,-98"/>
</g>
<!-- box -->
<g id="node3" class="node">
<title>box</title>
<polyline fill="none" stroke="black" points="156,-109.75 177,-109.75"/>
<text text-anchor="start" x="159" y="-115.95" font-family="Times,serif" font-size="14.00">fut</text>
<polygon fill="none" stroke="black" points="156,-87.25 156,-109.75 177,-109.75 177,-87.25 156,-87.25"/>
<text text-anchor="start" x="163.12" y="-93.45" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="156,-64.75 156,-87.25 177,-87.25 177,-64.75 156,-64.75"/>
<text text-anchor="start" x="164.62" y="-70.95" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="156,-42.25 156,-64.75 177,-64.75 177,-42.25 156,-42.25"/>
<text text-anchor="start" x="160.88" y="-48.45" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="156,-19.75 156,-42.25 177,-42.25 177,-19.75 156,-19.75"/>
<text text-anchor="start" x="163.12" y="-25.95" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- pin&#45;&gt;box -->
<g id="edge2" class="edge">
<title>pin&#45;&gt;box:target</title>
<path fill="none" stroke="black" d="M97.25,-98C97.25,-98 120.73,-98.37 143.58,-98.47"/>
<polygon fill="black" stroke="black" points="143.48,-101.97 153.49,-98.5 143.5,-94.97 143.48,-101.97"/>
</g>
<!-- box&#45;&gt;box -->
<g id="edge3" class="edge">
<title>box:c&#45;&gt;box:internal</title>
<path fill="none" stroke="black" d="M166.5,-76C145.79,-85 104.38,-85 104.38,-53.5 104.38,-31.08 125.36,-24.62 144.93,-26"/>
<polygon fill="black" stroke="black" points="144.21,-29.43 154.62,-27.44 145.24,-22.51 144.21,-29.43"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 3.5 KiB

86
img/trpl17-07.svg Normal file
View File

@@ -0,0 +1,86 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
-->
<!-- Pages: 1 -->
<svg height="300pt"
viewBox="0.00 0.00 1131.00 1000.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 236)">
<polygon fill="white" stroke="none" points="-4,4 -4,-236 267.4,-236 267.4,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_not_fut</title>
</g>
<g id="clust2" class="cluster">
<title>cluster_boxes</title>
</g>
<g id="clust3" class="cluster">
<title>cluster_box_1</title>
</g>
<g id="clust4" class="cluster">
<title>cluster_box_2_internal</title>
<polygon fill="lightgrey" stroke="black" points="118.45,-156 118.45,-200 147.95,-200 147.95,-156 118.45,-156"/>
<text text-anchor="middle" x="133.2" y="-182.7" font-family="Times,serif" font-size="14.00">b1</text>
</g>
<g id="clust5" class="cluster">
<title>cluster_box_2</title>
</g>
<g id="clust6" class="cluster">
<title>cluster_box_2_internal</title>
<polygon fill="none" stroke="black" points="118.45,-88 118.45,-132 147.95,-132 147.95,-88 118.45,-88"/>
<text text-anchor="middle" x="133.2" y="-114.7" font-family="Times,serif" font-size="14.00">b2</text>
</g>
<g id="clust7" class="cluster">
<title>cluster_target</title>
<polygon fill="none" stroke="black" stroke-width="2" points="185.4,-8 185.4,-169 255.4,-169 255.4,-8 185.4,-8"/>
<text text-anchor="middle" x="220.4" y="-151.7" font-family="Times,serif" font-size="14.00">pinned</text>
</g>
<!-- pin -->
<g id="node1" class="node">
<title>pin</title>
<polyline fill="none" stroke="black" points="31,-137 55,-137"/>
<text text-anchor="start" x="34" y="-143.2" font-family="Times,serif" font-size="14.00">Pin</text>
<polygon fill="none" stroke="black" points="31,-114.5 31,-137 55,-137 55,-114.5 31,-114.5"/>
<text text-anchor="start" x="41.12" y="-120.7" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- box1 -->
<!-- pin&#45;&gt;box1 -->
<!-- box2 -->
<g id="node3" class="node">
<title>box2</title>
<ellipse fill="black" stroke="black" cx="132.7" cy="-98" rx="1.8" ry="1.8"/>
</g>
<!-- pin&#45;&gt;box2 -->
<g id="edge3" class="edge">
<title>pin:c&#45;&gt;box2</title>
<path fill="none" stroke="black" d="M44,-125.75C44,-125.75 119.8,-101.77 130.46,-98.39"/>
</g>
<!-- box1&#45;&gt;box2 -->
<!-- fut -->
<g id="node4" class="node">
<title>fut</title>
<polyline fill="none" stroke="black" points="209.9,-109.75 230.9,-109.75"/>
<text text-anchor="start" x="212.9" y="-115.95" font-family="Times,serif" font-size="14.00">fut</text>
<polygon fill="none" stroke="black" points="209.9,-87.25 209.9,-109.75 230.9,-109.75 230.9,-87.25 209.9,-87.25"/>
<text text-anchor="start" x="217.03" y="-93.45" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="209.9,-64.75 209.9,-87.25 230.9,-87.25 230.9,-64.75 209.9,-64.75"/>
<text text-anchor="start" x="218.53" y="-70.95" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="209.9,-42.25 209.9,-64.75 230.9,-64.75 230.9,-42.25 209.9,-42.25"/>
<text text-anchor="start" x="214.78" y="-48.45" font-family="Times,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="209.9,-19.75 209.9,-42.25 230.9,-42.25 230.9,-19.75 209.9,-19.75"/>
<text text-anchor="start" x="217.03" y="-25.95" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- box2&#45;&gt;fut -->
<g id="edge4" class="edge">
<title>box2&#45;&gt;fut:target</title>
<path fill="none" stroke="black" d="M133.7,-98C133.7,-98 166.84,-98.4 197.7,-98.48"/>
<polygon fill="black" stroke="black" points="197.38,-101.98 207.39,-98.5 197.39,-94.98 197.38,-101.98"/>
</g>
<!-- fut&#45;&gt;fut -->
<g id="edge5" class="edge">
<title>fut:c&#45;&gt;fut:internal</title>
<path fill="none" stroke="black" d="M220.4,-76C196.78,-85 149.55,-85 149.55,-53.5 149.55,-30.13 175.54,-24.1 198.61,-26.22"/>
<polygon fill="black" stroke="black" points="198,-29.66 208.41,-27.71 199.05,-22.74 198,-29.66"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 4.1 KiB

57
img/trpl17-08.svg Normal file
View File

@@ -0,0 +1,57 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
-->
<!-- Pages: 1 -->
<svg height="100pt"
viewBox="0.00 0.00 1113.00 421.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 97)">
<polygon fill="white" stroke="none" points="-4,4 -4,-97 263.1,-97 263.1,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_deref</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="82,-8 82,-85 251.1,-85 251.1,-8 82,-8"/>
<text text-anchor="middle" x="166.55" y="-67.7" font-family="Times,serif" font-size="14.00">String</text>
</g>
<!-- pinned_box -->
<g id="node1" class="node">
<title>pinned_box</title>
<polyline fill="none" stroke="black" points="15,-45 39,-45"/>
<text text-anchor="start" x="18" y="-51.2" font-family="Times,serif" font-size="14.00">Pin</text>
<polygon fill="none" stroke="black" points="15,-22.5 15,-45 39,-45 39,-22.5 15,-22.5"/>
<text text-anchor="start" x="25.12" y="-28.7" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- pin -->
<g id="node2" class="node">
<title>pin</title>
<ellipse fill="black" stroke="black" cx="91.8" cy="-34" rx="1.8" ry="1.8"/>
</g>
<!-- pinned_box&#45;&gt;pin -->
<g id="edge1" class="edge">
<title>pinned_box:c&#45;&gt;pin</title>
<path fill="none" stroke="black" d="M28,-33.75C28,-33.75 81.37,-33.96 89.71,-34"/>
</g>
<!-- fut -->
<g id="node3" class="node">
<title>fut</title>
<polygon fill="none" stroke="black" points="137.6,-22.75 137.6,-45.25 178.1,-45.25 178.1,-22.75 137.6,-22.75"/>
<text text-anchor="start" x="140.6" y="-28.95" font-family="Times,serif" font-size="14.00">5usize</text>
<polygon fill="none" stroke="black" points="178.1,-22.75 178.1,-45.25 190.85,-45.25 190.85,-22.75 178.1,-22.75"/>
<text text-anchor="start" x="181.1" y="-28.95" font-family="Times,serif" font-size="14.00">h</text>
<polygon fill="none" stroke="black" points="190.85,-22.75 190.85,-45.25 202.85,-45.25 202.85,-22.75 190.85,-22.75"/>
<text text-anchor="start" x="193.85" y="-28.95" font-family="Times,serif" font-size="14.00">e</text>
<polygon fill="none" stroke="black" points="202.85,-22.75 202.85,-45.25 212.6,-45.25 212.6,-22.75 202.85,-22.75"/>
<text text-anchor="start" x="205.85" y="-28.95" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="212.6,-22.75 212.6,-45.25 222.35,-45.25 222.35,-22.75 212.6,-22.75"/>
<text text-anchor="start" x="215.6" y="-28.95" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="222.35,-22.75 222.35,-45.25 235.1,-45.25 235.1,-22.75 222.35,-22.75"/>
<text text-anchor="start" x="225.35" y="-28.95" font-family="Times,serif" font-size="14.00">o</text>
</g>
<!-- pin&#45;&gt;fut -->
<g id="edge2" class="edge">
<title>pin&#45;&gt;fut:target</title>
<path fill="none" stroke="black" d="M92.8,-34C92.8,-34 112.11,-34 125.09,-34"/>
<polygon fill="black" stroke="black" points="125.09,-37.5 135.09,-34 125.09,-30.5 125.09,-37.5"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 3.1 KiB

85
img/trpl17-09.svg Normal file
View File

@@ -0,0 +1,85 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
-->
<!-- Pages: 1 -->
<svg height="200pt"
viewBox="0.00 0.00 1557.00 777.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 182.5)">
<polygon fill="white" stroke="none" points="-4,4 -4,-182.5 369.6,-182.5 369.6,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_both</title>
</g>
<g id="clust2" class="cluster">
<title>cluster_deref</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="154,-16 154,-109 349.6,-109 349.6,-16 154,-16"/>
<text text-anchor="middle" x="251.8" y="-91.7" font-family="Times,serif" font-size="14.00">String</text>
</g>
<!-- pinned_box -->
<g id="node1" class="node">
<title>pinned_box</title>
<polyline fill="none" stroke="black" points="59,-152 83,-152"/>
<text text-anchor="start" x="62" y="-158.2" font-family="Times,serif" font-size="14.00">Pin</text>
<polygon fill="none" stroke="black" points="59,-129.5 59,-152 83,-152 83,-129.5 59,-129.5"/>
<text text-anchor="start" x="69.12" y="-135.7" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- pin -->
<g id="node3" class="node">
<title>pin</title>
<ellipse fill="black" stroke="black" cx="163.8" cy="-57" rx="1.8" ry="1.8"/>
</g>
<!-- pinned_box&#45;&gt;pin -->
<g id="edge1" class="edge">
<title>pinned_box:c&#45;&gt;pin</title>
<path fill="none" stroke="black" d="M72,-140.75C72,-140.75 151.8,-67.14 161.78,-57.94"/>
</g>
<!-- string1 -->
<g id="node2" class="node">
<title>string1</title>
<polygon fill="lightgray" stroke="none" points="24,-39 24,-83 118,-83 118,-39 24,-39"/>
<polyline fill="none" stroke="black" points="24,-61 118,-61"/>
<text text-anchor="start" x="65" y="-66.7" font-family="Times,serif" font-size="14.00">s1</text>
<polygon fill="none" stroke="black" points="24,-39 24,-61 64,-61 64,-39 24,-39"/>
<text text-anchor="start" x="26.75" y="-44.7" font-family="Times,serif" font-size="14.00">5usize</text>
<polygon fill="none" stroke="black" points="64,-39 64,-61 76,-61 76,-39 64,-39"/>
<text text-anchor="start" x="66.62" y="-44.7" font-family="Times,serif" font-size="14.00">h</text>
<polygon fill="none" stroke="black" points="76,-39 76,-61 88,-61 88,-39 76,-39"/>
<text text-anchor="start" x="79" y="-44.7" font-family="Times,serif" font-size="14.00">e</text>
<polygon fill="none" stroke="black" points="88,-39 88,-61 97,-61 97,-39 88,-39"/>
<text text-anchor="start" x="90.62" y="-44.7" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="97,-39 97,-61 106,-61 106,-39 97,-39"/>
<text text-anchor="start" x="99.62" y="-44.7" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="106,-39 106,-61 118,-61 118,-39 106,-39"/>
<text text-anchor="start" x="108.62" y="-44.7" font-family="Times,serif" font-size="14.00">o</text>
</g>
<!-- string2 -->
<g id="node4" class="node">
<title>string2</title>
<polyline fill="none" stroke="black" points="209.6,-50 333.6,-50"/>
<text text-anchor="start" x="265.6" y="-55.7" font-family="Times,serif" font-size="14.00">s2</text>
<polygon fill="none" stroke="black" points="209.6,-28 209.6,-50 249.6,-50 249.6,-28 209.6,-28"/>
<text text-anchor="start" x="212.35" y="-33.7" font-family="Times,serif" font-size="14.00">7usize</text>
<polygon fill="none" stroke="black" points="249.6,-28 249.6,-50 261.6,-50 261.6,-28 249.6,-28"/>
<text text-anchor="start" x="252.23" y="-33.7" font-family="Times,serif" font-size="14.00">g</text>
<polygon fill="none" stroke="black" points="261.6,-28 261.6,-50 273.6,-50 273.6,-28 261.6,-28"/>
<text text-anchor="start" x="264.23" y="-33.7" font-family="Times,serif" font-size="14.00">o</text>
<polygon fill="none" stroke="black" points="273.6,-28 273.6,-50 285.6,-50 285.6,-28 273.6,-28"/>
<text text-anchor="start" x="276.23" y="-33.7" font-family="Times,serif" font-size="14.00">o</text>
<polygon fill="none" stroke="black" points="285.6,-28 285.6,-50 297.6,-50 297.6,-28 285.6,-28"/>
<text text-anchor="start" x="288.23" y="-33.7" font-family="Times,serif" font-size="14.00">d</text>
<polygon fill="none" stroke="black" points="297.6,-28 297.6,-50 309.6,-50 309.6,-28 297.6,-28"/>
<text text-anchor="start" x="300.23" y="-33.7" font-family="Times,serif" font-size="14.00">b</text>
<polygon fill="none" stroke="black" points="309.6,-28 309.6,-50 321.6,-50 321.6,-28 309.6,-28"/>
<text text-anchor="start" x="312.23" y="-33.7" font-family="Times,serif" font-size="14.00">y</text>
<polygon fill="none" stroke="black" points="321.6,-28 321.6,-50 333.6,-50 333.6,-28 321.6,-28"/>
<text text-anchor="start" x="324.6" y="-33.7" font-family="Times,serif" font-size="14.00">e</text>
</g>
<!-- pin&#45;&gt;string2 -->
<g id="edge2" class="edge">
<title>pin&#45;&gt;string2:target</title>
<path fill="none" stroke="black" d="M164.8,-57C164.8,-57 185.03,-48.68 198,-43.36"/>
<polygon fill="black" stroke="black" points="199.28,-46.61 207.2,-39.58 196.62,-40.14 199.28,-46.61"/>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 5.1 KiB

BIN
img/trpl21-01.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 8.3 KiB