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<typename Aut >
bool	vcsn::has_bounded_lag (const Aut &aut)
	Whether a transducer has a bounded lag. More...
template<typename Aut >
bool	vcsn::dyn::detail::has_bounded_lag (const automaton &aut)
	Bridge. More...