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)
	Builds an automaton with alphabet {`l`, `l`+1, ..., `u`}, possibly allowing epsilon transitions. More...

static automaton_t	from_range (int l, int u, std::string weightset="B", bool allow_eps_transitions=false)
	Builds an automaton with alphabet {`l`, `l`+1, ..., `u`} and weightset `weightset` More...

static automaton_t	from_size (unsigned n, bool allow_eps_transitions)
	Builds a Boolean automaton with alphabet {0, 1, ..., `n`-1}, possibly allowing epsilon transitions. More...

static automaton_t	from_size (unsigned n, std::string weightset="B", bool allow_eps_transitions=false)
	Builds an automaton with alphabet {0, 1, ..., `n-1}` and weightset `weightset`. More...

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} .

automaton_t aut = automaton_t::with_int_labels::from_size(5);

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)
Builds an automaton with alphabet {0, 1, ..., n-1} and weightset weightset.

// Builds an automaton with labels in {2,3,4,5}.

automaton_t aut = automaton_t::with_int_labels::from_range(2,5);

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)
Builds an automaton with alphabet {l, l+1, ..., u} and weightset weightset

// Builds an automaton with labels in {2,3,4,5}, and with weights in Z.

automaton_t aut = automaton_t::with_int_labels::from_range(2, 5, "Z");

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

Static Public Member Functions