<map id="spot/parseaut/parseaut.hh" name="spot/parseaut/parseaut.hh">
<area shape="rect" id="node2" href="$parseaut_2parsedecl_8hh_source.html" title="spot/parseaut/parsedecl.hh" alt="" coords="5,80,184,107"/>
</map>
