00001 
00002 
00003 
00004 
00005 
00006 
00007 
00008 
00009 
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 
00018 #ifndef VCSN_TOOLS_XML_DISPLAY_HH
00019 # define VCSN_TOOLS_XML_DISPLAY_HH
00020 
00029 # include <vaucanson/design_pattern/element.hh>
00030 
00031 # include <string>
00032 
00033 namespace vcsn
00034 {
00035   namespace tools
00036   {
00037     static char *const xml_argv[] = { "./VGI", 0 };
00038 
00039     template <class S, class T>
00040     bool
00041     xml_display(const Element<S, T>& a,
00042                 const std::string& name,
00043                 const bool bg = false,
00044                 char *const argv[] = xml_argv);
00045   }
00046 }
00047 
00048 # if !defined VCSN_USE_INTERFACE_ONLY || defined VCSN_USE_LIB
00049 # include <vaucanson/tools/xml_display.hxx>
00050 # endif // VCSN_USE_INTERFACE_ONLY
00051 
00052 #endif // ! VCSN_TOOLS_XML_DISPLAY_HH