Go to the documentation of this file.
18 #ifndef VCSN_TOOLS_XML_DISPLAY_HH
19 # define VCSN_TOOLS_XML_DISPLAY_HH
37 static const char *
const xml_argv[] = {
"./VGI", 0 };
39 template <
class S,
class T>
41 xml_display(
const Element<S, T>& a,
42 const std::string& name,
43 const bool bg =
false,
44 const char *
const argv[] = xml_argv);
48 # if !defined VCSN_USE_INTERFACE_ONLY || defined VCSN_USE_LIB
50 # endif // VCSN_USE_INTERFACE_ONLY
52 #endif // ! VCSN_TOOLS_XML_DISPLAY_HH