Vcsn
2.2
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 39 of file to-expression.hh.
|
inline |
Definition at line 41 of file to-expression.hh.
|
inline |
Definition at line 45 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 51 of file to-expression.hh.
bool vcsn::detail::naive_profiler< Aut >::state_profile::has_loop_ = false |
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().
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 60 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 62 of file to-expression.hh.
Referenced by vcsn::detail::naive_profiler< Aut >::state_profile::operator<(), and vcsn::detail::naive_profiler< Aut >::update().