![]() |
Vcsn
2.3a
Be Rational
|
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/algos/bellman-ford.hh>
#include <vcsn/weightset/fwd.hh>
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... | |