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.