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