Vcsn  2.2
Be Rational
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:

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: