14 return detail::left_mult_registry().call(w, aut);
21 return detail::left_mult_ratexp_registry().call(w, r);
28 return detail::right_mult_registry().call(aut, w);
35 return detail::right_mult_ratexp_registry().call(r, w);
std::shared_ptr< detail::automaton_base > automaton
automaton right_mult(const automaton &aut, const weight &w)
The right-mult automaton with w as weight.
std::shared_ptr< const detail::weight_base > weight
std::shared_ptr< detail::ratexp_base > ratexp
automaton left_mult(const weight &w, const automaton &aut)
The left-multiplication of an automaton with w as weight.
Provide a variadic mul on top of a binary mul(), and one().
ratexp right_mult_ratexp(const ratexp &exp, const weight &weight)
Bridge.
ratexp left_mult_ratexp(const weight &weight, const ratexp &exp)
Bridge.