Vcsn  2.2
Be Rational
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.

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: