<map id="G" name="G">
<area shape="rect" id="node3" href="$a00062.html" title="geometry\&lt; hstate_t, hedge_t, GeometryCoords \&gt;" alt="" coords="649,5,993,35"/>
<area shape="rect" id="node5" href="$a00062.html" title="geometry\&lt; hstate_t, htransition_t, GeometryCoords \&gt;" alt="" coords="636,59,1007,88"/>
</map>
