Vcsn  2.4
Be Rational
insplit.hh File Reference
#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>
Include dependency graph for insplit.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  vcsn::detail::insplit_automaton_impl< Aut >
 Insplit automaton decorator. More...




template<Automaton Aut>
using vcsn::detail::insplit_automaton = std::shared_ptr< insplit_automaton_impl< Aut >>
 An insplit automaton as a shared pointer. More...
template<Automaton Aut>
using vcsn::insplit_automaton = detail::insplit_automaton< Aut >
 An insplit automaton as a shared pointer. More...


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...