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 { final, transition }
Functions
template<class Auto>
std::deque< hstate_t >	choose_n_states (const Auto &a, unsigned n)
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)
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<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)
void	get_delimited_exp (std::istream &in, std::string &s)
template<class S, class T>
bool	xml_display (const Element< S, T > &a, const std::string &name, const bool bg=false, char *const argv[]=xml_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 }
static char *const	xml_argv [] = { "./VGI", 0 }

---

Enumeration Type Documentation

enum data_e

Enumerator:

final
transition

Definition at line 34 of file fsm_load.hxx.

---

Function Documentation

void fsm_dump	(	St &	out,
		const auto_t &	a
	)			[inline]

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()().

---