docs/best_first_category_xref_diagram.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?xml-stylesheet href="diagrams.css" type="text/css"?>
<!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.2.1 (20241206.2353)
 -->
<!-- Title: best_first_category Pages: 1 -->
<svg width="1243pt" height="776pt"
 viewBox="72.00 72.00 1171.00 704.00" 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(76 700)">
<title>best_first_category</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-628 1095,-628 1095,4 -4,4"/>
<text text-anchor="start" x="8" y="-32.75" font-family="Monospace" font-size="10.00" fill="dimgray">Logtalk third&#45;party contributions</text>
<text text-anchor="start" x="8" y="-20" font-family="Monospace" font-size="10.00" fill="dimgray">Cross&#45;referencing diagram for category best_first</text>
<text text-anchor="start" x="8" y="-7.25" font-family="Monospace" font-size="10.00" fill="dimgray">Generated on 2025&#45;01&#45;08, 01:05</text>
<g id="clust1" class="cluster">
<title>cluster_best_first_category</title>
<g id="a_clust1"><a xlink:title="best_first">
<path fill="snow" stroke="dimgray" d="M20,-54.25C20,-54.25 1071,-54.25 1071,-54.25 1077,-54.25 1083,-60.25 1083,-66.25 1083,-66.25 1083,-604 1083,-604 1083,-610 1077,-616 1071,-616 1071,-616 20,-616 20,-616 14,-616 8,-610 8,-604 8,-604 8,-66.25 8,-66.25 8,-60.25 14,-54.25 20,-54.25"/>
<g id="a_clust1_0"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt">
<text text-anchor="start" x="20" y="-598.5" font-family="Monospace" font-size="10.00" fill="dimgray">best_first</text>
</a>
</g>
</a>
</g>
</g>
<!-- f/4 -->
<g id="node1" class="node">
<title>f/4</title>
<g id="a_node1"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L45" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L45">
<polygon fill="yellow" stroke="black" points="269.5,-577.25 202.5,-577.25 202.5,-541.25 269.5,-541.25 269.5,-577.25"/>
<text text-anchor="start" x="210.5" y="-561.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="225.88" y="-561.17" font-family="Monospace" font-size="11.00">f/4</text>
<text text-anchor="start" x="256.25" y="-561.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="210.5" y="-549.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="215.75" y="-550.35" font-family="Monospace" font-size="7.00">protected</text>
<text text-anchor="start" x="256.25" y="-549.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/2 -->
<g id="node2" class="node">
<title>prove/2</title>
<g id="a_node2"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L52" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L52">
<polygon fill="cornsilk" stroke="black" points="518.88,-577.25 445.12,-577.25 445.12,-541.25 518.88,-541.25 518.88,-577.25"/>
<text text-anchor="start" x="453.12" y="-561.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="458.38" y="-561.17" font-family="Monospace" font-size="11.00">prove/2</text>
<text text-anchor="start" x="505.62" y="-561.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="453.12" y="-549.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="470.75" y="-550.35" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="505.62" y="-549.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/3 -->
<g id="node3" class="node">
<title>prove/3</title>
<g id="a_node3"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55">
<polygon fill="cornsilk" stroke="black" points="481.88,-458 408.12,-458 408.12,-422 481.88,-422 481.88,-458"/>
<text text-anchor="start" x="416.12" y="-442.7" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="421.38" y="-441.93" font-family="Monospace" font-size="11.00">prove/3</text>
<text text-anchor="start" x="468.62" y="-442.7" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="416.12" y="-430.32" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="433.75" y="-431.1" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="468.62" y="-430.32" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/2&#45;&gt;prove/3 -->
<g id="edge1" class="edge">
<title>prove/2&#45;&gt;prove/3</title>
<g id="a_edge1"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L52" xlink:title="calls">
<path fill="none" stroke="black" d="M476.54,-540.95C470.58,-522.07 460.96,-491.56 453.9,-469.21"/>
<polygon fill="black" stroke="black" points="457.28,-468.3 450.94,-459.82 450.61,-470.4 457.28,-468.3"/>
</a>
</g>
<g id="a_edge1&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L52" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L52">
<text text-anchor="start" x="464.61" y="-496.7" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- prove_branch/3 -->
<g id="node4" class="node">
<title>prove_branch/3</title>
<g id="a_node4"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59">
<polygon fill="cornsilk" stroke="black" points="578.5,-338.75 457.5,-338.75 457.5,-302.75 578.5,-302.75 578.5,-338.75"/>
<text text-anchor="start" x="465.5" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="470.75" y="-322.68" font-family="Monospace" font-size="11.00">prove_branch/3</text>
<text text-anchor="start" x="565.25" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="465.5" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="506.75" y="-311.85" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="565.25" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/3&#45;&gt;prove_branch/3 -->
<g id="edge2" class="edge">
<title>prove/3&#45;&gt;prove_branch/3</title>
<g id="a_edge2"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55" xlink:title="calls">
<path fill="none" stroke="black" d="M455.77,-421.7C467.74,-402.48 487.22,-371.19 501.2,-348.74"/>
<polygon fill="black" stroke="black" points="504.07,-350.75 506.38,-340.41 498.13,-347.05 504.07,-350.75"/>
</a>
</g>
<g id="a_edge2&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55">
<text text-anchor="start" x="483.69" y="-377.45" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- minheap::as_heap/2 -->
<g id="node9" class="node">
<title>minheap::as_heap/2</title>
<g id="a_node9"><a xlink:href="https://logtalk.org/library/heapp_0.html#as-heap-2" xlink:title="https://logtalk.org/library/heapp_0.html#as&#45;heap&#45;2">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="439,-338.75 291,-338.75 291,-302.75 439,-302.75 439,-338.75"/>
<text text-anchor="start" x="299" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="304.25" y="-322.68" font-family="Monospace" font-size="11.00">minheap::as_heap/2</text>
<text text-anchor="start" x="425.75" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="299" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="347" y="-311.85" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="425.75" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/3&#45;&gt;minheap::as_heap/2 -->
<g id="edge10" class="edge">
<title>prove/3&#45;&gt;minheap::as_heap/2</title>
<g id="a_edge10"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55" xlink:title="calls">
<path fill="none" stroke="black" d="M433.2,-421.7C420.02,-402.39 398.54,-370.91 383.21,-348.44"/>
<polygon fill="black" stroke="black" points="386.23,-346.66 377.71,-340.37 380.45,-350.6 386.23,-346.66"/>
</a>
</g>
<g id="a_edge10&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L55">
<text text-anchor="start" x="407.4" y="-377.45" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;prove/2 -->
<g id="edge4" class="edge">
<title>prove_branch/3&#45;&gt;prove/2</title>
<g id="a_edge4"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M516.98,-339.24C516.14,-352.17 514.8,-370.22 513,-386 506.92,-439.25 505.4,-452.67 495,-505.25 493.4,-513.37 491.37,-522.12 489.4,-530.12"/>
<polygon fill="black" stroke="black" points="486.04,-529.13 486.98,-539.68 492.83,-530.85 486.04,-529.13"/>
</a>
</g>
<g id="a_edge4&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="508.7" y="-437.07" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- expand_state/4 -->
<g id="node5" class="node">
<title>expand_state/4</title>
<g id="a_node5"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L81" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L81">
<polygon fill="cornsilk" stroke="black" points="665.5,-219.5 544.5,-219.5 544.5,-183.5 665.5,-183.5 665.5,-219.5"/>
<text text-anchor="start" x="552.5" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="557.75" y="-203.43" font-family="Monospace" font-size="11.00">expand_state/4</text>
<text text-anchor="start" x="652.25" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="552.5" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="593.75" y="-192.6" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="652.25" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;expand_state/4 -->
<g id="edge5" class="edge">
<title>prove_branch/3&#45;&gt;expand_state/4</title>
<g id="a_edge5"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M530.84,-302.45C545.23,-283.05 568.73,-251.38 585.42,-228.89"/>
<polygon fill="black" stroke="black" points="588.06,-231.2 591.21,-221.09 582.44,-227.03 588.06,-231.2"/>
</a>
</g>
<g id="a_edge5&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="564.11" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- execute_bindings/1 -->
<g id="node8" class="node">
<title>execute_bindings/1</title>
<g id="a_node8"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L112" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L112">
<polygon fill="cornsilk" stroke="black" points="228,-219.5 80,-219.5 80,-183.5 228,-183.5 228,-219.5"/>
<text text-anchor="start" x="88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="93.25" y="-203.43" font-family="Monospace" font-size="11.00">execute_bindings/1</text>
<text text-anchor="start" x="214.75" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="142.75" y="-192.6" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="214.75" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;execute_bindings/1 -->
<g id="edge3" class="edge">
<title>prove_branch/3&#45;&gt;execute_bindings/1</title>
<g id="a_edge3"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59" xlink:title="calls">
<path fill="none" stroke="black" d="M463.9,-302.32C398.57,-281.28 288.79,-245.92 218.95,-223.42"/>
<polygon fill="black" stroke="black" points="220.13,-220.13 209.54,-220.39 217.99,-226.79 220.13,-220.13"/>
</a>
</g>
<g id="a_edge3&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59">
<text text-anchor="start" x="346.91" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- minheap::top/3 -->
<g id="node10" class="node">
<title>minheap::top/3</title>
<g id="a_node10"><a xlink:href="https://logtalk.org/library/heapp_0.html#top-3" xlink:title="https://logtalk.org/library/heapp_0.html#top&#45;3">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="367.5,-219.5 246.5,-219.5 246.5,-183.5 367.5,-183.5 367.5,-219.5"/>
<text text-anchor="start" x="254.5" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="259.75" y="-203.43" font-family="Monospace" font-size="11.00">minheap::top/3</text>
<text text-anchor="start" x="354.25" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="254.5" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="289" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="354.25" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;minheap::top/3 -->
<g id="edge11" class="edge">
<title>prove_branch/3&#45;&gt;minheap::top/3</title>
<g id="a_edge11"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59" xlink:title="calls">
<path fill="none" stroke="black" d="M486.87,-302.45C450.09,-282.01 388.78,-247.95 348.13,-225.35"/>
<polygon fill="black" stroke="black" points="350.03,-222.4 339.58,-220.61 346.63,-228.52 350.03,-222.4"/>
</a>
</g>
<g id="a_edge11&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L59">
<text text-anchor="start" x="418.83" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- minheap::delete/4 -->
<g id="node11" class="node">
<title>minheap::delete/4</title>
<g id="a_node11"><a xlink:href="https://logtalk.org/library/heapp_0.html#delete-4" xlink:title="https://logtalk.org/library/heapp_0.html#delete&#45;4">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="526.62,-219.5 385.38,-219.5 385.38,-183.5 526.62,-183.5 526.62,-219.5"/>
<text text-anchor="start" x="393.38" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="398.62" y="-203.43" font-family="Monospace" font-size="11.00">minheap::delete/4</text>
<text text-anchor="start" x="513.38" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="393.38" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="438" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="513.38" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;minheap::delete/4 -->
<g id="edge12" class="edge">
<title>prove_branch/3&#45;&gt;minheap::delete/4</title>
<g id="a_edge12"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M508.85,-302.45C498.73,-283.31 482.29,-252.22 470.43,-229.79"/>
<polygon fill="black" stroke="black" points="473.66,-228.41 465.89,-221.21 467.47,-231.69 473.66,-228.41"/>
</a>
</g>
<g id="a_edge12&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="488.86" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- counter::increment/0 -->
<g id="node12" class="node">
<title>counter::increment/0</title>
<g id="a_node12"><a xlink:href="https://logtalk.org/library/counter_0.html#increment-0" xlink:title="https://logtalk.org/library/counter_0.html#increment&#45;0">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="350.75,-100.25 189.25,-100.25 189.25,-64.25 350.75,-64.25 350.75,-100.25"/>
<text text-anchor="start" x="197.25" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="202.5" y="-84.17" font-family="Monospace" font-size="11.00">counter::increment/0</text>
<text text-anchor="start" x="337.5" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="197.25" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="252" y="-73.35" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="337.5" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;counter::increment/0 -->
<g id="edge13" class="edge">
<title>prove_branch/3&#45;&gt;counter::increment/0</title>
<g id="a_edge13"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M457.32,-304.88C454.17,-304.15 451.05,-303.44 448,-302.75 269.45,-262.65 160.33,-361.38 44.75,-219.5 -1.25,-163.04 97.29,-124.08 178.25,-102.7"/>
<polygon fill="black" stroke="black" points="178.75,-106.19 187.57,-100.31 177.01,-99.41 178.75,-106.19"/>
</a>
</g>
<g id="a_edge13&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="44.75" y="-198.57" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- minheap::insert/4 -->
<g id="node13" class="node">
<title>minheap::insert/4</title>
<g id="a_node13"><a xlink:href="https://logtalk.org/library/heapp_0.html#insert-4" xlink:title="https://logtalk.org/library/heapp_0.html#insert&#45;4">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="824.62,-219.5 683.38,-219.5 683.38,-183.5 824.62,-183.5 824.62,-219.5"/>
<text text-anchor="start" x="691.38" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="696.62" y="-203.43" font-family="Monospace" font-size="11.00">minheap::insert/4</text>
<text text-anchor="start" x="811.38" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="691.38" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="736" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="811.38" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;minheap::insert/4 -->
<g id="edge14" class="edge">
<title>prove_branch/3&#45;&gt;minheap::insert/4</title>
<g id="a_edge14"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M553.08,-302.32C594.53,-281.73 663.6,-247.41 708.97,-224.87"/>
<polygon fill="black" stroke="black" points="710.36,-228.09 717.76,-220.5 707.25,-221.82 710.36,-228.09"/>
</a>
</g>
<g id="a_edge14&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="643.08" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- minheap::insert_all/3 -->
<g id="node14" class="node">
<title>minheap::insert_all/3</title>
<g id="a_node14"><a xlink:href="https://logtalk.org/library/heapp_0.html#insert-all-3" xlink:title="https://logtalk.org/library/heapp_0.html#insert&#45;all&#45;3">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="1011.12,-219.5 842.88,-219.5 842.88,-183.5 1011.12,-183.5 1011.12,-219.5"/>
<text text-anchor="start" x="850.88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="856.12" y="-203.43" font-family="Monospace" font-size="11.00">minheap::insert_all/3</text>
<text text-anchor="start" x="997.88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="850.88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="909" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="997.88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;minheap::insert_all/3 -->
<g id="edge15" class="edge">
<title>prove_branch/3&#45;&gt;minheap::insert_all/3</title>
<g id="a_edge15"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M578.79,-302.32C652.64,-281.15 777.07,-245.48 855.46,-223.01"/>
<polygon fill="black" stroke="black" points="856.11,-226.46 864.76,-220.34 854.18,-219.74 856.11,-226.46"/>
</a>
</g>
<g id="a_edge15&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="734.76" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- ::f/4 -->
<g id="node15" class="node">
<title>::f/4</title>
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="969.25,-100.25 906.75,-100.25 906.75,-64.25 969.25,-64.25 969.25,-100.25"/>
<text text-anchor="start" x="914.75" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="921.12" y="-84.17" font-family="Monospace" font-size="11.00">::f/4</text>
<text text-anchor="start" x="956" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="914.75" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="920" y="-73.35" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="956" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
</g>
<!-- prove_branch/3&#45;&gt;::f/4 -->
<g id="edge8" class="edge">
<title>prove_branch/3&#45;&gt;::f/4</title>
<g id="a_edge8"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="calls">
<path fill="none" stroke="black" d="M578.7,-316.91C699.85,-309.83 964.77,-286.85 1020,-219.5 1049.41,-183.64 1004.91,-136.17 970.84,-107.77"/>
<polygon fill="black" stroke="black" points="973.17,-105.16 963.19,-101.59 968.77,-110.6 973.17,-105.16"/>
</a>
</g>
<g id="a_edge8&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L62">
<text text-anchor="start" x="1029.58" y="-198.57" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- rule/5 -->
<g id="node6" class="node">
<title>rule/5</title>
<g id="a_node6"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L98" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L98">
<polygon fill="cornsilk" stroke="black" points="582.5,-100.25 515.5,-100.25 515.5,-64.25 582.5,-64.25 582.5,-100.25"/>
<text text-anchor="start" x="523.5" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="528.75" y="-84.17" font-family="Monospace" font-size="11.00">rule/5</text>
<text text-anchor="start" x="569.25" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="523.5" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="537.75" y="-73.35" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="569.25" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- expand_state/4&#45;&gt;rule/5 -->
<g id="edge6" class="edge">
<title>expand_state/4&#45;&gt;rule/5</title>
<g id="a_edge6"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="calls">
<path fill="none" stroke="black" d="M596.74,-183.2C587.64,-164.15 572.88,-133.25 562.18,-110.85"/>
<polygon fill="black" stroke="black" points="565.42,-109.5 557.95,-101.99 559.1,-112.52 565.42,-109.5"/>
</a>
</g>
<g id="a_edge6&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82">
<text text-anchor="start" x="578.68" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- add_bindings/4 -->
<g id="node7" class="node">
<title>add_bindings/4</title>
<g id="a_node7"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L106" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L106">
<polygon fill="cornsilk" stroke="black" points="721.5,-100.25 600.5,-100.25 600.5,-64.25 721.5,-64.25 721.5,-100.25"/>
<text text-anchor="start" x="608.5" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="613.75" y="-84.17" font-family="Monospace" font-size="11.00">add_bindings/4</text>
<text text-anchor="start" x="708.25" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="608.5" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="649.75" y="-73.35" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="708.25" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- expand_state/4&#45;&gt;add_bindings/4 -->
<g id="edge7" class="edge">
<title>expand_state/4&#45;&gt;add_bindings/4</title>
<g id="a_edge7"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="calls">
<path fill="none" stroke="black" d="M613.26,-183.2C622.36,-164.15 637.12,-133.25 647.82,-110.85"/>
<polygon fill="black" stroke="black" points="650.9,-112.52 652.05,-101.99 644.58,-109.5 650.9,-112.52"/>
</a>
</g>
<g id="a_edge7&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82">
<text text-anchor="start" x="634.68" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- expand_state/4&#45;&gt;counter::increment/0 -->
<g id="edge16" class="edge">
<title>expand_state/4&#45;&gt;counter::increment/0</title>
<g id="a_edge16"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="calls">
<path fill="none" stroke="black" d="M555.21,-183.07C495.33,-162.12 394.89,-126.96 330.57,-104.45"/>
<polygon fill="black" stroke="black" points="331.81,-101.18 321.22,-101.18 329.5,-107.78 331.81,-101.18"/>
</a>
</g>
<g id="a_edge16&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82">
<text text-anchor="start" x="447.54" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- expand_state/4&#45;&gt;::f/4 -->
<g id="edge9" class="edge">
<title>expand_state/4&#45;&gt;::f/4</title>
<g id="a_edge9"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="calls">
<path fill="none" stroke="black" d="M654.49,-183.07C719.95,-160.02 834.21,-119.8 895.79,-98.11"/>
<polygon fill="black" stroke="black" points="896.6,-101.54 904.86,-94.92 894.27,-94.94 896.6,-101.54"/>
</a>
</g>
<g id="a_edge9&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/9bf70cf5671fecd9e925a69e9dc9701eaaea267c/contributions/verdi_neruda/best_first.lgt#L82">
<text text-anchor="start" x="781.48" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
</g>
</svg>