![]() |
Awali
Another Weighted Automata library
|
Go to the source code of this file.
Namespaces | |
| awali | |
| Main namespace of Awali. | |
| awali::internal | |
| Namespace containing implementation details of elements common to sttc and dyn layers (not stable). | |
Macros | |
| #define | GENERATE_MAKE_ENUM(enum_t) |
Functions | |
| std::string | awali::default_extension_of (io_format_t val) |
| Return the default extension of a file written in given format. More... | |
| int | awali::internal::enum_of_string (const std::string &enum_name, const std::string &value) |
| direction_t | awali::make_direction (std::string const &name) |
| Builds a direction_t from a string describing its name. More... | |
| template<typename T = direction_t> | |
| auto | awali::internal::make_enum (std::string const &str) -> typename std::enable_if< std::is_same< T, direction_t >::value, T >::type |
| exp_to_aut_algo_t | awali::make_exp_to_aut_algo (std::string const &name) |
| Builds a exp_to_aut_algo_t from a string describing its name. More... | |
| io_format_t | awali::make_io_format (std::string const &name) |
| Builds a io_format_t from a string describing its name. More... | |
| layout_t | awali::make_layout (std::string const &name) |
| Builds a layout_t from a string describing its name. More... | |
| quotient_algo_t | awali::make_quotient_algo (std::string const &name) |
| Builds a quotient_algo_t from a string describing its name. More... | |
| state_elim_order_t | awali::make_state_elim_order_t (std::string const &name) |
| Builds a state_elim_order_t from a string describing its name. More... | |
| std::string | awali::name_of (direction_t val) |
| Return the canonical string reprensation of given direction_t. More... | |
| std::string | awali::name_of (exp_to_aut_algo_t val) |
| Return the canonical string reprensation of given exp_to_aut_algo_t. More... | |
| std::string | awali::name_of (io_format_t val) |
| Return the canonical string reprensation of given io_format_t. More... | |
| std::string | awali::name_of (layout_t val) |
| Return the canonical string reprensation of given layout_t. More... | |
| std::string | awali::name_of (quotient_algo_t val) |
| Return the canonical string reprensation of given quotient_algo_t. More... | |
| std::string | awali::name_of (state_elim_order_t val) |
| Return the canonical string reprensation of given state_elim_order_t. More... | |
| #define GENERATE_MAKE_ENUM | ( | enum_t | ) |