Documentation for ff80be4b0a

This commit is contained in:
github-actions
2023-06-16 21:35:33 +00:00
parent 9eca28ec3f
commit 29158cf9a8
7316 changed files with 240608 additions and 57524 deletions

View File

@@ -1,7 +1,11 @@
<map id="math/miller_rabin.cpp" name="math/miller_rabin.cpp">
<area shape="rect" id="node1" title=" " alt="" coords="102,5,248,31"/>
<area shape="rect" id="node2" title=" " alt="" coords="5,79,70,105"/>
<area shape="rect" id="node3" title=" " alt="" coords="94,79,165,105"/>
<area shape="rect" id="node4" title=" " alt="" coords="189,79,254,105"/>
<area shape="rect" id="node5" title=" " alt="" coords="278,79,336,105"/>
<area shape="rect" id="Node000001" title=" " alt="" coords="102,5,248,31"/>
<area shape="rect" id="Node000002" title=" " alt="" coords="5,79,70,105"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="153,34,75,74,73,69,150,29"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="94,79,165,105"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="170,33,147,68,143,65,165,30"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="189,79,254,105"/>
<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="185,30,208,65,203,68,180,33"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="278,79,336,105"/>
<area shape="poly" id="edge4_Node000001_Node000005" title=" " alt="" coords="198,29,273,69,271,74,196,34"/>
</map>

View File

@@ -1 +1 @@
faf1216badf67334139c16acedf749e3
aff8fbf45eecb59cde3ac54e5a02bbea

View File

@@ -6,76 +6,113 @@
<!-- Title: math/miller_rabin.cpp Pages: 1 -->
<svg width="256pt" height="83pt"
viewBox="0.00 0.00 255.62 82.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<svg id="main" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" onload="init(evt)">
<style type="text/css"><![CDATA[
.node, .edge {opacity: 0.7;}
.node.selected, .edge.selected {opacity: 1;}
.edge:hover path { stroke: red; }
.edge:hover polygon { stroke: red; fill: red; }
]]></style>
<script type="application/ecmascript" xlink:href="../../svg.min.js"/>
<svg id="graph" class="graph">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 78.5)">
<title>math/miller_rabin.cpp</title>
<!-- Node1 -->
<g id="node1" class="node">
<g id="Node000001" class="node">
<title>Node1</title>
<g id="a_node1"><a xlink:title=" ">
<g id="a_Node000001"><a xlink:title=" ">
<polygon fill="#999999" stroke="#666666" points="181.62,-74.5 72.62,-74.5 72.62,-55.25 181.62,-55.25 181.62,-74.5"/>
<text text-anchor="middle" x="127.12" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">math/miller_rabin.cpp</text>
</a>
</g>
</g>
<!-- Node2 -->
<g id="node2" class="node">
<g id="Node000002" class="node">
<title>Node2</title>
<g id="a_node2"><a xlink:title=" ">
<g id="a_Node000002"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="48.25,-19.25 0,-19.25 0,0 48.25,0 48.25,-19.25"/>
<text text-anchor="middle" x="24.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">cassert</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node2 -->
<g id="edge1" class="edge">
<g id="edge1_Node000001_Node000002" class="edge">
<title>Node1&#45;&gt;Node2</title>
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M109.65,-54.84C93.67,-46.58 69.78,-34.23 51.3,-24.68"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="53.17,-21.19 42.68,-19.7 49.96,-27.4 53.17,-21.19"/>
</a>
</g>
</g>
<!-- Node3 -->
<g id="node3" class="node">
<g id="Node000003" class="node">
<title>Node3</title>
<g id="a_node3"><a xlink:title=" ">
<g id="a_Node000003"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="119.88,-19.25 66.38,-19.25 66.38,0 119.88,0 119.88,-19.25"/>
<text text-anchor="middle" x="93.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">iostream</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node3 -->
<g id="edge2" class="edge">
<g id="edge2_Node000001_Node000003" class="edge">
<title>Node1&#45;&gt;Node3</title>
<g id="a_edge2_Node000001_Node000003"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M121.51,-55.08C116.96,-47.96 110.4,-37.68 104.73,-28.8"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="107.19,-27.15 98.86,-20.61 101.29,-30.92 107.19,-27.15"/>
</a>
</g>
</g>
<!-- Node4 -->
<g id="node4" class="node">
<g id="Node000004" class="node">
<title>Node4</title>
<g id="a_node4"><a xlink:title=" ">
<g id="a_Node000004"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="186.25,-19.25 138,-19.25 138,0 186.25,0 186.25,-19.25"/>
<text text-anchor="middle" x="162.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">random</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node4 -->
<g id="edge3" class="edge">
<g id="edge3_Node000001_Node000004" class="edge">
<title>Node1&#45;&gt;Node4</title>
<g id="a_edge3_Node000001_Node000004"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M132.9,-55.08C137.59,-47.96 144.34,-37.68 150.18,-28.8"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="153.65,-30.89 156.22,-20.61 147.8,-27.04 153.65,-30.89"/>
</a>
</g>
</g>
<!-- Node5 -->
<g id="node5" class="node">
<g id="Node000005" class="node">
<title>Node5</title>
<g id="a_node5"><a xlink:title=" ">
<g id="a_Node000005"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="247.62,-19.25 204.62,-19.25 204.62,0 247.62,0 247.62,-19.25"/>
<text text-anchor="middle" x="226.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">vector</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node5 -->
<g id="edge4" class="edge">
<g id="edge4_Node000001_Node000005" class="edge">
<title>Node1&#45;&gt;Node5</title>
<g id="a_edge4_Node000001_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M143.92,-54.84C159.28,-46.58 182.24,-34.23 200,-24.68"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="201.1,-27.52 208.25,-19.7 197.78,-21.36 201.1,-27.52"/>
</a>
</g>
</g>
</g>
</svg>
</svg>
<style type='text/css'>
<![CDATA[
[data-mouse-over-selected='false'] { opacity: 0.7; }
[data-mouse-over-selected='true'] { opacity: 1.0; }
]]>
</style>
<script type="application/ecmascript"><![CDATA[
document.addEventListener('DOMContentLoaded', (event) => {
highlightEdges();
highlightAdjacentNodes();
});
]]></script>
</svg>

Before

Width:  |  Height:  |  Size: 3.4 KiB

After

Width:  |  Height:  |  Size: 4.5 KiB

View File

@@ -0,0 +1,93 @@
<?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.0.5 (20230430.1635)
-->
<!-- Title: math/miller_rabin.cpp Pages: 1 -->
<svg width="256pt" height="83pt"
viewBox="0.00 0.00 255.62 82.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 78.5)">
<title>math/miller_rabin.cpp</title>
<!-- Node1 -->
<g id="Node000001" class="node">
<title>Node1</title>
<g id="a_Node000001"><a xlink:title=" ">
<polygon fill="#999999" stroke="#666666" points="181.62,-74.5 72.62,-74.5 72.62,-55.25 181.62,-55.25 181.62,-74.5"/>
<text text-anchor="middle" x="127.12" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">math/miller_rabin.cpp</text>
</a>
</g>
</g>
<!-- Node2 -->
<g id="Node000002" class="node">
<title>Node2</title>
<g id="a_Node000002"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="48.25,-19.25 0,-19.25 0,0 48.25,0 48.25,-19.25"/>
<text text-anchor="middle" x="24.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">cassert</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node2 -->
<g id="edge1_Node000001_Node000002" class="edge">
<title>Node1&#45;&gt;Node2</title>
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M109.65,-54.84C93.67,-46.58 69.78,-34.23 51.3,-24.68"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="53.17,-21.19 42.68,-19.7 49.96,-27.4 53.17,-21.19"/>
</a>
</g>
</g>
<!-- Node3 -->
<g id="Node000003" class="node">
<title>Node3</title>
<g id="a_Node000003"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="119.88,-19.25 66.38,-19.25 66.38,0 119.88,0 119.88,-19.25"/>
<text text-anchor="middle" x="93.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">iostream</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node3 -->
<g id="edge2_Node000001_Node000003" class="edge">
<title>Node1&#45;&gt;Node3</title>
<g id="a_edge2_Node000001_Node000003"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M121.51,-55.08C116.96,-47.96 110.4,-37.68 104.73,-28.8"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="107.19,-27.15 98.86,-20.61 101.29,-30.92 107.19,-27.15"/>
</a>
</g>
</g>
<!-- Node4 -->
<g id="Node000004" class="node">
<title>Node4</title>
<g id="a_Node000004"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="186.25,-19.25 138,-19.25 138,0 186.25,0 186.25,-19.25"/>
<text text-anchor="middle" x="162.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">random</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node4 -->
<g id="edge3_Node000001_Node000004" class="edge">
<title>Node1&#45;&gt;Node4</title>
<g id="a_edge3_Node000001_Node000004"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M132.9,-55.08C137.59,-47.96 144.34,-37.68 150.18,-28.8"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="153.65,-30.89 156.22,-20.61 147.8,-27.04 153.65,-30.89"/>
</a>
</g>
</g>
<!-- Node5 -->
<g id="Node000005" class="node">
<title>Node5</title>
<g id="a_Node000005"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="247.62,-19.25 204.62,-19.25 204.62,0 247.62,0 247.62,-19.25"/>
<text text-anchor="middle" x="226.12" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">vector</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node5 -->
<g id="edge4_Node000001_Node000005" class="edge">
<title>Node1&#45;&gt;Node5</title>
<g id="a_edge4_Node000001_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M143.92,-54.84C159.28,-46.58 182.24,-34.23 200,-24.68"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="201.1,-27.52 208.25,-19.7 197.78,-21.36 201.1,-27.52"/>
</a>
</g>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 3.8 KiB