![]() |
Vcsn
2.1
Be Rational
|
#include <left-mult.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 & | left_mult_here (const weight_t &w, automaton_t &res) |
Left-multiplication by a weight. More... | |
static automaton_t & | right_mult_here (automaton_t &res, const weight_t &w) |
Right-multiplication by a weight. More... | |
static automaton_t & | zero_here (automaton_t &res) |
Transform res into the (standard) empty automaton. More... | |
Definition at line 18 of file left-mult.hh.
using vcsn::detail::standard_operations< Aut >::automaton_t = Aut |
Definition at line 20 of file left-mult.hh.
using vcsn::detail::standard_operations< Aut >::context_t = context_t_of<automaton_t> |
Definition at line 21 of file left-mult.hh.
using vcsn::detail::standard_operations< Aut >::state_t = state_t_of<automaton_t> |
Definition at line 24 of file left-mult.hh.
using vcsn::detail::standard_operations< Aut >::weight_t = weight_t_of<context_t> |
Definition at line 22 of file left-mult.hh.
using vcsn::detail::standard_operations< Aut >::weightset_t = weightset_t_of<context_t> |
Definition at line 23 of file left-mult.hh.
|
inlinestatic |
Left-multiplication by a weight.
Definition at line 28 of file left-mult.hh.
References vcsn::is_standard(), and vcsn::detail::standard_operations< Aut >::zero_here().
Referenced by vcsn::left_mult_here().
|
inlinestatic |
Right-multiplication by a weight.
Definition at line 49 of file left-mult.hh.
References vcsn::detail::standard_operations< Aut >::zero_here().
Referenced by vcsn::right_mult_here().
|
inlinestatic |
Transform res into the (standard) empty automaton.
Definition at line 64 of file left-mult.hh.
References vcsn::make_fresh_automaton().
Referenced by vcsn::detail::standard_operations< Aut >::left_mult_here(), and vcsn::detail::standard_operations< Aut >::right_mult_here().