12 template <
typename Cont,
typename Pred>
19 template <
typename Context>
22 template <
typename Context>
24 = std::shared_ptr<detail::mutable_automaton_impl<Context>>;
29 template <
typename Context>
32 template <
typename Context>
34 = std::shared_ptr<detail::name_automaton_impl<Context>>;
40 template <
typename Aut>
45 template <
typename Aut>
47 = std::shared_ptr<detail::permutation_automaton_impl<Aut>>;
53 template <
typename Aut>
54 class expression_automaton_impl;
58 template <
typename Aut>
60 = std::shared_ptr<detail::expression_automaton_impl<Aut>>;
std::shared_ptr< detail::expression_automaton_impl< Aut >> expression_automaton
An expression automaton as a shared pointer.
std::shared_ptr< detail::permutation_automaton_impl< Aut >> permutation_automaton
A permutation automaton as a shared pointer.
Restrict the interface of a container to begin/end.
An incremental automaton whose states are names.
std::shared_ptr< detail::name_automaton_impl< Context >> name_automaton
An automaton isomorphic to another one.
std::shared_ptr< detail::mutable_automaton_impl< Context >> mutable_automaton