vcsn::detail::worded_automaton< Aut > Struct Template Reference

#include <synchronize.hh>

Collaboration diagram for vcsn::detail::worded_automaton< Aut >:

Classes
struct	worded_labelset
struct	worded_labelset< tupleset< LabelSet... > >

Public Types
using	in_automaton_t = Aut
using	in_context_t = context_t_of< in_automaton_t >
using	in_labelset_t = labelset_t_of< in_automaton_t >
using	weightset_t = weightset_t_of< in_automaton_t >
	Weightset of the worded automaton (same as input) More...
using	labelset_t = typename worded_labelset< in_labelset_t >::labelset_t
	Labelset of the worded automaton. More...
using	context_t = context< labelset_t, weightset_t >
	Context of the worded automaton. More...
using	automaton_t = mutable_automaton< context_t >
	Type of the worded automaton. More...

Static Public Member Functions
static labelset_t	labelset (const in_labelset_t &ls)
	Create the worded labelset from the original one. More...

Detailed Description

template<Automaton Aut>
struct vcsn::detail::worded_automaton< Aut >

Definition at line 23 of file synchronize.hh.

Member Typedef Documentation

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::automaton_t = mutable_automaton<context_t>

Type of the worded automaton.

Definition at line 61 of file synchronize.hh.

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::context_t = context<labelset_t, weightset_t>

Context of the worded automaton.

Definition at line 59 of file synchronize.hh.

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::in_automaton_t = Aut

Definition at line 49 of file synchronize.hh.

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::in_context_t = context_t_of<in_automaton_t>

Definition at line 50 of file synchronize.hh.

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::in_labelset_t = labelset_t_of<in_automaton_t>

Definition at line 51 of file synchronize.hh.

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::labelset_t = typename worded_labelset<in_labelset_t>::labelset_t

Labelset of the worded automaton.

Definition at line 57 of file synchronize.hh.

template<Automaton Aut>

using vcsn::detail::worded_automaton< Aut >::weightset_t = weightset_t_of<in_automaton_t>

Weightset of the worded automaton (same as input)

Definition at line 54 of file synchronize.hh.

Member Function Documentation

template<Automaton Aut>

static labelset_t vcsn::detail::worded_automaton< Aut >::labelset ( const in_labelset_t &  ls )

inlinestatic

Create the worded labelset from the original one.

Definition at line 64 of file synchronize.hh.

Referenced by vcsn::detail::synchronized_automaton_impl< Aut >::synchronized_automaton_impl().

---

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

• vcsn/algos/synchronize.hh