<map id="G" name="G">
<area shape="rect" id="node5" href="$class_abc_warm_start.html" title="AbcWarmStart" alt="" coords="24,160,144,189"/>
<area shape="rect" id="node2" href="$class_coin_warm_start.html" title="Abstract base class for warm start information." alt="" coords="23,5,145,35"/>
</map>
