00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_TOOLS_DOT_DISPLAY_HXX
00018 # define VCSN_TOOLS_DOT_DISPLAY_HXX
00019
00028 # include <vaucanson/tools/dot_display.hh>
00029
00030 # include <vaucanson/automata/concept/automata_base.hh>
00031 # include <vaucanson/tools/dot_dump.hh>
00032
00033 # include <ostream>
00034 # include <string>
00035 # include <vaucanson/tools/out_display.hh>
00036
00037 namespace vcsn {
00038
00039 namespace tools {
00040
00041 template <class S, class T>
00042 bool
00043 dot_display(const Element<S, T>& a,
00044 const std::string& name,
00045 const bool bg,
00046 const char *const argv[])
00047 {
00048 return out_display(a.structure(), a.value(),
00049 a, name, bg, argv,
00050 dot_dump<Element<S, T> >);
00051 }
00052
00053 }
00054
00055 }
00056
00057 #endif // ! VCSN_TOOLS_DOT_DISPLAY_HXX