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

Helper class that contains convenience constructor for automata with int labels. More...

#include <automaton.hh>

Static Public Member Functions

static automaton_t from_range (int l, int u, bool allow_eps_transitions)
 
static automaton_t from_range (int l, int u, std::string weightset="B", bool allow_eps_transitions=false)
 
static automaton_t from_size (unsigned n, bool allow_eps_transitions)
 
static automaton_t from_size (unsigned n, std::string weightset="B", bool allow_eps_transitions=false)
 

Detailed Description

Helper class that contains convenience constructor for automata with int labels.

Example
// Builds an automaton with labels in {0,1,2,3,4} .
// Builds an automaton with labels in {2,3,4,5}.
// Builds an automaton with labels in {2,3,4,5}, and with weights in Z.
Beware
This is an abstract class. Do not try to instantiate.

The documentation for this struct was generated from the following file:
awali::dyn::automaton_t::with_int_labels::from_range
static automaton_t from_range(int l, int u, std::string weightset="B", bool allow_eps_transitions=false)
awali::dyn::automaton_t::automaton_t
automaton_t()
Buils an automaton_t that is essentially a nullptr; should generally not be used.
awali::dyn::automaton_t::with_int_labels::from_size
static automaton_t from_size(unsigned n, std::string weightset="B", bool allow_eps_transitions=false)