15 return detail::sum_registry().call(lhs, rhs);
22 return detail::sum_polynomial_registry().call(lhs, rhs);
29 return detail::sum_ratexp_registry().call(lhs, rhs);
36 return detail::sum_weight_registry().call(lhs, rhs);
std::shared_ptr< detail::automaton_base > automaton
polynomial sum_polynomial(const polynomial &lhs, const polynomial &rhs)
Bridge.
std::shared_ptr< const detail::weight_base > weight
std::shared_ptr< detail::ratexp_base > ratexp
weight sum_weight(const weight &lhs, const weight &rhs)
Bridge.
automaton sum(const automaton &lhs, const automaton &rhs)
Sum of two standard automata.
std::shared_ptr< const detail::polynomial_base > polynomial
ratexp sum_ratexp(const ratexp &lhs, const ratexp &rhs)
Bridge.