Vcsn  2.3
Be Rational
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...