Classes | |
struct | dumper |
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) |
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) |
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) |
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 } |
|
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()(). |