Vcsn  2.2a
Be Rational
has-bounded-lag.hh File Reference
#include <array>
#include <vector>
#include <vcsn/core/tuple-automaton.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/labelset/tupleset.hh>
#include <vcsn/misc/algorithm.hh>
#include <vcsn/misc/tuple.hh>
Include dependency graph for has-bounded-lag.hh:

Go to the source code of this file.

Classes

class  vcsn::detail::bounded_lag_checker< Aut >
 

Namespaces

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

Functions

template<Automaton Aut>
bool vcsn::has_bounded_lag (const Aut &aut)
 Whether a transducer has a bounded lag. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::has_bounded_lag (const automaton &aut)
 Bridge. More...