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

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

Detailed Description

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

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