Vcsn
2.3
Be Rational
|
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...
#include <to-expression.hh>
Public Member Functions | |
state_profile (state_t state) | |
bool | operator< (const state_profile &rhs) const |
Public Attributes | |
size_t | size_ |
Number of strictly incoming transitions, times the number of strictly outgoing transitions. More... | |
bool | has_loop_ = false |
state_t | state_ |
Friends | |
std::ostream & | operator<< (std::ostream &o, const state_profile &p) |
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.
Definition at line 40 of file to-expression.hh.
|
inline |
Definition at line 42 of file to-expression.hh.
|
inline |
Definition at line 46 of file to-expression.hh.
References vcsn::detail::naive_profiler< Aut >::state_profile::has_loop_, vcsn::detail::naive_profiler< Aut >::state_profile::size_, and vcsn::detail::naive_profiler< Aut >::state_profile::state_.
|
friend |
Definition at line 52 of file to-expression.hh.
bool vcsn::detail::naive_profiler< Aut >::state_profile::has_loop_ = false |
Definition at line 62 of file to-expression.hh.
Referenced by vcsn::detail::naive_profiler< Aut >::state_profile::operator<(), and vcsn::detail::naive_profiler< Aut >::update().
size_t vcsn::detail::naive_profiler< Aut >::state_profile::size_ |
Number of strictly incoming transitions, times the number of strictly outgoing transitions.
Definition at line 61 of file to-expression.hh.
Referenced by vcsn::detail::naive_profiler< Aut >::state_profile::operator<(), and vcsn::detail::naive_profiler< Aut >::update().
state_t vcsn::detail::naive_profiler< Aut >::state_profile::state_ |
Definition at line 63 of file to-expression.hh.
Referenced by vcsn::detail::naive_profiler< Aut >::state_profile::operator<(), and vcsn::detail::naive_profiler< Aut >::update().