has-lightening-cycle.hh File Reference

#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/algos/bellman-ford.hh>
#include <vcsn/weightset/fwd.hh>

Include dependency graph for has-lightening-cycle.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Functions
template<Automaton Aut>
std::enable_if_t< weightset_t_of< Aut >::has_lightening_weights(), bool >	vcsn::has_lightening_cycle (const Aut &aut)
template<Automaton Aut>
std::enable_if_t<!weightset_t_of< Aut >::has_lightening_weights(), bool >	vcsn::has_lightening_cycle (const Aut &aut)
template<Automaton Aut>
bool	vcsn::dyn::detail::has_lightening_cycle (const automaton &aut)
	Bridge. More...