Documentation for fc180b6061

This commit is contained in:
github-actions
2022-09-25 21:21:45 +00:00
parent ecd8ec0856
commit 8d4db21252
1638 changed files with 2485 additions and 2481 deletions

View File

@@ -1,7 +1,7 @@
<?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 5.0.1 (20220820.1526)
<!-- Generated by graphviz version 6.0.1 (20220911.1526)
-->
<!-- Title: strings::horspool::findShiftTable Pages: 1 -->
<svg width="264pt" height="247pt"

Before

Width:  |  Height:  |  Size: 6.1 KiB

After

Width:  |  Height:  |  Size: 6.1 KiB

View File

@@ -1,7 +1,7 @@
<?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 5.0.1 (20220820.1526)
<!-- Generated by graphviz version 6.0.1 (20220911.1526)
-->
<!-- Title: strings::horspool::horspool Pages: 1 -->
<svg width="395pt" height="247pt"
@@ -95,8 +95,8 @@
<!-- Node4&#45;&gt;Node4 -->
<g id="edge6" class="edge">
<title>Node4&#45;&gt;Node4</title>
<path fill="none" stroke="#63b8ff" d="M155.65,-140.78C150.57,-149.91 158.19,-158.5 178.5,-158.5 190.56,-158.5 198.15,-155.47 201.25,-151.1"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="204.76,-150.81 201.35,-140.78 197.76,-150.74 204.76,-150.81"/>
<path fill="none" stroke="#63b8ff" d="M155.47,-140.78C150.36,-149.91 158.03,-158.5 178.5,-158.5 190.65,-158.5 198.3,-155.47 201.43,-151.1"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="204.93,-150.81 201.53,-140.78 197.93,-150.74 204.93,-150.81"/>
</g>
<!-- Node5 -->
<g id="node5" class="node">

Before

Width:  |  Height:  |  Size: 8.0 KiB

After

Width:  |  Height:  |  Size: 8.0 KiB

View File

@@ -1,7 +1,7 @@
<?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 5.0.1 (20220820.1526)
<!-- Generated by graphviz version 6.0.1 (20220911.1526)
-->
<!-- Title: main Pages: 1 -->
<svg width="115pt" height="27pt"

Before

Width:  |  Height:  |  Size: 1.5 KiB

After

Width:  |  Height:  |  Size: 1.5 KiB

View File

@@ -1,7 +1,7 @@
<?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 5.0.1 (20220820.1526)
<!-- Generated by graphviz version 6.0.1 (20220911.1526)
-->
<!-- Title: test Pages: 1 -->
<svg width="373pt" height="369pt"
@@ -174,8 +174,8 @@
<!-- Node5&#45;&gt;Node5 -->
<g id="edge5" class="edge">
<title>Node5&#45;&gt;Node5</title>
<path fill="none" stroke="#63b8ff" d="M239.55,-136.08C233.25,-144.73 237.57,-154 252.5,-154 261.6,-154 266.75,-150.56 267.97,-145.91"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="271.32,-144.9 265.45,-136.08 264.54,-146.64 271.32,-144.9"/>
<path fill="none" stroke="#63b8ff" d="M239.4,-136.08C233.03,-144.73 237.39,-154 252.5,-154 261.71,-154 266.92,-150.56 268.15,-145.91"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="271.5,-144.88 265.6,-136.08 264.73,-146.64 271.5,-144.88"/>
</g>
<!-- Node6 -->
<g id="node6" class="node">

Before

Width:  |  Height:  |  Size: 11 KiB

After

Width:  |  Height:  |  Size: 11 KiB

View File

@@ -1,7 +1,7 @@
<?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 5.0.1 (20220820.1526)
<!-- Generated by graphviz version 6.0.1 (20220911.1526)
-->
<!-- Title: main Pages: 1 -->
<svg width="447pt" height="369pt"
@@ -189,8 +189,8 @@
<!-- Node6&#45;&gt;Node6 -->
<g id="edge6" class="edge">
<title>Node6&#45;&gt;Node6</title>
<path fill="none" stroke="#63b8ff" d="M313.55,-136.08C307.25,-144.73 311.57,-154 326.5,-154 335.6,-154 340.75,-150.56 341.97,-145.91"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="345.32,-144.9 339.45,-136.08 338.54,-146.64 345.32,-144.9"/>
<path fill="none" stroke="#63b8ff" d="M313.4,-136.08C307.03,-144.73 311.39,-154 326.5,-154 335.71,-154 340.92,-150.56 342.15,-145.91"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="345.5,-144.88 339.6,-136.08 338.73,-146.64 345.5,-144.88"/>
</g>
<!-- Node7 -->
<g id="node7" class="node">

Before

Width:  |  Height:  |  Size: 12 KiB

After

Width:  |  Height:  |  Size: 12 KiB