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 const 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 const 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