13 template <Automaton Aut>
16 -> decltype(aut->strip())
22 template <Automaton Aut>
32 template <Automaton Aut>
44 template <Automaton Aut>
48 const auto& a = aut->
as<Aut>();
detail::automaton automaton
auto strip(const Aut &aut)
Remove (all) the decorations from a decorated automaton.
automaton strip(const automaton &aut)
Bridge.
automaton make_automaton(const Aut &aut)
Build a dyn::automaton.
auto & as()
Extract wrapped typed automaton.
auto strip(const Aut &aut, int) -> decltype(aut->strip())