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

build: 2026-06-22

Browse Source
This commit is contained in:
Aditya Gupta
2026-06-22 21:17:36 +05:30
commit dbddc0ce2d
202 changed files with 97026 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

72
build/img/ferris/does_not_compile.svg Normal file
View File

@@ -0,0 +1,72 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1259px" height="847px" viewBox="0 0 1259 847" enable-background="new 0 0 1259 847" xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1259" height="847"/>-->
<path fill="#8F1F1D" d="M706.403,338.05c-131.633,0-251.228,15.825-339.77,41.615v220.298
c88.542,25.79,208.137,41.614,339.77,41.614c150.657,0,285.535-20.729,376.134-53.402V391.457
C991.938,358.781,857.06,338.05,706.403,338.05"/>
<path fill="#8F1F1D" d="M1088.423,537.442c-3.856-10.663-4.629-24.154-1.36-37.162c5.85-23.289,22.421-36.198,37.013-28.833
c3.618,1.827,6.773,4.73,9.387,8.418c0.239-0.001,0.479,0,0.715,0.016c0,0,44.552,53.106,3.313,116.003
c-0.896,3.569-76.534,91.718-94.043,94.524C1031.987,692.244,1058.338,600.41,1088.423,537.442"/>
<path fill="#8F1F1D" d="M357.479,527.021c5.3-9.631,7.158-22.788,4.217-36.426c-5.266-24.416-23.91-41.109-41.642-37.285
c-4.398,0.948-8.325,3.072-11.666,6.099c-0.282-0.059-0.564-0.113-0.845-0.153c0,0-56.292,41.952-12.057,113.924
c0.805,3.741,83.851,108.838,104.311,115.764C413.188,693.475,388.55,596.418,357.479,527.021"/>
<path fill="#E23A26" d="M280.467,535.066l0.007,0.015C280.659,535.226,280.831,535.357,280.467,535.066"/>
<path fill="#E33B26" d="M1174.119,457.903c-0.88-3.064-1.756-6.126-2.662-9.162l30.683-44.451c3.13-4.522,3.771-10.398,1.73-15.555
c-2.04-5.13-6.49-8.81-11.76-9.71l-51.887-8.805c-2.008-4.102-4.115-8.142-6.229-12.15l21.797-49.903
c2.243-5.087,1.769-10.995-1.203-15.608c-2.961-4.636-7.99-7.344-13.349-7.133l-52.656,1.913c-2.727-3.55-5.496-7.068-8.322-10.521
l12.102-53.49c1.225-5.433-0.322-11.118-4.104-15.064c-3.762-3.932-9.229-5.559-14.426-4.283l-51.289,12.608
c-3.321-2.935-6.699-5.833-10.114-8.673l1.849-54.914c0.197-5.559-2.394-10.842-6.845-13.925
c-4.445-3.104-10.093-3.573-14.955-1.266l-47.848,22.747c-3.854-2.21-7.728-4.4-11.644-6.517l-8.455-54.115
c-0.857-5.483-4.386-10.139-9.326-12.266c-4.923-2.137-10.568-1.447-14.891,1.808l-42.659,32.007
c-4.2-1.395-8.419-2.732-12.692-4.011l-18.386-51.316c-1.87-5.229-6.182-9.071-11.438-10.151c-5.238-1.072-10.63,0.742-14.263,4.802
L764.97,100.97c-4.342-0.5-8.685-0.956-13.043-1.331l-27.723-46.713c-2.811-4.732-7.771-7.612-13.116-7.612
c-5.334,0-10.304,2.88-13.09,7.612l-27.733,46.713c-4.358,0.375-8.722,0.831-13.056,1.331l-35.91-40.171
c-3.636-4.06-9.047-5.874-14.268-4.802c-5.255,1.092-9.573,4.922-11.433,10.151l-18.402,51.316
c-4.26,1.279-8.481,2.627-12.691,4.011l-42.644-32.007c-4.336-3.266-9.98-3.955-14.916-1.808c-4.919,2.127-8.461,6.783-9.313,12.266
l-8.461,54.115c-3.914,2.117-7.789,4.294-11.653,6.517l-47.842-22.747c-4.858-2.316-10.529-1.838-14.954,1.266
c-4.445,3.083-7.042,8.366-6.84,13.925l1.835,54.914c-3.405,2.84-6.774,5.738-10.112,8.673l-51.279-12.608
c-5.211-1.265-10.67,0.351-14.441,4.283c-3.795,3.946-5.332,9.631-4.113,15.064l12.079,53.49c-2.802,3.467-5.575,6.971-8.293,10.521
l-52.655-1.913c-5.314-0.157-10.386,2.497-13.356,7.133c-2.974,4.613-3.425,10.521-1.211,15.608l21.814,49.903
c-2.119,4.008-4.224,8.048-6.249,12.15l-51.882,8.805c-5.271,0.888-9.715,4.566-11.765,9.71c-2.037,5.157-1.375,11.033,1.735,15.555
l30.69,44.451c-0.236,0.784-0.455,1.576-0.69,2.364l-16.863,17.911l45.341,64.05c0,0,435.152,200.731,838.797,3.396
C1163.372,528.189,1174.119,457.903,1174.119,457.903"/>
<path d="M788.629,436.277c0,0,54.108-46.602,95.626,11.5c0,0,29.173,74.328-12.593,104.708c0,0-67.353,41.473-95.627-11.5
C776.035,540.985,739.67,497.66,788.629,436.277"/>
<path fill="#FFFFFF" d="M843.648,464.356c-2.452,20.385-16.456,35.467-31.276,33.684c-14.817-1.781-24.846-19.755-22.395-40.14
c2.452-20.385,16.457-35.468,31.274-33.687C836.071,425.997,846.1,443.971,843.648,464.356"/>
<path d="M572.949,399.315c0,0,86.384-26.449,99.021,57.297c0,0,12.086,97.294-79.356,91.705
C592.613,548.317,479.508,512.09,572.949,399.315"/>
<rect x="181" y="45" fill="none" width="1060" height="782"/>
<path fill="#FFFFFF" d="M611.925,441.324c-2.528,21.021-16.969,36.581-32.257,34.742c-15.281-1.837-25.624-20.378-23.095-41.399
c2.529-21.026,16.973-36.581,32.253-34.743C604.113,401.763,614.454,420.298,611.925,441.324"/>
<path fill="#E33B26" d="M292.602,544.216c10.967-12.463,37.611-27.557,35.57-46.282c-3.653-33.526-31.456-57.999-62.099-54.658
c-7.599,0.827-14.658,3.292-20.923,7.035c-0.463-0.106-0.925-0.211-1.388-0.294c0,0-103.632,50.873-44.564,152.657
c0.557,5.137,117.847,155.668,150.787,167.131C371.544,777.307,330.074,641.165,292.602,544.216"/>
<path fill="#E33B26" d="M1134.549,539.673c-12.692-10.7-46.162-20.418-46.92-39.238c-1.355-33.697,22.512-62.021,53.312-63.26
c7.638-0.308,14.983,1.083,21.734,3.857c0.442-0.174,0.884-0.347,1.329-0.497c0,0,110.025,34.951,66.695,144.366
c0.21,5.163-93.468,171.416-124.345,187.635C1086.146,783.151,1111.861,641.105,1134.549,539.673"/>
<rect x="181.06" y="45.314" fill="none" width="1059.75" height="781.686"/>
<path fill="#E33B26" d="M372.142,545.559c0,0-1.383,137.296,133.166,167.933l28.054-56.363c0,0-97.495,9.431-104.995-111.569
H372.142"/>
<rect x="181" y="45" fill="none" width="1060" height="782"/>
<path fill="#E33B26" d="M1057.362,537.246c0,0,1.382,137.296-133.167,167.933l-28.055-56.363c0,0,97.495,9.431,104.995-111.569
H1057.362"/>
<path fill="#E33B26" d="M960.167,677.279c-20.25-48.941-85.595-68.373-145.951-43.399c-53.126,21.98-84.637,71.031-77.624,115.845
c41.946-0.652,86.94-3.371,130.736-9.718c0,0-25.837,41.763-63.857,78.211c25.566,6.599,55.383,4.768,84.076-7.104
C947.904,786.141,980.417,726.221,960.167,677.279"/>
<path fill="#E33B26" d="M585.746,745.985c0,0,55.203,7.295,130.67,9.155c6.61-47.511-29.38-97.792-86.801-117.242
c-63.438-21.488-128.989,2.792-146.414,54.231c-17.425,51.44,19.876,110.561,83.314,132.049
c28.121,9.526,56.653,10.049,81.229,3.207C610.833,790.881,585.746,745.985,585.746,745.985"/>
<rect x="181.06" y="45.314" fill="none" width="1059.75" height="781.686"/>
<g>
<path style="stroke:#ffffff;stroke-width:20" d="M92.314,318.146l0.072-12.563c-0.359-24.665,8.95-49.384,31.787-73.989c16.267-18.129,29.512-33.493,30.216-49.411
c0.747-16.883-9.835-28.95-33.932-30.499c-15.918-0.704-35.468,4.231-48.394,12.359l-14.075-53.303
c18.296-9.34,47.182-17.729,81.429-16.214c63.672,2.816,91.538,39.33,89.768,79.366c-1.621,36.659-25.84,59.753-45.066,79.202
c-18.24,19.009-26.789,37.48-27.267,59.207l-0.384,8.683L92.314,318.146z M76.808,384.64c1.152-26.048,19.789-43.105,44.872-41.997
c26.047,1.152,42.14,19.746,41.471,45.815c-1.109,25.083-18.824,43.148-45.353,41.975C92.232,429.303,75.698,409.723,76.808,384.64
z"/>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.6 KiB

75
build/img/ferris/not_desired_behavior.svg Normal file
View File

@@ -0,0 +1,75 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1354px" height="819px" viewBox="0 0 1354 819" enable-background="new 0 0 1354 819" xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1354" height="819"/>-->
<path fill="#8F1F1D" d="M803.403,312.05c-131.633,0-251.228,15.825-339.77,41.615v220.298
c88.542,25.79,208.137,41.614,339.77,41.614c150.657,0,285.535-20.729,376.134-53.402V365.457
C1088.938,332.781,954.06,312.05,803.403,312.05"/>
<path fill="#8F1F1D" d="M1185.423,511.442c-3.856-10.663-4.629-24.154-1.36-37.162c5.85-23.289,22.421-36.198,37.013-28.833
c3.618,1.827,6.773,4.73,9.387,8.418c0.239-0.001,0.479,0,0.715,0.016c0,0,44.552,53.106,3.313,116.003
c-0.896,3.569-76.534,91.718-94.043,94.524C1128.987,666.244,1155.338,574.41,1185.423,511.442"/>
<path fill="#8F1F1D" d="M454.479,501.021c5.3-9.631,7.158-22.788,4.217-36.426c-5.266-24.416-23.91-41.109-41.642-37.285
c-4.398,0.948-8.325,3.072-11.666,6.099c-0.282-0.059-0.564-0.113-0.845-0.153c0,0-56.292,41.952-12.057,113.924
c0.805,3.741,83.851,108.838,104.311,115.764C510.188,667.475,485.55,570.418,454.479,501.021"/>
<path fill="#E23A26" d="M375.467,507.066l0.007,0.015C375.659,507.226,375.831,507.357,375.467,507.066"/>
<path fill="#E33B26" d="M1271.119,431.903c-0.88-3.064-1.756-6.126-2.662-9.162l30.683-44.451c3.13-4.522,3.771-10.398,1.73-15.555
c-2.04-5.13-6.49-8.81-11.76-9.71l-51.887-8.805c-2.008-4.102-4.115-8.142-6.229-12.15l21.797-49.903
c2.243-5.087,1.769-10.995-1.203-15.608c-2.961-4.636-7.99-7.344-13.349-7.133l-52.656,1.913c-2.727-3.55-5.496-7.068-8.322-10.521
l12.102-53.49c1.225-5.433-0.322-11.118-4.104-15.064c-3.762-3.932-9.229-5.559-14.426-4.283l-51.289,12.608
c-3.321-2.935-6.699-5.833-10.114-8.673l1.849-54.914c0.197-5.559-2.394-10.842-6.845-13.925
c-4.445-3.104-10.093-3.573-14.955-1.266l-47.848,22.747c-3.854-2.21-7.728-4.4-11.644-6.517l-8.455-54.115
c-0.857-5.483-4.386-10.139-9.326-12.266c-4.923-2.137-10.568-1.447-14.891,1.808l-42.659,32.007
c-4.2-1.395-8.419-2.732-12.692-4.011l-18.386-51.316c-1.87-5.229-6.182-9.071-11.438-10.151c-5.238-1.072-10.63,0.742-14.263,4.802
L861.97,74.97c-4.342-0.5-8.685-0.956-13.043-1.331l-27.723-46.713c-2.811-4.732-7.771-7.612-13.116-7.612
c-5.334,0-10.304,2.88-13.09,7.612l-27.733,46.713c-4.358,0.375-8.722,0.831-13.056,1.331l-35.91-40.171
c-3.636-4.06-9.047-5.874-14.268-4.802c-5.255,1.092-9.573,4.922-11.433,10.151l-18.402,51.316
c-4.26,1.279-8.481,2.627-12.691,4.011l-42.644-32.007c-4.336-3.266-9.98-3.955-14.916-1.808c-4.919,2.127-8.461,6.783-9.313,12.266
l-8.461,54.115c-3.914,2.117-7.789,4.294-11.653,6.517l-47.842-22.747c-4.858-2.316-10.529-1.838-14.954,1.266
c-4.445,3.083-7.042,8.366-6.84,13.925l1.835,54.914c-3.405,2.84-6.774,5.738-10.112,8.673l-51.279-12.608
c-5.211-1.265-10.67,0.351-14.441,4.283c-3.795,3.946-5.332,9.631-4.113,15.064l12.079,53.49c-2.802,3.467-5.575,6.971-8.293,10.521
l-52.655-1.913c-5.314-0.157-10.386,2.497-13.356,7.133c-2.974,4.613-3.425,10.521-1.211,15.608l21.814,49.903
c-2.119,4.008-4.224,8.048-6.249,12.15l-51.882,8.805c-5.271,0.888-9.715,4.566-11.765,9.71c-2.037,5.157-1.375,11.033,1.735,15.555
l30.69,44.451c-0.236,0.784-0.455,1.576-0.69,2.364l-16.863,17.911l45.341,64.05c0,0,435.152,200.731,838.797,3.396
C1260.372,502.189,1271.119,431.903,1271.119,431.903"/>
<path d="M886.303,395.759c0,0,48.157-52.729,96.315,0c0,0,37.84,70.312,0,105.463c0,0-61.917,49.218-96.315,0
C886.303,501.222,845.024,462.55,886.303,395.759"/>
<path fill="#FFFFFF" d="M942.057,415.32c0,20.532-12.103,37.179-27.029,37.179c-14.924,0-27.027-16.646-27.027-37.179
s12.104-37.18,27.027-37.18C929.954,378.14,942.057,394.788,942.057,415.32"/>
<path d="M671.365,381.361c0,0,82.608-36.576,105.154,45.062c0,0,23.618,95.154-67.837,100.525
C708.682,526.948,592.06,504.486,671.365,381.361"/>
<rect x="278" y="19" fill="none" width="1060" height="782"/>
<g>
<defs>
<rect id="SVGID_1_" x="278.06" y="19.314" width="1059.75" height="781.686"/>
</defs>
<clipPath id="SVGID_2_">
<use xlink:href="#SVGID_1_" overflow="visible"/>
</clipPath>
<path clip-path="url(#SVGID_2_)" fill="#FFFFFF" d="M712.855,416.668c0,21.173-12.48,38.346-27.877,38.346
c-15.391,0-27.874-17.173-27.874-38.346c0-21.178,12.483-38.346,27.874-38.346C700.375,378.322,712.855,395.49,712.855,416.668"/>
<path clip-path="url(#SVGID_2_)" fill="#E33B26" d="M389.602,518.216c10.967-12.463,37.611-27.557,35.57-46.282
c-3.653-33.526-31.456-57.999-62.099-54.658c-7.599,0.827-14.658,3.292-20.923,7.035c-0.463-0.106-0.925-0.211-1.388-0.294
c0,0-103.632,50.873-44.564,152.657c0.557,5.137,117.847,155.668,150.787,167.131C468.544,751.307,427.074,615.165,389.602,518.216
"/>
<path clip-path="url(#SVGID_2_)" fill="#E33B26" d="M1231.549,513.673c-12.692-10.7-46.162-20.418-46.92-39.238
c-1.355-33.697,22.512-62.021,53.312-63.26c7.638-0.308,14.983,1.083,21.734,3.857c0.442-0.174,0.884-0.347,1.329-0.497
c0,0,110.025,34.951,66.695,144.366c0.21,5.163-93.468,171.416-124.345,187.635
C1183.146,757.151,1208.861,615.105,1231.549,513.673"/>
</g>
<rect x="278" y="19" fill="none" width="1060" height="782"/>
<path fill="#E33B26" d="M1154.362,514.558c0,0,1.382,137.296-133.167,167.933l-28.055-56.363c0,0,97.495,9.431,104.995-111.569
H1154.362"/>
<path fill="#E33B26" d="M1057.167,654.591c-20.25-48.941-85.595-68.373-145.951-43.399c-53.126,21.98-84.637,71.031-77.624,115.845
c41.946-0.652,86.94-3.371,130.736-9.718c0,0-25.837,41.763-63.857,78.211c25.566,6.599,55.383,4.768,84.076-7.104
C1044.904,763.452,1077.417,703.532,1057.167,654.591"/>
<g>
<path fill="#E33B26" d="M396.635,512.763c0,0-120.426,65.951-210.88-38.262l36.479-51.313c0,0,37.649,90.426,147.893,39.991
L396.635,512.763"/>
<path fill="#E33B26" d="M144.038,392.655c0,0-46.915-29.995-114.487-63.65C3.436,369.241,14.735,430.034,58.509,471.979
c48.361,46.34,118.025,52.115,155.601,12.901c37.576-39.214,28.833-108.569-19.528-154.908
c-21.437-20.543-47.061-33.103-72.221-37.316C140.333,341.359,144.038,392.655,144.038,392.655"/>
</g>
<rect x="278.06" y="19.314" fill="none" width="1059.75" height="781.686"/>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.2 KiB

70
build/img/ferris/panics.svg Normal file
View File

@@ -0,0 +1,70 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1434.979px" height="947px" viewBox="0 0 1434.979 947" enable-background="new 0 0 1434.979 947" xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1434.979" height="947"/>-->
<path fill="#8F1F1D" d="M712.827,368.579c-131.633,0-251.228,15.825-339.77,41.615v220.298
c88.542,25.79,208.137,41.614,339.77,41.614c150.657,0,285.535-20.729,376.134-53.402V421.986
C998.361,389.311,863.483,368.579,712.827,368.579"/>
<path fill="#8F1F1D" d="M1094.847,567.972c-3.856-10.663-4.629-24.154-1.36-37.162c5.85-23.289,22.421-36.198,37.013-28.833
c3.618,1.827,6.773,4.73,9.387,8.418c0.239-0.001,0.479,0,0.715,0.016c0,0,44.552,53.106,3.313,116.003
c-0.896,3.569-76.534,91.718-94.043,94.524C1038.411,722.773,1064.762,630.939,1094.847,567.972"/>
<path fill="#8F1F1D" d="M363.903,557.551c5.3-9.631,7.158-22.788,4.217-36.426c-5.266-24.416-23.91-41.109-41.642-37.285
c-4.398,0.948-8.325,3.072-11.666,6.099c-0.282-0.059-0.564-0.113-0.845-0.153c0,0-56.292,41.952-12.057,113.924
c0.805,3.741,83.851,108.838,104.311,115.764C419.612,724.004,394.974,626.947,363.903,557.551"/>
<path fill="#E23A26" d="M284.891,563.596l0.007,0.015C285.083,563.755,285.255,563.887,284.891,563.596"/>
<path fill="#E33B26" d="M1180.543,488.433c-0.88-3.064-1.756-6.126-2.662-9.162l30.683-44.451c3.13-4.522,3.771-10.398,1.73-15.555
c-2.04-5.13-6.49-8.81-11.76-9.71l-51.887-8.805c-2.008-4.102-4.115-8.142-6.229-12.15l21.797-49.903
c2.243-5.087,1.769-10.995-1.203-15.608c-2.961-4.636-7.99-7.344-13.349-7.133l-52.656,1.913c-2.727-3.55-5.496-7.068-8.322-10.521
l12.102-53.49c1.225-5.433-0.322-11.118-4.104-15.064c-3.762-3.932-9.229-5.559-14.426-4.283l-51.289,12.608
c-3.321-2.935-6.699-5.833-10.114-8.673l1.849-54.914c0.197-5.559-2.394-10.842-6.845-13.925
c-4.445-3.104-10.093-3.573-14.955-1.266l-47.848,22.747c-3.854-2.21-7.728-4.4-11.644-6.517l-8.455-54.115
c-0.857-5.483-4.386-10.139-9.326-12.266c-4.923-2.137-10.568-1.447-14.891,1.808l-42.659,32.007
c-4.2-1.395-8.419-2.732-12.692-4.011l-18.386-51.316c-1.87-5.229-6.182-9.071-11.438-10.151c-5.238-1.072-10.63,0.742-14.263,4.802
l-35.907,40.171c-4.342-0.5-8.685-0.956-13.043-1.331l-27.723-46.713c-2.811-4.732-7.771-7.612-13.116-7.612
c-5.334,0-10.304,2.88-13.09,7.612l-27.733,46.713c-4.358,0.375-8.722,0.831-13.056,1.331l-35.91-40.171
c-3.636-4.06-9.047-5.874-14.268-4.802c-5.255,1.092-9.573,4.922-11.433,10.151l-18.402,51.316
c-4.26,1.279-8.481,2.627-12.691,4.011l-42.644-32.007c-4.336-3.266-9.98-3.955-14.916-1.808c-4.919,2.127-8.461,6.783-9.313,12.266
l-8.461,54.115c-3.914,2.117-7.789,4.294-11.653,6.517L436.1,168.34c-4.858-2.316-10.529-1.838-14.954,1.266
c-4.445,3.083-7.042,8.366-6.84,13.925l1.835,54.914c-3.405,2.84-6.774,5.738-10.112,8.673L354.75,234.51
c-5.211-1.265-10.67,0.351-14.441,4.283c-3.795,3.946-5.332,9.631-4.113,15.064l12.079,53.49c-2.802,3.467-5.575,6.971-8.293,10.521
l-52.655-1.913c-5.314-0.157-10.386,2.497-13.356,7.133c-2.974,4.613-3.425,10.521-1.211,15.608l21.814,49.903
c-2.119,4.008-4.224,8.048-6.249,12.15l-51.882,8.805c-5.271,0.888-9.715,4.566-11.765,9.71c-2.037,5.157-1.375,11.033,1.735,15.555
l30.69,44.451c-0.236,0.784-0.455,1.576-0.69,2.364l-16.863,17.911l45.341,64.05c0,0,435.152,200.731,838.797,3.396
C1169.796,558.719,1180.543,488.433,1180.543,488.433"/>
<path d="M795.716,446.557c0,0,48.162-52.734,96.324,0c0,0,37.844,70.318,0,105.473c0,0-61.922,49.223-96.324,0
C795.716,552.029,754.434,513.354,795.716,446.557"/>
<path fill="#FFFFFF" d="M855.154,481.097c0,19.782-11.66,35.82-26.041,35.82c-14.379,0-26.04-16.038-26.04-35.82
c0-19.782,11.661-35.821,26.04-35.821C843.494,445.275,855.154,461.315,855.154,481.097"/>
<path d="M578.401,430.129c0,0,84.436-37.385,107.481,46.059c0,0,24.141,97.261-69.339,102.751
C616.543,578.939,497.34,555.98,578.401,430.129"/>
<rect x="187.424" y="75.529" fill="none" width="1060" height="782"/>
<path fill="#FFFFFF" d="M627.514,481.096c0,20.579-12.13,37.27-27.095,37.27c-14.959,0-27.092-16.69-27.092-37.27
c0-20.583,12.133-37.27,27.092-37.27C615.384,443.826,627.514,460.513,627.514,481.096"/>
<path fill="#E33B26" d="M299.026,574.745c10.967-12.463,37.611-27.557,35.57-46.282c-3.653-33.526-31.456-57.999-62.099-54.658
c-7.599,0.827-14.658,3.292-20.923,7.035c-0.463-0.106-0.925-0.211-1.388-0.294c0,0-103.632,50.873-44.564,152.657
c0.557,5.137,117.847,155.668,150.787,167.131C377.968,807.836,336.498,671.694,299.026,574.745"/>
<path fill="#E33B26" d="M1140.973,570.202c-12.692-10.7-46.162-20.418-46.92-39.238c-1.355-33.697,22.512-62.021,53.312-63.26
c7.638-0.308,14.983,1.083,21.734,3.857c0.442-0.174,0.884-0.347,1.329-0.497c0,0,110.025,34.951,66.695,144.366
c0.21,5.163-93.468,171.416-124.345,187.635C1092.57,813.681,1118.285,671.635,1140.973,570.202"/>
<rect x="187.484" y="75.843" fill="none" width="1059.75" height="781.686"/>
<rect x="187.424" y="75.529" fill="none" width="1060" height="782"/>
<g>
<path fill="#E33B26" d="M283.144,565.511c0,0-137.214-4.942-161.62-140.761l57.596-25.427c0,0-13.912,96.957,106.615,110.022
L283.144,565.511"/>
<path fill="#E33B26" d="M127.552,333.083c0,0-24.965-49.774-65.807-113.261C18.721,241.035-2.671,299.05,13.482,357.484
c17.846,64.558,74.749,105.16,127.097,90.69s80.318-78.535,62.471-143.092c-7.909-28.618-23.501-52.519-42.963-69.011
C150.611,287.113,127.552,333.083,127.552,333.083"/>
</g>
<rect x="187.484" y="75.843" fill="none" width="1059.75" height="781.686"/>
<g>
<path fill="#E33B26" d="M1148.012,565.511c0,0,137.214-4.942,161.62-140.761l-57.596-25.428c0,0,13.912,96.957-106.615,110.022
L1148.012,565.511"/>
<path fill="#E33B26" d="M1303.604,333.083c0,0,24.966-49.774,65.808-113.261c43.023,21.212,64.416,79.228,48.262,137.662
c-17.846,64.558-74.748,105.16-127.096,90.689c-52.348-14.47-80.318-78.534-62.472-143.091
c7.909-28.618,23.501-52.519,42.964-69.011C1280.544,287.113,1303.604,333.083,1303.604,333.083"/>
</g>
<path d="M807.895,626.942c-7.131-58.735-72.193-61.431-72.193-61.431c-50.936,11.227-59.183,47.369-57.392,75.104L807.895,626.942z"
/>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.1 KiB

68
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/img/trpl14-01.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 269 KiB

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

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 253 KiB

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

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 201 KiB

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

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 269 KiB

43
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/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
build/img/trpl21-01.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 8.3 KiB