13 template <
typename Cont,
typename Pred>
20 template <
typename Context>
23 template <
typename Context>
25 = std::shared_ptr<detail::mutable_automaton_impl<Context>>;
30 template <Automaton Aut>
33 template <Automaton Aut>
35 = std::shared_ptr<detail::name_automaton_impl<Aut>>;
41 template <Automaton Aut>
46 template <Automaton Aut>
48 = std::shared_ptr<detail::permutation_automaton_impl<Aut>>;
54 template <Automaton Aut>
55 class expression_automaton_impl;
59 template <Automaton Aut>
61 = std::shared_ptr<detail::expression_automaton_impl<Aut>>;
std::shared_ptr< detail::permutation_automaton_impl< Aut >> permutation_automaton
A permutation automaton as a shared pointer.
std::shared_ptr< detail::expression_automaton_impl< Aut >> expression_automaton
An expression automaton as a shared pointer.
std::shared_ptr< detail::mutable_automaton_impl< Context >> mutable_automaton
Restrict the interface of a container to begin/end.
std::shared_ptr< detail::name_automaton_impl< Aut >> name_automaton
An automaton isomorphic to another one.
An incremental automaton whose states are names.