13 template <
typename Aut>
17 -> decltype(aut->strip())
23 template <
typename Aut>
34 template <
typename Aut>
48 template <
typename Aut>
53 const auto& a = aut->as<Aut>();
auto strip(const Aut &aut, int) -> decltype(aut->strip())
automaton make_automaton(const Aut &aut)
Build a dyn::automaton.
std::shared_ptr< detail::automaton_base > automaton
automaton strip(const automaton &aut)
Bridge.
auto strip(const Aut &aut) -> decltype(detail::strip(aut, 0))
Remove (all) the decorations from a decorated automaton.