Awali
Another Weighted Automata library
Deprecated List
Global awali::dyn::internal::standard (ratexp_t exp)
Use exp_to_aut(exp,{EXP_TO_AUT_ALGO=STANDARD}) instead.
Global awali::dyn::ratexp_t::from_context (std::string str, context::labelset_description ld, context::weightset_description wd, bool fixed_alphabet=true)
Since version 2.1, this function is replaced by the constructor ratexp_t(std::string,context::labelset_description,context::weightset_description,bool).