<area shape="rect" href="$a00567.html" title="XML main file." alt="" coords="151,84,220,111">
<area shape="rect" href="$a00575.html" title="Calls a method to display an automaton &#39;a&#39; in XML format on the stream &#39;o&#39;..." alt="" coords="67,161,176,188">
<area shape="rect" href="$a00579.html" title="Calls a method to fill the automaton &#39;a&#39; by reading on &#39;i&#39;." alt="" coords="200,161,299,188">
<area shape="rect" href="$a00740.html" title="dumper.hxx" alt="" coords="5,239,104,265">
<area shape="rect" href="$a00574.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="128,239,251,265">
<area shape="rect" href="$a00252.html" title="Wrap calls to dumpers for various formats." alt="" coords="9,316,100,343">
<area shape="rect" href="$a00573.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="132,316,247,343">
