Awali
Another Weighted Automata library
Static Public Member Functions
awali::dyn::ratexp_t::with_tuple_labels Struct Reference

#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")
 

Detailed Description

Helper class that contains convenience factories to build expressions whose labels are tuples.


The documentation for this struct was generated from the following file: