vcsn::detail::naive_profiler< Aut > Struct Template Reference

Compute a state profile for state-elimination based on connectivity. More...

#include <to-expression.hh>

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

Classes
struct	state_profile
	The state profile is the product of the number of (strictly) incoming transitions with the number of (strictly) outgoing ones, and whether it has loops. More...

Public Types
using	automaton_t = Aut
using	state_t = state_t_of< automaton_t >
using	transition_t = transition_t_of< automaton_t >

Public Member Functions
	naive_profiler (const automaton_t &aut)
state_profile	make_state_profile (state_t state)
void	invalidate_cache (transition_t)
void	update (state_profile &p)

Public Attributes
automaton_t	aut_

Detailed Description

template<Automaton Aut>
struct vcsn::detail::naive_profiler< Aut >

Compute a state profile for state-elimination based on connectivity.

Definition at line 26 of file to-expression.hh.

Member Typedef Documentation

template<Automaton Aut>

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

Definition at line 28 of file to-expression.hh.

template<Automaton Aut>

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

Definition at line 29 of file to-expression.hh.

template<Automaton Aut>

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

Definition at line 30 of file to-expression.hh.

Constructor & Destructor Documentation

template<Automaton Aut>

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

inline

Definition at line 32 of file to-expression.hh.

Member Function Documentation

template<Automaton Aut>

void vcsn::detail::naive_profiler< Aut >::invalidate_cache ( transition_t  )

inline

Definition at line 73 of file to-expression.hh.

template<Automaton Aut>

state_profile vcsn::detail::naive_profiler< Aut >::make_state_profile ( state_t  state )

inline

Definition at line 66 of file to-expression.hh.

References vcsn::detail::naive_profiler< Aut >::update().

Here is the call graph for this function:

template<Automaton Aut>

void vcsn::detail::naive_profiler< Aut >::update ( state_profile &  p )

inline

Definition at line 76 of file to-expression.hh.

References vcsn::detail::all_in(), vcsn::detail::all_out(), vcsn::detail::naive_profiler< Aut >::aut_, vcsn::detail::naive_profiler< Aut >::state_profile::has_loop_, vcsn::detail::in(), vcsn::detail::out(), vcsn::detail::naive_profiler< Aut >::state_profile::size_, and vcsn::detail::naive_profiler< Aut >::state_profile::state_.

Referenced by vcsn::detail::naive_profiler< Aut >::make_state_profile().

Here is the call graph for this function:

Member Data Documentation

template<Automaton Aut>

automaton_t vcsn::detail::naive_profiler< Aut >::aut_

Definition at line 88 of file to-expression.hh.

Referenced by vcsn::detail::naive_profiler< Aut >::update().

---

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

• vcsn/algos/to-expression.hh