2023-04-12 09:00:24 +08:00
|
|
|
<?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">
|
2023-04-28 03:43:13 +08:00
|
|
|
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
|
2023-04-12 09:00:24 +08:00
|
|
|
-->
|
|
|
|
|
<!-- Title: transRule Pages: 1 -->
|
2023-04-28 03:43:13 +08:00
|
|
|
<svg width="68pt" height="94pt"
|
|
|
|
|
viewBox="0.00 0.00 67.50 93.75" 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 89.75)">
|
2023-04-12 09:00:24 +08:00
|
|
|
<title>transRule</title>
|
|
|
|
|
<!-- Node1 -->
|
|
|
|
|
<g id="node1" class="node">
|
|
|
|
|
<title>Node1</title>
|
|
|
|
|
<g id="a_node1"><a xlink:title="Definition for a NFA state transition rule.">
|
2023-04-28 03:43:13 +08:00
|
|
|
<polygon fill="#999999" stroke="#666666" points="58.75,-85.75 0.75,-85.75 0.75,-66.5 58.75,-66.5 58.75,-85.75"/>
|
|
|
|
|
<text text-anchor="middle" x="29.75" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">transRule</text>
|
2023-04-12 09:00:24 +08:00
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node2 -->
|
|
|
|
|
<g id="node2" class="node">
|
|
|
|
|
<title>Node2</title>
|
|
|
|
|
<g id="a_node2"><a xlink:href="../../d4/d97/struct_n_f_a_state.html" target="_top" xlink:title="Definition for a NFA state.">
|
2023-04-28 03:43:13 +08:00
|
|
|
<polygon fill="white" stroke="#666666" points="59.5,-19.25 0,-19.25 0,0 59.5,0 59.5,-19.25"/>
|
|
|
|
|
<text text-anchor="middle" x="29.75" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">NFAState</text>
|
2023-04-12 09:00:24 +08:00
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node1->Node2 -->
|
|
|
|
|
<g id="edge2" class="edge">
|
|
|
|
|
<title>Node1->Node2</title>
|
2023-04-28 03:43:13 +08:00
|
|
|
<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M9.91,-58.49C7.4,-55.44 5.21,-52.08 3.75,-48.5 -0.64,-37.72 8.43,-26.91 17.04,-19.62"/>
|
|
|
|
|
<polygon fill="#9a32cd" stroke="#9a32cd" points="6.96,-60.49 16.46,-65.17 11.95,-55.59 6.96,-60.49"/>
|
|
|
|
|
<text text-anchor="middle" x="15.75" y="-39" font-family="Helvetica,sans-Serif" font-size="10.00"> rules</text>
|
2023-04-12 09:00:24 +08:00
|
|
|
</g>
|
|
|
|
|
<!-- Node2->Node1 -->
|
|
|
|
|
<g id="edge1" class="edge">
|
|
|
|
|
<title>Node2->Node1</title>
|
2023-04-28 03:43:13 +08:00
|
|
|
<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M31.4,-30.39C31.54,-32.7 31.67,-35.03 31.75,-37.25 32.12,-47.12 31.37,-58.43 30.69,-66.1"/>
|
|
|
|
|
<polygon fill="#9a32cd" stroke="#9a32cd" points="34.82,-30.2 30.58,-20.49 27.84,-30.72 34.82,-30.2"/>
|
|
|
|
|
<text text-anchor="middle" x="45.62" y="-39" font-family="Helvetica,sans-Serif" font-size="10.00"> target</text>
|
2023-04-12 09:00:24 +08:00
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
</svg>
|
