![]() |
Vcsn
2.2
Be Rational
|
#include <vector>#include <vcsn/algos/copy.hh>#include <vcsn/core/mutable-automaton.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/context.hh>#include <vcsn/labelset/tupleset.hh>Go to the source code of this file.
Classes | |
| struct | vcsn::detail::partial_identity_context< Aut > |
Namespaces | |
| vcsn | |
| vcsn::detail | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Typedefs | |
| template<Automaton Aut> | |
| using | vcsn::partial_identity_context_t_of = typename detail::partial_identity_context< Aut >::context_t |
Functions | |
| template<Automaton Aut> | |
| fresh_automaton_t_of< Aut, partial_identity_context_t_of< Aut > > | vcsn::partial_identity (const Aut &aut) |
| Create a partial identity transducer from aut. More... | |
| template<Automaton Aut> | |
| automaton | vcsn::dyn::detail::partial_identity (const automaton &aut) |
| Bridge. More... | |