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.
Generated on Tue Sep 7 2021 19:41:31 for Awali by doxygen 1.9.1