![]() |
Vcsn
2.3a
Be Rational
|
Compute a state profile for state-elimination based on connectivity. More...
#include <to-expression.hh>
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_ |
Compute a state profile for state-elimination based on connectivity.
Definition at line 27 of file to-expression.hh.
using vcsn::detail::naive_profiler< Aut >::automaton_t = Aut |
Definition at line 29 of file to-expression.hh.
using vcsn::detail::naive_profiler< Aut >::state_t = state_t_of<automaton_t> |
Definition at line 30 of file to-expression.hh.
using vcsn::detail::naive_profiler< Aut >::transition_t = transition_t_of<automaton_t> |
Definition at line 31 of file to-expression.hh.
|
inline |
Definition at line 33 of file to-expression.hh.
|
inline |
Definition at line 74 of file to-expression.hh.
|
inline |
Definition at line 67 of file to-expression.hh.
References vcsn::detail::naive_profiler< Aut >::update().
|
inline |
Definition at line 77 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().
automaton_t vcsn::detail::naive_profiler< Aut >::aut_ |
Definition at line 89 of file to-expression.hh.
Referenced by vcsn::detail::naive_profiler< Aut >::update().