![]() |
Vcsn
2.1
Be Rational
|
#include <queue>
#include <utility>
#include <vcsn/algos/accessible.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/labelset/tupleset.hh>
#include <vcsn/misc/unordered_map.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<typename Aut > | |
bool | vcsn::is_partial_identity (const Aut &aut) |
Whether transducer aut is equivalent to a partial identity function on all successful paths. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_partial_identity (const automaton &aut) |
Bridge. More... | |