Vcsn  2.2
Be Rational
partial-identity.hh File Reference
#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>
Include dependency graph for partial-identity.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...