vcsn::detail::insplitter< Aut > Class Template Reference

#include <insplit.hh>

Collaboration diagram for vcsn::detail::insplitter< Aut >:

Public Member Functions
	insplitter (const Aut &aut)
automaton_t	operator() (const Aut &aut)

Private Types
using	automaton_t = Aut
using	state_t = state_t_of< automaton_t >
using	label_t = label_t_of< automaton_t >
using	transition_t = transition_t_of< automaton_t >
using	pair_t = std::pair< state_t, bool >

Private Member Functions
bool	exists (state_t st, bool epsilon)
bool	is_spontaneous (const Aut &aut, transition_t tr)

Private Attributes
std::unordered_map< pair_t, state_t >	states_assoc
automaton_t	res_

Detailed Description

template<typename Aut>
class vcsn::detail::insplitter< Aut >

Definition at line 15 of file insplit.hh.

Member Typedef Documentation

template<typename Aut >

using vcsn::detail::insplitter< Aut >::automaton_t = Aut

private

Definition at line 18 of file insplit.hh.

template<typename Aut >

using vcsn::detail::insplitter< Aut >::label_t = label_t_of<automaton_t>

private

Definition at line 20 of file insplit.hh.

template<typename Aut >

using vcsn::detail::insplitter< Aut >::pair_t = std::pair<state_t, bool>

private

Definition at line 23 of file insplit.hh.

template<typename Aut >

using vcsn::detail::insplitter< Aut >::state_t = state_t_of<automaton_t>

private

Definition at line 19 of file insplit.hh.

template<typename Aut >

using vcsn::detail::insplitter< Aut >::transition_t = transition_t_of<automaton_t>

private

Definition at line 21 of file insplit.hh.

Constructor & Destructor Documentation

template<typename Aut >

vcsn::detail::insplitter< Aut >::insplitter ( const Aut &  aut )

inline

Definition at line 31 of file insplit.hh.

Member Function Documentation

template<typename Aut >

bool vcsn::detail::insplitter< Aut >::exists ( state_t  st, bool  epsilon  )

inlineprivate

Definition at line 74 of file insplit.hh.

Referenced by vcsn::detail::insplitter< Aut >::operator()().

template<typename Aut >

bool vcsn::detail::insplitter< Aut >::is_spontaneous ( const Aut &  aut, transition_t  tr  )

inlineprivate

Definition at line 80 of file insplit.hh.

Referenced by vcsn::detail::insplitter< Aut >::operator()().

template<typename Aut >

automaton_t vcsn::detail::insplitter< Aut >::operator() ( const Aut &  aut )

inline

Definition at line 35 of file insplit.hh.

References vcsn::detail::insplitter< Aut >::exists(), vcsn::detail::insplitter< Aut >::is_spontaneous(), and vcsn::detail::insplitter< Aut >::res_.

Here is the call graph for this function:

Member Data Documentation

template<typename Aut >

automaton_t vcsn::detail::insplitter< Aut >::res_

private

Definition at line 85 of file insplit.hh.

Referenced by vcsn::detail::insplitter< Aut >::operator()().

template<typename Aut >

std::unordered_map<pair_t, state_t> vcsn::detail::insplitter< Aut >::states_assoc

private

Definition at line 28 of file insplit.hh.

---

The documentation for this class was generated from the following file:

• vcsn/algos/insplit.hh