| <?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 2.43.0 (0) |
| --> |
| <!-- Title: TypeIs Pages: 1 --> |
| <svg width="55pt" height="84pt" |
| viewBox="0.00 0.00 55.00 84.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(4 80)"> |
| <title>TypeIs</title> |
| <polygon fill="white" stroke="transparent" points="-4,4 -4,-80 51,-80 51,4 -4,4"/> |
| <!-- Node1 --> |
| <g id="node1" class="node"> |
| <title>Node1</title> |
| <g id="a_node1"><a xlink:title=" "> |
| <polygon fill="#bfbfbf" stroke="black" points="0,-0.5 0,-19.5 47,-19.5 47,-0.5 0,-0.5"/> |
| <text text-anchor="middle" x="23.5" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">TypeIs</text> |
| </a> |
| </g> |
| </g> |
| <!-- Node2 --> |
| <g id="node2" class="node"> |
| <title>Node2</title> |
| <g id="a_node2"><a xlink:href="structarmnn_1_1_rule.html" target="_top" xlink:title=" "> |
| <polygon fill="white" stroke="black" points="4.5,-56.5 4.5,-75.5 42.5,-75.5 42.5,-56.5 4.5,-56.5"/> |
| <text text-anchor="middle" x="23.5" y="-63.5" font-family="Helvetica,sans-Serif" font-size="10.00">Rule</text> |
| </a> |
| </g> |
| </g> |
| <!-- Node2->Node1 --> |
| <g id="edge1" class="edge"> |
| <title>Node2->Node1</title> |
| <path fill="none" stroke="midnightblue" d="M23.5,-45.8C23.5,-36.91 23.5,-26.78 23.5,-19.75"/> |
| <polygon fill="midnightblue" stroke="midnightblue" points="20,-46.08 23.5,-56.08 27,-46.08 20,-46.08"/> |
| </g> |
| </g> |
| </svg> |