example: Update to a picture.
This commit is contained in:
Sergiu Ivanov
parent
1166132362
commit
b9109faa6e
1 changed files with 121 additions and 121 deletions
|
|
@ -4,161 +4,161 @@
|
|||
<!-- Generated by graphviz version 2.43.0 (0)
|
||||
-->
|
||||
<!-- Title: G Pages: 1 -->
|
||||
<svg width="999pt" height="655pt"
|
||||
viewBox="0.00 0.00 999.07 655.40" 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 651.4)">
|
||||
<svg width="980pt" height="656pt"
|
||||
viewBox="0.00 0.00 980.32 655.79" 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 651.79)">
|
||||
<title>G</title>
|
||||
<polygon fill="white" stroke="transparent" points="-4,4 -4,-651.4 995.07,-651.4 995.07,4 -4,4"/>
|
||||
<polygon fill="white" stroke="transparent" points="-4,4 -4,-651.79 976.32,-651.79 976.32,4 -4,4"/>
|
||||
<!-- node0 -->
|
||||
<g id="node1" class="node">
|
||||
<title>node0</title>
|
||||
<ellipse fill="none" stroke="black" cx="588.85" cy="-323.87" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="588.85" y="-320.17" font-family="Times-Roman" font-size="14.00">a:#f b:#f c:#f</text>
|
||||
<ellipse fill="none" stroke="black" cx="656.16" cy="-629.79" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="656.16" y="-626.09" font-family="Times-Roman" font-size="14.00">a:#f b:#f c:#f</text>
|
||||
</g>
|
||||
<!-- node0->node0 -->
|
||||
<g id="edge1" class="edge">
|
||||
<title>node0->node0</title>
|
||||
<path fill="none" stroke="black" d="M659.31,-330.29C672.75,-329.52 682.25,-327.38 682.25,-323.87 682.25,-320.35 672.75,-318.21 659.31,-317.44"/>
|
||||
</g>
|
||||
<!-- node5 -->
|
||||
<g id="node6" class="node">
|
||||
<title>node5</title>
|
||||
<ellipse fill="none" stroke="black" cx="318.29" cy="-629.4" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="318.29" y="-625.7" font-family="Times-Roman" font-size="14.00">a:#f b:#f c:#t</text>
|
||||
</g>
|
||||
<!-- node0->node5 -->
|
||||
<g id="edge2" class="edge">
|
||||
<title>node0->node5</title>
|
||||
<path fill="none" stroke="black" d="M573.14,-341.61C525.32,-395.62 381.93,-557.54 334.05,-611.61"/>
|
||||
</g>
|
||||
<!-- node1 -->
|
||||
<g id="node2" class="node">
|
||||
<title>node1</title>
|
||||
<ellipse fill="none" stroke="black" cx="316.68" cy="-19.4" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="316.68" y="-15.7" font-family="Times-Roman" font-size="14.00">a:#f b:#t c:#f</text>
|
||||
</g>
|
||||
<!-- node1->node0 -->
|
||||
<g id="edge12" class="edge">
|
||||
<title>node1->node0</title>
|
||||
<path fill="none" stroke="black" d="M332.49,-37.08C378.53,-88.58 512.62,-238.59 566.27,-298.61"/>
|
||||
<polygon fill="black" stroke="black" points="563.73,-301.01 573,-306.13 568.94,-296.34 563.73,-301.01"/>
|
||||
</g>
|
||||
<!-- node3 -->
|
||||
<g id="node4" class="node">
|
||||
<title>node3</title>
|
||||
<ellipse fill="none" stroke="black" cx="75.39" cy="-325.17" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="75.39" y="-321.47" font-family="Times-Roman" font-size="14.00">a:#f b:#t c:#t</text>
|
||||
</g>
|
||||
<!-- node1->node3 -->
|
||||
<g id="edge3" class="edge">
|
||||
<title>node1->node3</title>
|
||||
<path fill="none" stroke="black" d="M302.67,-37.16C260.02,-91.2 132.14,-253.25 89.45,-307.36"/>
|
||||
</g>
|
||||
<!-- node7 -->
|
||||
<g id="node8" class="node">
|
||||
<title>node7</title>
|
||||
<ellipse fill="none" stroke="black" cx="654.91" cy="-18" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="654.91" y="-14.3" font-family="Times-Roman" font-size="14.00">a:#t b:#t c:#f</text>
|
||||
</g>
|
||||
<!-- node1->node7 -->
|
||||
<g id="edge13" class="edge">
|
||||
<title>node1->node7</title>
|
||||
<path fill="none" stroke="black" d="M392.17,-19.09C444.68,-18.87 514.78,-18.58 569.36,-18.35"/>
|
||||
<polygon fill="black" stroke="black" points="569.38,-21.85 579.37,-18.31 569.35,-14.85 569.38,-21.85"/>
|
||||
</g>
|
||||
<!-- node2 -->
|
||||
<g id="node3" class="node">
|
||||
<title>node2</title>
|
||||
<ellipse fill="none" stroke="black" cx="897.67" cy="-323.12" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="897.67" y="-319.42" font-family="Times-Roman" font-size="14.00">a:#t b:#f c:#f</text>
|
||||
</g>
|
||||
<!-- node2->node0 -->
|
||||
<g id="edge14" class="edge">
|
||||
<title>node2->node0</title>
|
||||
<path fill="none" stroke="black" d="M822.13,-323.31C777.46,-323.41 720.76,-323.55 674.44,-323.66"/>
|
||||
<polygon fill="black" stroke="black" points="674.41,-320.16 664.42,-323.68 674.43,-327.16 674.41,-320.16"/>
|
||||
</g>
|
||||
<!-- node2->node2 -->
|
||||
<g id="edge4" class="edge">
|
||||
<title>node2->node2</title>
|
||||
<path fill="none" stroke="black" d="M968.13,-329.55C981.57,-328.78 991.07,-326.64 991.07,-323.12 991.07,-319.61 981.57,-317.47 968.13,-316.7"/>
|
||||
</g>
|
||||
<!-- node6 -->
|
||||
<g id="node7" class="node">
|
||||
<title>node6</title>
|
||||
<ellipse fill="none" stroke="black" cx="657.14" cy="-629.29" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="657.14" y="-625.59" font-family="Times-Roman" font-size="14.00">a:#t b:#f c:#t</text>
|
||||
</g>
|
||||
<!-- node2->node6 -->
|
||||
<g id="edge5" class="edge">
|
||||
<title>node2->node6</title>
|
||||
<path fill="none" stroke="black" d="M883.7,-340.91C841.19,-395.02 713.71,-557.28 671.15,-611.46"/>
|
||||
</g>
|
||||
<!-- node3->node3 -->
|
||||
<g id="edge6" class="edge">
|
||||
<title>node3->node3</title>
|
||||
<path fill="none" stroke="black" d="M145.85,-331.6C159.29,-330.83 168.79,-328.69 168.79,-325.17 168.79,-321.66 159.29,-319.51 145.85,-318.75"/>
|
||||
<path fill="none" stroke="black" d="M726.62,-636.22C740.06,-635.45 749.56,-633.31 749.56,-629.79 749.56,-626.28 740.06,-624.14 726.62,-623.37"/>
|
||||
</g>
|
||||
<!-- node4 -->
|
||||
<g id="node5" class="node">
|
||||
<title>node4</title>
|
||||
<ellipse fill="none" stroke="black" cx="384" cy="-324.58" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="384" y="-320.88" font-family="Times-Roman" font-size="14.00">a:#t b:#t c:#t</text>
|
||||
<ellipse fill="none" stroke="black" cx="316.25" cy="-629.58" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="316.25" y="-625.88" font-family="Times-Roman" font-size="14.00">a:#f b:#f c:#t</text>
|
||||
</g>
|
||||
<!-- node3->node4 -->
|
||||
<!-- node0->node4 -->
|
||||
<g id="edge2" class="edge">
|
||||
<title>node0->node4</title>
|
||||
<path fill="none" stroke="black" d="M580.73,-629.75C524.49,-629.71 448.02,-629.66 391.77,-629.63"/>
|
||||
</g>
|
||||
<!-- node1 -->
|
||||
<g id="node2" class="node">
|
||||
<title>node1</title>
|
||||
<ellipse fill="none" stroke="black" cx="896.93" cy="-323.78" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="896.93" y="-320.08" font-family="Times-Roman" font-size="14.00">a:#f b:#t c:#f</text>
|
||||
</g>
|
||||
<!-- node1->node0 -->
|
||||
<g id="edge12" class="edge">
|
||||
<title>node1->node0</title>
|
||||
<path fill="none" stroke="black" d="M882.94,-341.56C842.3,-393.21 724.09,-543.47 676.43,-604.04"/>
|
||||
<polygon fill="black" stroke="black" points="673.62,-601.95 670.19,-611.97 679.12,-606.28 673.62,-601.95"/>
|
||||
</g>
|
||||
<!-- node3 -->
|
||||
<g id="node4" class="node">
|
||||
<title>node3</title>
|
||||
<ellipse fill="none" stroke="black" cx="587.98" cy="-323.59" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="587.98" y="-319.89" font-family="Times-Roman" font-size="14.00">a:#f b:#t c:#t</text>
|
||||
</g>
|
||||
<!-- node1->node3 -->
|
||||
<g id="edge3" class="edge">
|
||||
<title>node1->node3</title>
|
||||
<path fill="none" stroke="black" d="M821.35,-323.73C773.39,-323.71 711.55,-323.67 663.58,-323.64"/>
|
||||
</g>
|
||||
<!-- node5 -->
|
||||
<g id="node6" class="node">
|
||||
<title>node5</title>
|
||||
<ellipse fill="none" stroke="black" cx="655.43" cy="-18.01" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="655.43" y="-14.31" font-family="Times-Roman" font-size="14.00">a:#t b:#t c:#f</text>
|
||||
</g>
|
||||
<!-- node1->node5 -->
|
||||
<g id="edge13" class="edge">
|
||||
<title>node1->node5</title>
|
||||
<path fill="none" stroke="black" d="M882.9,-306.02C842.13,-254.4 723.55,-104.27 675.75,-43.74"/>
|
||||
<polygon fill="black" stroke="black" points="678.44,-41.49 669.49,-35.82 672.94,-45.83 678.44,-41.49"/>
|
||||
</g>
|
||||
<!-- node2 -->
|
||||
<g id="node3" class="node">
|
||||
<title>node2</title>
|
||||
<ellipse fill="none" stroke="black" cx="384.44" cy="-324.12" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="384.44" y="-320.42" font-family="Times-Roman" font-size="14.00">a:#t b:#f c:#f</text>
|
||||
</g>
|
||||
<!-- node2->node0 -->
|
||||
<g id="edge14" class="edge">
|
||||
<title>node2->node0</title>
|
||||
<path fill="none" stroke="black" d="M400.23,-341.87C446.19,-393.58 580.06,-544.18 633.62,-604.44"/>
|
||||
<polygon fill="black" stroke="black" points="631.08,-606.84 640.34,-611.99 636.31,-602.19 631.08,-606.84"/>
|
||||
</g>
|
||||
<!-- node2->node2 -->
|
||||
<g id="edge4" class="edge">
|
||||
<title>node2->node2</title>
|
||||
<path fill="none" stroke="black" d="M454.9,-330.55C468.34,-329.78 477.84,-327.63 477.84,-324.12 477.84,-320.6 468.34,-318.46 454.9,-317.69"/>
|
||||
</g>
|
||||
<!-- node6 -->
|
||||
<g id="node7" class="node">
|
||||
<title>node6</title>
|
||||
<ellipse fill="none" stroke="black" cx="75.39" cy="-323.82" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="75.39" y="-320.12" font-family="Times-Roman" font-size="14.00">a:#t b:#f c:#t</text>
|
||||
</g>
|
||||
<!-- node2->node6 -->
|
||||
<g id="edge5" class="edge">
|
||||
<title>node2->node6</title>
|
||||
<path fill="none" stroke="black" d="M308.84,-324.04C260.86,-324 199,-323.94 151.02,-323.89"/>
|
||||
</g>
|
||||
<!-- node3->node3 -->
|
||||
<g id="edge6" class="edge">
|
||||
<title>node3->node3</title>
|
||||
<path fill="none" stroke="black" d="M658.44,-330.02C671.88,-329.25 681.38,-327.11 681.38,-323.59 681.38,-320.08 671.88,-317.94 658.44,-317.17"/>
|
||||
</g>
|
||||
<!-- node7 -->
|
||||
<g id="node8" class="node">
|
||||
<title>node7</title>
|
||||
<ellipse fill="none" stroke="black" cx="316.89" cy="-18" rx="75.29" ry="18"/>
|
||||
<text text-anchor="middle" x="316.89" y="-14.3" font-family="Times-Roman" font-size="14.00">a:#t b:#t c:#t</text>
|
||||
</g>
|
||||
<!-- node3->node7 -->
|
||||
<g id="edge15" class="edge">
|
||||
<title>node3->node4</title>
|
||||
<path fill="none" stroke="black" d="M150.89,-325.03C195.52,-324.94 252.19,-324.83 298.47,-324.74"/>
|
||||
<polygon fill="black" stroke="black" points="298.49,-328.24 308.48,-324.72 298.48,-321.24 298.49,-328.24"/>
|
||||
<title>node3->node7</title>
|
||||
<path fill="none" stroke="black" d="M572.24,-305.84C526.38,-254.15 392.82,-103.6 339.38,-43.35"/>
|
||||
<polygon fill="black" stroke="black" points="341.93,-40.96 332.68,-35.8 336.7,-45.6 341.93,-40.96"/>
|
||||
</g>
|
||||
<!-- node4->node3 -->
|
||||
<g id="edge16" class="edge">
|
||||
<title>node4->node3</title>
|
||||
<path fill="none" stroke="black" d="M332.03,-611.8C378,-560.05 511.87,-409.3 565.44,-348.98"/>
|
||||
<polygon fill="black" stroke="black" points="568.13,-351.22 572.16,-341.42 562.9,-346.57 568.13,-351.22"/>
|
||||
</g>
|
||||
<!-- node4->node4 -->
|
||||
<g id="edge8" class="edge">
|
||||
<title>node4->node4</title>
|
||||
<path fill="none" stroke="black" d="M454.46,-331C467.89,-330.24 477.39,-328.09 477.39,-324.58 477.39,-321.06 467.89,-318.92 454.46,-318.15"/>
|
||||
</g>
|
||||
<!-- node4->node6 -->
|
||||
<g id="edge16" class="edge">
|
||||
<title>node4->node6</title>
|
||||
<path fill="none" stroke="black" d="M399.86,-342.28C446.07,-393.82 580.63,-543.94 634.48,-604.01"/>
|
||||
<polygon fill="black" stroke="black" points="631.95,-606.43 641.23,-611.54 637.16,-601.76 631.95,-606.43"/>
|
||||
</g>
|
||||
<!-- node4->node7 -->
|
||||
<g id="edge7" class="edge">
|
||||
<title>node4->node7</title>
|
||||
<path fill="none" stroke="black" d="M399.74,-306.77C447.62,-252.58 591.19,-90.11 639.13,-35.86"/>
|
||||
<title>node4->node4</title>
|
||||
<path fill="none" stroke="black" d="M386.71,-636.01C400.14,-635.24 409.64,-633.09 409.64,-629.58 409.64,-626.06 400.14,-623.92 386.71,-623.15"/>
|
||||
</g>
|
||||
<!-- node5->node3 -->
|
||||
<!-- node5->node2 -->
|
||||
<g id="edge17" class="edge">
|
||||
<title>node5->node3</title>
|
||||
<path fill="none" stroke="black" d="M303.82,-611.28C262.56,-559.6 144.19,-411.34 96.09,-351.1"/>
|
||||
<polygon fill="black" stroke="black" points="98.76,-348.83 89.78,-343.2 93.29,-353.2 98.76,-348.83"/>
|
||||
<title>node5->node2</title>
|
||||
<path fill="none" stroke="black" d="M639.69,-35.79C593.85,-87.57 460.34,-238.38 406.92,-298.72"/>
|
||||
<polygon fill="black" stroke="black" points="404.24,-296.48 400.23,-306.29 409.48,-301.12 404.24,-296.48"/>
|
||||
</g>
|
||||
<!-- node5->node5 -->
|
||||
<g id="edge9" class="edge">
|
||||
<g id="edge8" class="edge">
|
||||
<title>node5->node5</title>
|
||||
<path fill="none" stroke="black" d="M388.75,-635.83C402.18,-635.06 411.68,-632.92 411.68,-629.4 411.68,-625.89 402.18,-623.75 388.75,-622.98"/>
|
||||
<path fill="none" stroke="black" d="M725.88,-24.43C739.32,-23.66 748.82,-21.52 748.82,-18.01 748.82,-14.49 739.32,-12.35 725.88,-11.58"/>
|
||||
</g>
|
||||
<!-- node6->node5 -->
|
||||
<!-- node5->node7 -->
|
||||
<g id="edge9" class="edge">
|
||||
<title>node5->node7</title>
|
||||
<path fill="none" stroke="black" d="M579.87,-18C524.04,-18 448.35,-18 392.5,-18"/>
|
||||
</g>
|
||||
<!-- node6->node4 -->
|
||||
<g id="edge18" class="edge">
|
||||
<title>node6->node5</title>
|
||||
<path fill="none" stroke="black" d="M581.52,-629.32C528.91,-629.33 458.68,-629.36 404,-629.38"/>
|
||||
<polygon fill="black" stroke="black" points="403.97,-625.88 393.97,-629.38 403.97,-632.88 403.97,-625.88"/>
|
||||
<title>node6->node4</title>
|
||||
<path fill="none" stroke="black" d="M89.38,-341.58C130.04,-393.19 248.3,-543.32 295.98,-603.84"/>
|
||||
<polygon fill="black" stroke="black" points="293.28,-606.08 302.22,-611.77 298.78,-601.75 293.28,-606.08"/>
|
||||
</g>
|
||||
<!-- node6->node6 -->
|
||||
<g id="edge10" class="edge">
|
||||
<title>node6->node6</title>
|
||||
<path fill="none" stroke="black" d="M727.6,-635.72C741.03,-634.95 750.53,-632.81 750.53,-629.29 750.53,-625.78 741.03,-623.63 727.6,-622.86"/>
|
||||
<path fill="none" stroke="black" d="M145.85,-330.24C159.29,-329.47 168.79,-327.33 168.79,-323.82 168.79,-320.3 159.29,-318.16 145.85,-317.39"/>
|
||||
</g>
|
||||
<!-- node7->node2 -->
|
||||
<!-- node7->node6 -->
|
||||
<g id="edge19" class="edge">
|
||||
<title>node7->node2</title>
|
||||
<path fill="none" stroke="black" d="M669.01,-35.72C709.99,-87.23 829.19,-237.05 877.24,-297.44"/>
|
||||
<polygon fill="black" stroke="black" points="874.57,-299.71 883.53,-305.35 880.05,-295.35 874.57,-299.71"/>
|
||||
<title>node7->node6</title>
|
||||
<path fill="none" stroke="black" d="M302.86,-35.76C262.1,-87.39 143.52,-237.54 95.72,-298.08"/>
|
||||
<polygon fill="black" stroke="black" points="92.91,-295.99 89.46,-306 98.4,-300.32 92.91,-295.99"/>
|
||||
</g>
|
||||
<!-- node7->node7 -->
|
||||
<g id="edge11" class="edge">
|
||||
<title>node7->node7</title>
|
||||
<path fill="none" stroke="black" d="M725.37,-24.43C738.8,-23.66 748.31,-21.52 748.31,-18 748.31,-14.48 738.8,-12.34 725.37,-11.57"/>
|
||||
<path fill="none" stroke="black" d="M387.35,-24.43C400.78,-23.66 410.28,-21.52 410.28,-18 410.28,-14.48 400.78,-12.34 387.35,-11.57"/>
|
||||
</g>
|
||||
</g>
|
||||
</svg>
|
||||
|
|
|
|||
|
Before Width: | Height: | Size: 7.4 KiB After Width: | Height: | Size: 7.4 KiB |
Loading…
Reference in a new issue