15 return detail::divkbaseb_registry().call(ctx, k, b);
std::shared_ptr< detail::automaton_base > automaton
automaton divkbaseb(const context &ctx, unsigned divisor, unsigned base)
An automaton which accepts a word n representing a number in base b iff k|n.
Provide a variadic mul on top of a binary mul(), and one().
std::shared_ptr< const detail::context_base > context