<map id="std::has_virtual_destructor&lt; _Tp &gt;" name="std::has_virtual_destructor&lt; _Tp &gt;">
<area shape="rect" id="node1" title="has_virtual_destructor" alt="" coords="5,105,171,144"/>
<area shape="rect" id="node2" href="$a03040.html" title=" " alt="" coords="19,5,157,57"/>
</map>