Public Member Functions | |
| dot (const std::string &auto_name="automaton") | |
| template<typename Saver, typename Conv> | |
| void | operator() (std::ostream &out, const Saver &s, const Conv &conv) const | 
Protected Attributes | |
| std::string | name_ | 
Definition at line 27 of file dot_format.hh.
 1.5.1