Vcsn  2.4
Be Rational
has-twins-property.hh File Reference
#include <stack>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/is-ambiguous.hh>
#include <vcsn/algos/conjunction.hh>
#include <vcsn/algos/scc.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/labelset/tupleset.hh>
#include <vcsn/misc/unordered_map.hh>
Include dependency graph for has-twins-property.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  vcsn::detail::cycle_identity_impl< Aut >
 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...




template<Automaton Aut>
bool vcsn::cycle_identity (const detail::component_t< Aut > &c, const Aut &aut)
 Check the weight of two states on this component is unique. More...
template<Automaton AutIn, Automaton AutOut>
void vcsn::create_states_and_trans_ (const AutIn &aut, AutOut &naut1, AutOut &naut2)
 Create states and the transitions two new automata naut1 and naut2 with weight of transition <(w, one)> and <(one, w)> corresponding with the weight of transition <w> of aut. More...
template<Automaton Aut>
bool vcsn::has_twins_property (const Aut &aut)
 Whether aut has the twins property. More...
template<Automaton Aut>
bool vcsn::dyn::detail::has_twins_property (const automaton &aut)
 Bridge. More...