13 return detail::concatenate_registry().call(lhs, rhs);
16 REGISTER_DEFINE(
chain);
20 return detail::chain_registry().call(aut, min, max);
27 return detail::concatenate_ratexp_registry().call(lhs, rhs);
34 return detail::chain_ratexp_registry().call(r, min, max);
41 return detail::concatenate_polynomial_registry().call(lhs, rhs);
48 return detail::multiply_weight_registry().call(lhs, rhs);
std::shared_ptr< detail::automaton_base > automaton
weight multiply_weight(const weight &lhs, const weight &rhs)
Bridge.
std::shared_ptr< const detail::weight_base > weight
automaton chain(const automaton &aut, int min, int max)
Repeated concatenation of aut with itself.
std::shared_ptr< detail::ratexp_base > ratexp
Provide a variadic mul on top of a binary mul(), and one().
weight multiply(const weight &lhs, const weight &rhs)
Multiply two weights.
automaton concatenate(const automaton &lhs, const automaton &rhs)
Concatenate two standard automata.
ratexp concatenate_ratexp(const ratexp &lhs, const ratexp &rhs)
Bridge.
ratexp chain_ratexp(const ratexp &re, int min, int max)
Bridge.
std::shared_ptr< const detail::polynomial_base > polynomial
polynomial concatenate_polynomial(const polynomial &lhs, const polynomial &rhs)
Bridge.