17 return detail::double_ring_registry().call(ctx, n, f);
std::shared_ptr< detail::automaton_base > automaton
automaton double_ring(const context &ctx, unsigned n, const std::vector< unsigned > &f)
The double_ring automaton with n states and f the list of finals.
std::shared_ptr< const detail::context_base > context