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)
	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); 

// Builds an automaton with labels in {2,3,4,5}.
automaton_t aut = automaton_t::with_int_labels::from_range(2,5); 

// 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"); 

Beware

This is an abstract class. Do not try to instantiate.

---

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

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/dyn/core/automaton.hh