Documentation for 6376bf46af

This commit is contained in:
github-actions
2023-09-27 18:42:32 +00:00
parent d28eba1fef
commit b5b4d78981
5708 changed files with 52275 additions and 51112 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 8.1.0 (20230707.0739)
<!-- Generated by graphviz version 9.0.0 (20230911.1827)
-->
<!-- Title: graph::RootedTree Pages: 1 -->
<svg width="105pt" height="83pt"
@@ -40,8 +40,8 @@
<g id="edge1_Node000001_Node000002" class="edge">
<title>Node2&#45;&gt;Node1</title>
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M48.5,-44.21C48.5,-35.77 48.5,-26.33 48.5,-19.61"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="45,-44.08 48.5,-54.08 52,-44.08 45,-44.08"/>
<path fill="none" stroke="#63b8ff" d="M48.5,-43.63C48.5,-35.34 48.5,-26.17 48.5,-19.61"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="45,-43.57 48.5,-53.57 52,-43.57 45,-43.57"/>
</a>
</g>
</g>

Before

Width:  |  Height:  |  Size: 2.4 KiB

After

Width:  |  Height:  |  Size: 2.4 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 8.1.0 (20230707.0739)
<!-- Generated by graphviz version 9.0.0 (20230911.1827)
-->
<!-- Title: graph::RootedTree Pages: 1 -->
<svg width="105pt" height="83pt"
@@ -30,8 +30,8 @@
<g id="edge1_Node000001_Node000002" class="edge">
<title>Node2&#45;&gt;Node1</title>
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M48.5,-44.21C48.5,-35.77 48.5,-26.33 48.5,-19.61"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="45,-44.08 48.5,-54.08 52,-44.08 45,-44.08"/>
<path fill="none" stroke="#63b8ff" d="M48.5,-43.63C48.5,-35.34 48.5,-26.17 48.5,-19.61"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="45,-43.57 48.5,-53.57 52,-43.57 45,-43.57"/>
</a>
</g>
</g>

Before

Width:  |  Height:  |  Size: 1.6 KiB

After

Width:  |  Height:  |  Size: 1.6 KiB