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