<map id="EdgeRing.h" name="EdgeRing.h">
<area shape="rect" id="node2" href="$HoleAssigner_8h.html" title="HoleAssigner.h" alt="" coords="5,81,125,109"/>
</map>