vcsn::tools Namespace Reference

Classes
struct	dot
struct	transducer_dot
struct	dumper
struct	line_data
class	GenRandomAutomataSet
class	GenRandomAutomata
struct	automaton_saver_
struct	string_out
struct	automaton_loader_
struct	simple
struct	usual_converter_exp
struct	usual_converter_poly
Enumerations
enum	data_e
Functions
template<class Auto>
std::deque< typename Auto::hstate_t >	choose_n_states (const Auto &a, unsigned n)
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)
void	name_escaper (std::ostream &, const std::string &)
	Escape automaton names.
int	string_to_int (const std::string &s)
	Return the decimal value of s.
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)
static unsigned	alea (unsigned max)
template<typename Auto, typename TransitionConverter, typename Format>
std::ostream &	operator<< (std::ostream &, const automaton_saver_< Auto, TransitionConverter, Format > &)
template<typename Auto, typename TransitionConverter, typename Format>
std::istream &	operator>> (std::istream &, automaton_loader_< Auto, TransitionConverter, Format >)
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)
void	get_delimited_exp (std::istream &in, std::string &s)
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 const char *const	dotty_argv [] = { "dotty", "-", 0 }
static const char *const	xml_argv [] = { "./VGI", 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.

Referenced by dumper::operator()().

---