#include <stack>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/is-ambiguous.hh>
#include <vcsn/algos/product.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:

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
	FIXME: duplicate code with determinize.

	vcsn::dyn::detail

Functions
template<typename 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<typename InAut , typename OutAut >
void	vcsn::create_states_and_trans_ (const InAut &aut, OutAut &naut1, OutAut &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<typename Aut >
bool	vcsn::has_twins_property (const Aut &aut)
	Whether aut has the twins property. More...

template<typename Aut >
bool	vcsn::dyn::detail::has_twins_property (const automaton &aut)

	vcsn::dyn::detail::REGISTER_DECLARE (has_twins_property,(const automaton &) -> bool)

Classes

Namespaces

Functions