blob: fc85dcb84c4fc4c8cd33c4865c0fcb258c9ce573 [file] [log] [blame]
<?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.38.0 (20140413.2041)
-->
<!-- Title: is_floating_point&lt; half &gt; Pages: 1 -->
<svg width="110pt" height="95pt"
viewBox="0.00 0.00 110.00 95.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 91)">
<title>is_floating_point&lt; half &gt;</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-91 106,-91 106,4 -4,4"/>
<!-- Node0 -->
<g id="node1" class="node"><title>Node0</title>
<g id="a_node1"><a xlink:title=" ">
<polygon fill="#bfbfbf" stroke="black" points="-7.10543e-15,-0.5 -7.10543e-15,-30.5 102,-30.5 102,-0.5 -7.10543e-15,-0.5"/>
<text text-anchor="start" x="8" y="-18.5" font-family="Helvetica,sans-Serif" font-size="10.00">is_floating_point&lt;</text>
<text text-anchor="middle" x="51" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00"> half &gt;</text>
</a>
</g>
</g>
<!-- Node1 -->
<g id="node2" class="node"><title>Node1</title>
<g id="a_node2"><a xlink:title=" ">
<polygon fill="white" stroke="#bfbfbf" points="20,-67.5 20,-86.5 82,-86.5 82,-67.5 20,-67.5"/>
<text text-anchor="middle" x="51" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">true_type</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node0 -->
<g id="edge1" class="edge"><title>Node1&#45;&gt;Node0</title>
<path fill="none" stroke="midnightblue" d="M51,-57.2349C51,-48.5864 51,-38.4969 51,-30.523"/>
<polygon fill="midnightblue" stroke="midnightblue" points="47.5001,-57.4751 51,-67.4751 54.5001,-57.4751 47.5001,-57.4751"/>
</g>
</g>
</svg>