17 template <std::
size_t Tape,
typename Aut>
22 "project: invalid tape number");
34 template <
typename Aut,
typename Tape>
38 const auto& a = aut->as<Aut>();
A simple placeholder for integral constants.
automaton make_automaton(const Aut &aut)
Build a dyn::automaton.
automaton project(const automaton &aut, integral_constant)
Bridge.
mutable_automaton< Context > make_mutable_automaton(const Context &ctx)
std::shared_ptr< detail::automaton_base > automaton
void copy_into(const AutIn &in, AutOut &out, KeepState keep_state, KeepTrans keep_trans)
Copy selected states and transitions of an automaton.
typename detail::labelset_t_of_impl< base_t< ValueSet >>::type labelset_t_of
auto project(const Aut &aut) -> mutable_automaton< detail::project_context< Tape, context_t_of< Aut >>>
std::shared_ptr< detail::mutable_automaton_impl< Context >> mutable_automaton