14 REGISTER_DEFINE(
copy);
18 return detail::copy_registry().call(aut);
25 return detail::copy_convert_registry().call(aut, ctx);
36 return detail::copy_ratexp_registry().call(e, rs);
automaton copy_convert(const automaton &aut, const context &ctx)
Bridge.
std::shared_ptr< detail::automaton_base > automaton
ratexp copy_ratexp(const ratexp &exp, const ratexpset &out_rs)
Bridge.
std::shared_ptr< detail::ratexp_base > ratexp
automaton copy(const automaton &aut)
A copy of aut.
std::shared_ptr< const detail::ratexpset_base > ratexpset
std::shared_ptr< const detail::context_base > context