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: