vcsn::tools Namespace Reference

Classes
struct	line_data
Enumerations
enum	data_e
Functions
template<class S, class T>
bool	dot_display (const Element< S, T > &a, const std::string &name, const bool bg=false, char *const argv[]=dotty_argv)
template<typename Auto>
void	dot_dump (std::ostream &o, const Auto &a, const std::string &name)
template<class S, class Auto>
void	dot_dump (const AutomataBase< S > &, std::ostream &o, const Auto &a, const std::string &name)
template<class S, class Auto>
void	dot_dump (const TransducerBase< S > &, std::ostream &o, const Auto &a, const std::string &name)
template<typename St, typename auto_t>
void	fsm_dump (St &out, const auto_t &a)
	Basic and non configurable saver in the 'fsm' format.
template<typename St, typename AutoType_>
void	fsm_load (St &in, AutoType_ &a)
	Basic and non configurable loader in the 'fsm' format.
std::pair< std::string, std::string >	next_token (std::string line)
template<class Auto_>
Auto_	lombardy (unsigned size)
template<class S, class T>
bool	out_display (const AutomataBase< S > &, const T &, const Element< S, T > &a, const std::string &name, const bool bg, char *const argv[], void(*function)(std::ostream &o, const Element< S, T > &a, const std::string &name))
template<typename Auto, typename Converter>
void	simple_dump (std::ostream &o, const Auto &a, const Converter &conv)
template<class S, class Auto, class Converter>
void	simple_dump (const AutomataBase< S > &, std::ostream &o, const Auto &a, const Converter &conv)
std::set< char >	usual_escaped_characters ()
	Return a set filled with ".+*()\ 10[]".
template<class S, class T>
bool	xml_display (const Element< S, T > &a, const std::string &name, const bool bg, char *const argv[])
template<typename Auto>
void	xml_dump (std::ostream &o, const Auto &a, const std::string &name)
template<typename Auto, class IStream>
void	xml_load (IStream &i, Auto &a)
Variables
static char *const	dotty_argv [] = { "dotty", "-", 0 }

---

Function Documentation

void fsm_dump (  St &  out, const auto_t &  a )

Basic and non configurable saver in the 'fsm' format. Every elements (series, state_content ...) must be printable. Definition at line 41 of file fsm_dump.hxx.

---