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.