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)
.
Generated on Tue Dec 20 2022 19:47:02 for Awali by
1.9.1