#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> |
using | vcsn::insplit_automaton = std::shared_ptr< detail::insplit_automaton_impl< Aut, labelset_t_of< Aut >::has_one()>> |
| A compose automaton as a shared pointer. More...
|
|
|
template<Automaton Aut> |
auto | vcsn::detail::insplit (Aut &aut) -> std::enable_if_t< labelset_t_of< Aut >::has_one(), decltype(make_insplit_automaton(aut))> |
|
template<Automaton Aut> |
std::enable_if_t<!labelset_t_of< Aut >::has_one(), Aut > | vcsn::detail::insplit (Aut &aut) |
|
template<Automaton Aut> |
auto | vcsn::make_insplit_automaton (const Aut &aut) -> insplit_automaton< Aut > |
|
template<Automaton Aut> |
auto | vcsn::insplit_lazy (const Aut &aut) -> decltype(make_insplit_automaton(aut)) |
|
template<Automaton Aut> |
auto | vcsn::insplit (const Aut &aut) -> decltype(detail::insplit(aut)) |
|
template<Automaton Aut, typename Bool > |
automaton | vcsn::dyn::detail::insplit (const automaton &aut, bool lazy) |
| Bridge. More...
|
|