<?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.40.1 (20161225.0304)
 -->
<!-- Title: Graphical Class Hierarchy Pages: 1 -->
<svg width="272pt" height="47pt"
 viewBox="0.00 0.00 272.00 47.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 43)">
<title>Graphical Class Hierarchy</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-43 268,-43 268,4 -4,4"/>
<!-- Node0 -->
<g id="node1" class="node">
<title>Node0</title>
<g id="a_node1"><a xlink:href="a03040.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="0,-.5 0,-38.5 104,-38.5 104,-.5 0,-.5"/>
<text text-anchor="start" x="8" y="-27.3" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">std::integral_constant</text>
<text text-anchor="start" x="8" y="-17.3" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">&lt; bool, __has_virtual</text>
<text text-anchor="middle" x="52" y="-7.3" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">_destructor(_Tp)&gt;</text>
</a>
</g>
</g>
<!-- Node1 -->
<g id="node2" class="node">
<title>Node1</title>
<g id="a_node2"><a xlink:href="a03852.html" target="_top" xlink:title="has_virtual_destructor">
<polygon fill="#ffffff" stroke="#000000" points="140,-5.5 140,-33.5 264,-33.5 264,-5.5 140,-5.5"/>
<text text-anchor="start" x="148" y="-22.3" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">std::has_virtual_destructor</text>
<text text-anchor="middle" x="202" y="-12.3" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">&lt; _Tp &gt;</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node1 -->
<g id="edge1" class="edge">
<title>Node0&#45;&gt;Node1</title>
<path fill="none" stroke="#191970" d="M114.2671,-19.5C122.7664,-19.5 131.4904,-19.5 139.9852,-19.5"/>
<polygon fill="#191970" stroke="#191970" points="114.0418,-16.0001 104.0418,-19.5 114.0417,-23.0001 114.0418,-16.0001"/>
</g>
</g>
</svg>