![]() |
Vcsn
2.3a
Be Rational
|
#include <synchronize.hh>
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... | |
Definition at line 23 of file synchronize.hh.
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.
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.
using vcsn::detail::worded_automaton< Aut >::in_automaton_t = Aut |
Definition at line 49 of file synchronize.hh.
using vcsn::detail::worded_automaton< Aut >::in_context_t = context_t_of<in_automaton_t> |
Definition at line 50 of file synchronize.hh.
using vcsn::detail::worded_automaton< Aut >::in_labelset_t = labelset_t_of<in_automaton_t> |
Definition at line 51 of file synchronize.hh.
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.
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.
|
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().