Awali
Another Weighted Automata library
|
Helper class that contains convenience factories to build expressions whose labels are tuples. More...
#include <ratexp.hh>
Static Public Member Functions | |
static ratexp_t | from (std::string str, std::vector< std::string > alphabets, std::string weightset="B") |
static ratexp_t | from (std::string str, unsigned n, std::string weightset="B") |
Helper class that contains convenience factories to build expressions whose labels are tuples.