![]() |
Vcsn
2.3a
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... | |