Vcsn
2.4
Be Rational

Whether all the paths between any two states have the same weight (i.e., for all s0, s1, any two paths p0, p1 between s0 and s1 have the same weight w_{s0,s1}). More...
#include <hastwinsproperty.hh>
Public Types  
using  transition_t = transition_t_of< Aut > 
using  weight_t = weight_t_of< Aut > 
using  state_t = state_t_of< Aut > 
using  component_t = detail::component_t< Aut > 
Public Member Functions  
bool  check (const component_t &component, const Aut &aut) 
By DFS starting in s0, check that all the states are reached with a single weight. More...  
Whether all the paths between any two states have the same weight (i.e., for all s0, s1, any two paths p0, p1 between s0 and s1 have the same weight w_{s0,s1}).
Because we are on an SCC, it suffices to check on a DFS that every state is reached with a unique weight from any chosen "initial" state.
Definition at line 31 of file hastwinsproperty.hh.
using vcsn::detail::cycle_identity_impl< Aut >::component_t = detail::component_t<Aut> 
Definition at line 37 of file hastwinsproperty.hh.
using vcsn::detail::cycle_identity_impl< Aut >::state_t = state_t_of<Aut> 
Definition at line 36 of file hastwinsproperty.hh.
using vcsn::detail::cycle_identity_impl< Aut >::transition_t = transition_t_of<Aut> 
Definition at line 34 of file hastwinsproperty.hh.
using vcsn::detail::cycle_identity_impl< Aut >::weight_t = weight_t_of<Aut> 
Definition at line 35 of file hastwinsproperty.hh.

inline 
By DFS starting in s0, check that all the states are reached with a single weight.
Definition at line 41 of file hastwinsproperty.hh.
References vcsn::detail::all_out(), and vcsn::has().
Referenced by vcsn::cycle_identity().