![]() |
Vcsn
2.3a
Be Rational
|
Implementation of left- and right- multiplication of an automaton by a weight. More...
#include <weight.hh>
Public Types | |
using | automaton_t = Aut |
using | context_t = context_t_of< automaton_t > |
using | weight_t = weight_t_of< context_t > |
using | weightset_t = weightset_t_of< context_t > |
using | state_t = state_t_of< automaton_t > |
Static Public Member Functions | |
static automaton_t & | lweight_here (const weight_t &w, automaton_t &res, general_tag tag) |
Left-multiplication of any automaton by a weight. More... | |
static automaton_t & | lweight_here (const weight_t &w, automaton_t &res, standard_tag tag) |
Standard-preserving left-multiplication by a weight. More... | |
static automaton_t & | lweight_here (const weight_t &w, automaton_t &res, auto_tag={}) |
Same as standard if res is standard, otherwise, general. More... | |
template<typename Tag = general_tag> | |
static automaton_t & | rweight_here (automaton_t &res, const weight_t &w, Tag tag={}) |
Right-multiplication of any automaton by a weight. More... | |
static automaton_t & | rweight_here (automaton_t &res, const weight_t &w, auto_tag={}) |
Same as standard if res is standard, otherwise, general. More... | |
static automaton_t & | zero_here (automaton_t &res, general_tag) |
Transform res into the empty automaton. More... | |
static automaton_t & | zero_here (automaton_t &res, standard_tag) |
Transform res into the (standard) empty automaton. More... | |
Implementation of left- and right- multiplication of an automaton by a weight.
using vcsn::detail::standard_operations< Aut >::automaton_t = Aut |
using vcsn::detail::standard_operations< Aut >::context_t = context_t_of<automaton_t> |
using vcsn::detail::standard_operations< Aut >::state_t = state_t_of<automaton_t> |
using vcsn::detail::standard_operations< Aut >::weight_t = weight_t_of<context_t> |
using vcsn::detail::standard_operations< Aut >::weightset_t = weightset_t_of<context_t> |
|
inlinestatic |
Left-multiplication of any automaton by a weight.
Definition at line 30 of file weight.hh.
References vcsn::detail::initial_transitions(), vcsn::res, and vcsn::detail::standard_operations< Aut >::zero_here().
|
inlinestatic |
Standard-preserving left-multiplication by a weight.
Definition at line 43 of file weight.hh.
References vcsn::detail::all_out(), vcsn::detail::front(), vcsn::detail::initial_transitions(), vcsn::is_standard(), vcsn::require(), vcsn::res, and vcsn::detail::standard_operations< Aut >::zero_here().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Transform res into the empty automaton.
Definition at line 94 of file weight.hh.
References vcsn::make_fresh_automaton(), and vcsn::res.
Referenced by vcsn::detail::standard_operations< Aut >::lweight_here(), and vcsn::detail::standard_operations< Aut >::zero_here().
|
inlinestatic |
Transform res into the (standard) empty automaton.
Definition at line 102 of file weight.hh.
References vcsn::res, and vcsn::detail::standard_operations< Aut >::zero_here().