<map id="G" name="G">
<area shape="rect" id="node3" href="$a00828.html" title="Calls a method to display an automaton &#39;a&#39; in XML format on the stream &#39;o&#39;." alt="" coords="64,83,173,112"/>
<area shape="rect" id="node5" href="$a00348_source.html" title="dumper.hxx" alt="" coords="5,160,101,189"/>
<area shape="rect" id="node9" href="$a00827.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="125,160,245,189"/>
<area shape="rect" id="node7" href="$a00347.html" title="Wrap calls to dumpers for various formats." alt="" coords="8,237,99,267"/>
<area shape="rect" id="node11" href="$a00826.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="128,237,243,267"/>
</map>
