<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,84,176,111">
<area shape="rect" href="$a00740.html" title="dumper.hxx" alt="" coords="5,161,104,188">
<area shape="rect" href="$a00574.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="128,161,251,188">
<area shape="rect" href="$a00252.html" title="Wrap calls to dumpers for various formats." alt="" coords="9,239,100,265">
<area shape="rect" href="$a00573.html" title="Calls out_display with xml_dump as the function to launch by out_display." alt="" coords="132,239,247,265">
