![]() |
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 | ) |