#include <unordered_map>
#include <boost/bimap.hpp>
#include <boost/bimap/unordered_set_of.hpp>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/fwd.hh>
#include <vcsn/misc/bimap.hh>
#include <vcsn/misc/pair.hh>
#include <vcsn/misc/memory.hh>
Go to the source code of this file.
|
template<Automaton Aut> |
auto | vcsn::detail::make_insplit_automaton (const Aut &aut) -> insplit_automaton< Aut > |
| Build an insplit automaton from an automaton. More...
|
|
template<Automaton Aut> |
auto | vcsn::detail::insplit (Aut aut, bool lazy=false) -> std::enable_if_t< labelset_t_of< Aut >::has_one(), decltype(make_insplit_automaton(aut))> |
| Insplit an automaton with possible spontaneous transitions. More...
|
|
template<Automaton Aut, typename Bool > |
automaton | vcsn::dyn::detail::insplit (const automaton &aut, bool lazy) |
| Bridge. More...
|
|