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.

Classes
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...

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	vcsn::dyn::detail

Functions
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...