docs/bfs_interpreter_object_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: bfs_interpreter_object Pages: 1 -->
<svg width="1101pt" height="776pt"
 viewBox="72.00 72.00 1029.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>bfs_interpreter_object</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-628 953,-628 953,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 object bfs_interpreter</text>
<text text-anchor="start" x="8" y="-7.25" font-family="Monospace" font-size="10.00" fill="dimgray">Generated on 2025&#45;04&#45;08, 11:18</text>
<g id="clust1" class="cluster">
<title>cluster_bfs_interpreter_object</title>
<g id="a_clust1"><a xlink:title="bfs_interpreter">
<path fill="snow" stroke="dimgray" d="M20,-54.25C20,-54.25 929,-54.25 929,-54.25 935,-54.25 941,-60.25 941,-66.25 941,-66.25 941,-604 941,-604 941,-610 935,-616 929,-616 929,-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/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt">
<text text-anchor="start" x="20" y="-598.5" font-family="Monospace" font-size="10.00" fill="dimgray">bfs_interpreter</text>
</a>
</g>
</a>
</g>
</g>
<!-- prove/2 -->
<g id="node1" class="node">
<title>prove/2</title>
<g id="a_node1"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L45" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L45">
<polygon fill="cornsilk" stroke="black" points="456.88,-577.25 383.12,-577.25 383.12,-541.25 456.88,-541.25 456.88,-577.25"/>
<text text-anchor="start" x="391.12" y="-561.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="396.38" y="-561.17" font-family="Monospace" font-size="11.00">prove/2</text>
<text text-anchor="start" x="443.62" y="-561.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="391.12" y="-549.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="408.75" y="-550.35" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="443.62" y="-549.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/3 -->
<g id="node2" class="node">
<title>prove/3</title>
<g id="a_node2"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48">
<polygon fill="cornsilk" stroke="black" points="402.88,-458 329.12,-458 329.12,-422 402.88,-422 402.88,-458"/>
<text text-anchor="start" x="337.12" y="-442.7" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="342.38" y="-441.93" font-family="Monospace" font-size="11.00">prove/3</text>
<text text-anchor="start" x="389.62" y="-442.7" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="337.12" y="-430.32" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="354.75" y="-431.1" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="389.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/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L45" xlink:title="calls">
<path fill="none" stroke="black" d="M412.03,-540.95C403.26,-521.9 389.03,-491 378.71,-468.6"/>
<polygon fill="black" stroke="black" points="382,-467.37 374.63,-459.75 375.64,-470.29 382,-467.37"/>
</a>
</g>
<g id="a_edge1&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L45" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L45">
<text text-anchor="start" x="394.62" y="-496.7" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- prove_branch/3 -->
<g id="node3" class="node">
<title>prove_branch/3</title>
<g id="a_node3"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53">
<polygon fill="cornsilk" stroke="black" points="499.5,-338.75 378.5,-338.75 378.5,-302.75 499.5,-302.75 499.5,-338.75"/>
<text text-anchor="start" x="386.5" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="391.75" y="-322.68" font-family="Monospace" font-size="11.00">prove_branch/3</text>
<text text-anchor="start" x="486.25" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="386.5" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="427.75" y="-311.85" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="486.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/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48" xlink:title="calls">
<path fill="none" stroke="black" d="M376.77,-421.7C388.74,-402.48 408.22,-371.19 422.2,-348.74"/>
<polygon fill="black" stroke="black" points="425.07,-350.75 427.38,-340.41 419.13,-347.05 425.07,-350.75"/>
</a>
</g>
<g id="a_edge2&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48">
<text text-anchor="start" x="404.69" y="-377.45" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- queue::jump/3 -->
<g id="node8" class="node">
<title>queue::jump/3</title>
<g id="a_node8"><a xlink:href="https://logtalk.org/library/queuep_0.html#jump-3" xlink:title="https://logtalk.org/library/queuep_0.html#jump&#45;3">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="360.12,-338.75 245.88,-338.75 245.88,-302.75 360.12,-302.75 360.12,-338.75"/>
<text text-anchor="start" x="253.88" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="259.12" y="-322.68" font-family="Monospace" font-size="11.00">queue::jump/3</text>
<text text-anchor="start" x="346.88" y="-323.45" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="253.88" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="285" y="-311.85" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="346.88" y="-311.07" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove/3&#45;&gt;queue::jump/3 -->
<g id="edge8" class="edge">
<title>prove/3&#45;&gt;queue::jump/3</title>
<g id="a_edge8"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48" xlink:title="calls">
<path fill="none" stroke="black" d="M356.7,-421.7C346.42,-402.56 329.72,-371.47 317.67,-349.04"/>
<polygon fill="black" stroke="black" points="320.87,-347.61 313.05,-340.45 314.7,-350.92 320.87,-347.61"/>
</a>
</g>
<g id="a_edge8&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L48">
<text text-anchor="start" x="336.39" 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/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="calls">
<path fill="none" stroke="black" d="M437.77,-339.22C435.45,-371.85 430.2,-444.29 425,-505.25 424.32,-513.2 423.53,-521.81 422.78,-529.74"/>
<polygon fill="black" stroke="black" points="419.31,-529.28 421.84,-539.56 426.28,-529.94 419.31,-529.28"/>
</a>
</g>
<g id="a_edge4&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57">
<text text-anchor="start" x="431.51" y="-437.07" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- expand_state/3 -->
<g id="node4" class="node">
<title>expand_state/3</title>
<g id="a_node4"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L75" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L75">
<polygon fill="cornsilk" stroke="black" points="771.5,-219.5 650.5,-219.5 650.5,-183.5 771.5,-183.5 771.5,-219.5"/>
<text text-anchor="start" x="658.5" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="663.75" y="-203.43" font-family="Monospace" font-size="11.00">expand_state/3</text>
<text text-anchor="start" x="758.25" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="658.5" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="699.75" y="-192.6" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="758.25" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;expand_state/3 -->
<g id="edge5" class="edge">
<title>prove_branch/3&#45;&gt;expand_state/3</title>
<g id="a_edge5"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="calls">
<path fill="none" stroke="black" d="M479.43,-302.32C527.61,-281.55 608.15,-246.84 660.41,-224.31"/>
<polygon fill="black" stroke="black" points="661.61,-227.6 669.4,-220.43 658.84,-221.17 661.61,-227.6"/>
</a>
</g>
<g id="a_edge5&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57">
<text text-anchor="start" x="583.16" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- execute_bindings/1 -->
<g id="node6" class="node">
<title>execute_bindings/1</title>
<g id="a_node6"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L100" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L100">
<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/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53" xlink:title="calls">
<path fill="none" stroke="black" d="M396.64,-302.32C346.05,-281.51 261.41,-246.69 206.66,-224.16"/>
<polygon fill="black" stroke="black" points="208.11,-220.97 197.53,-220.41 205.44,-227.45 208.11,-220.97"/>
</a>
</g>
<g id="a_edge3&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53">
<text text-anchor="start" x="305.05" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- queue::head/2 -->
<g id="node9" class="node">
<title>queue::head/2</title>
<g id="a_node9"><a xlink:href="https://logtalk.org/library/queuep_0.html#head-2" xlink:title="https://logtalk.org/library/queuep_0.html#head&#45;2">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="360.12,-219.5 245.88,-219.5 245.88,-183.5 360.12,-183.5 360.12,-219.5"/>
<text text-anchor="start" x="253.88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="259.12" y="-203.43" font-family="Monospace" font-size="11.00">queue::head/2</text>
<text text-anchor="start" x="346.88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="253.88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="285" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="346.88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;queue::head/2 -->
<g id="edge9" class="edge">
<title>prove_branch/3&#45;&gt;queue::head/2</title>
<g id="a_edge9"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53" xlink:title="calls">
<path fill="none" stroke="black" d="M418.93,-302.45C395.83,-282.53 357.71,-249.67 331.53,-227.1"/>
<polygon fill="black" stroke="black" points="334.16,-224.74 324.3,-220.86 329.58,-230.04 334.16,-224.74"/>
</a>
</g>
<g id="a_edge9&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L53">
<text text-anchor="start" x="375.08" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- queue::serve/3 -->
<g id="node10" class="node">
<title>queue::serve/3</title>
<g id="a_node10"><a xlink:href="https://logtalk.org/library/queuep_0.html#serve-3" xlink:title="https://logtalk.org/library/queuep_0.html#serve&#45;3">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="499.5,-219.5 378.5,-219.5 378.5,-183.5 499.5,-183.5 499.5,-219.5"/>
<text text-anchor="start" x="386.5" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="391.75" y="-203.43" font-family="Monospace" font-size="11.00">queue::serve/3</text>
<text text-anchor="start" x="486.25" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="386.5" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="421" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="486.25" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;queue::serve/3 -->
<g id="edge10" class="edge">
<title>prove_branch/3&#45;&gt;queue::serve/3</title>
<g id="a_edge10"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="calls">
<path fill="none" stroke="black" d="M439,-302.45C439,-283.75 439,-253.62 439,-231.33"/>
<polygon fill="black" stroke="black" points="442.5,-231.39 439,-221.39 435.5,-231.39 442.5,-231.39"/>
</a>
</g>
<g id="a_edge10&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57">
<text text-anchor="start" x="439" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- queue::join/3 -->
<g id="node11" class="node">
<title>queue::join/3</title>
<g id="a_node11"><a xlink:href="https://logtalk.org/library/queuep_0.html#join-3" xlink:title="https://logtalk.org/library/queuep_0.html#join&#45;3">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="632.12,-219.5 517.88,-219.5 517.88,-183.5 632.12,-183.5 632.12,-219.5"/>
<text text-anchor="start" x="525.88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="531.12" y="-203.43" font-family="Monospace" font-size="11.00">queue::join/3</text>
<text text-anchor="start" x="618.88" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="525.88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="557" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="618.88" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;queue::join/3 -->
<g id="edge11" class="edge">
<title>prove_branch/3&#45;&gt;queue::join/3</title>
<g id="a_edge11"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="calls">
<path fill="none" stroke="black" d="M459.07,-302.45C482.17,-282.53 520.29,-249.67 546.47,-227.1"/>
<polygon fill="black" stroke="black" points="548.42,-230.04 553.7,-220.86 543.84,-224.74 548.42,-230.04"/>
</a>
</g>
<g id="a_edge11&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57">
<text text-anchor="start" x="511.08" 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="397.75,-100.25 236.25,-100.25 236.25,-64.25 397.75,-64.25 397.75,-100.25"/>
<text text-anchor="start" x="244.25" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="249.5" y="-84.17" font-family="Monospace" font-size="11.00">counter::increment/0</text>
<text text-anchor="start" x="384.5" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="244.25" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="299" y="-73.35" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="384.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="edge12" class="edge">
<title>prove_branch/3&#45;&gt;counter::increment/0</title>
<g id="a_edge12"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="calls">
<path fill="none" stroke="black" d="M378.32,-304.82C268.39,-277.71 47.35,-222.85 44.75,-219.5 -10,-149.09 125.72,-112.3 224.6,-95.41"/>
<polygon fill="black" stroke="black" points="225.07,-98.88 234.36,-93.79 223.92,-91.97 225.07,-98.88"/>
</a>
</g>
<g id="a_edge12&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57">
<text text-anchor="start" x="44.75" y="-198.57" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- queue::join_all/3 -->
<g id="node13" class="node">
<title>queue::join_all/3</title>
<g id="a_node13"><a xlink:href="https://logtalk.org/library/queuep_0.html#join-all-3" xlink:title="https://logtalk.org/library/queuep_0.html#join&#45;all&#45;3">
<polygon fill="beige" stroke="black" stroke-dasharray="5,2" points="930.62,-219.5 789.38,-219.5 789.38,-183.5 930.62,-183.5 930.62,-219.5"/>
<text text-anchor="start" x="797.38" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="802.62" y="-203.43" font-family="Monospace" font-size="11.00">queue::join_all/3</text>
<text text-anchor="start" x="917.38" y="-204.2" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="797.38" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="842" y="-192.6" font-family="Monospace" font-size="7.00">external</text>
<text text-anchor="start" x="917.38" y="-191.82" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- prove_branch/3&#45;&gt;queue::join_all/3 -->
<g id="edge13" class="edge">
<title>prove_branch/3&#45;&gt;queue::join_all/3</title>
<g id="a_edge13"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="calls">
<path fill="none" stroke="black" d="M499.77,-302.83C575.61,-281.7 705.21,-245.61 786.54,-222.96"/>
<polygon fill="black" stroke="black" points="787.04,-226.45 795.73,-220.4 785.16,-219.71 787.04,-226.45"/>
</a>
</g>
<g id="a_edge13&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L57">
<text text-anchor="start" x="662.12" y="-258.2" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- add_bindings/5 -->
<g id="node5" class="node">
<title>add_bindings/5</title>
<g id="a_node5"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L94" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L94">
<polygon fill="cornsilk" stroke="black" points="722.5,-100.25 601.5,-100.25 601.5,-64.25 722.5,-64.25 722.5,-100.25"/>
<text text-anchor="start" x="609.5" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="614.75" y="-84.17" font-family="Monospace" font-size="11.00">add_bindings/5</text>
<text text-anchor="start" x="709.25" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="609.5" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="650.75" y="-73.35" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="709.25" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- expand_state/3&#45;&gt;add_bindings/5 -->
<g id="edge7" class="edge">
<title>expand_state/3&#45;&gt;add_bindings/5</title>
<g id="a_edge7"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76" xlink:title="calls">
<path fill="none" stroke="black" d="M703.77,-183.2C695.84,-164.24 683.01,-133.53 673.66,-111.15"/>
<polygon fill="black" stroke="black" points="676.93,-109.9 669.84,-102.02 670.47,-112.59 676.93,-109.9"/>
</a>
</g>
<g id="a_edge7&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76">
<text text-anchor="start" x="687.97" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- rule/4 -->
<g id="node7" class="node">
<title>rule/4</title>
<g id="a_node7"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L105" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L105">
<polygon fill="cornsilk" stroke="black" points="807.5,-100.25 740.5,-100.25 740.5,-64.25 807.5,-64.25 807.5,-100.25"/>
<text text-anchor="start" x="748.5" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="753.75" y="-84.17" font-family="Monospace" font-size="11.00">rule/4</text>
<text text-anchor="start" x="794.25" y="-84.95" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="748.5" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
<text text-anchor="start" x="762.75" y="-73.35" font-family="Monospace" font-size="7.00">local</text>
<text text-anchor="start" x="794.25" y="-72.58" font-family="Monospace" font-size="9.00"> </text>
</a>
</g>
</g>
<!-- expand_state/3&#45;&gt;rule/4 -->
<g id="edge6" class="edge">
<title>expand_state/3&#45;&gt;rule/4</title>
<g id="a_edge6"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76" xlink:title="calls">
<path fill="none" stroke="black" d="M720.3,-183.2C730.58,-164.06 747.28,-132.97 759.33,-110.54"/>
<polygon fill="black" stroke="black" points="762.3,-112.42 763.95,-101.95 756.13,-109.11 762.3,-112.42"/>
</a>
</g>
<g id="a_edge6&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76">
<text text-anchor="start" x="744.39" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
<!-- expand_state/3&#45;&gt;counter::increment/0 -->
<g id="edge14" class="edge">
<title>expand_state/3&#45;&gt;counter::increment/0</title>
<g id="a_edge14"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76" xlink:title="calls">
<path fill="none" stroke="black" d="M652.44,-183.07C581.44,-161.94 461.93,-126.38 386.38,-103.9"/>
<polygon fill="black" stroke="black" points="387.59,-100.61 377.01,-101.11 385.6,-107.32 387.59,-100.61"/>
</a>
</g>
<g id="a_edge14&#45;label"><a xlink:href="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76" xlink:title="https://github.com/LogtalkDotOrg/logtalk3/tree/1e144c1dab3be45ad1c8123b50c0556d7649473f/contributions/verdi_neruda/bfs_interpreter.lgt#L76">
<text text-anchor="start" x="525.81" y="-138.95" font-family="Monospace" font-size="9.00">calls</text>
</a>
</g>
</g>
</g>
</svg>