<map id="G" name="G">
<area shape="rect" id="node3" href="$a00825_source.html" title="XML.hxx" alt="" coords="145,83,220,112"/>
<area shape="rect" id="node5" href="$a00824.html" title="XML Format functor to load and save an automaton." alt="" coords="148,160,217,189"/>
<area shape="rect" id="node7" 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,237,173,267"/>
<area shape="rect" id="node17" href="$a00832.html" title="Calls a method to fill the automaton &#39;a&#39; by reading on &#39;i&#39;." alt="" coords="197,237,296,267"/>
<area shape="rect" id="node9" href="$a00348_source.html" title="dumper.hxx" alt="" coords="5,315,101,344"/>
<area shape="rect" id="node13" href="$a00827.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="125,315,245,344"/>
<area shape="rect" id="node11" href="$a00347.html" title="Wrap calls to dumpers for various formats." alt="" coords="8,392,99,421"/>
<area shape="rect" id="node15" href="$a00826.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="128,392,243,421"/>
</map>
