Vcsn  2.4
Be Rational
Public Types | Static Public Member Functions | List of all members
vcsn::detail::partial_identity_context< Aut > Struct Template Reference

#include <partial-identity.hh>

Collaboration diagram for vcsn::detail::partial_identity_context< Aut >:

Public Types

using in_labelset_t = labelset_t_of< Aut >
 
using weightset_t = weightset_t_of< Aut >
 
using labelset_t = tupleset< in_labelset_t, in_labelset_t >
 
using context_t = context< labelset_t, weightset_t >
 

Static Public Member Functions

static context_t value (const Aut &aut)
 

Detailed Description

template<Automaton Aut>
struct vcsn::detail::partial_identity_context< Aut >

Definition at line 17 of file partial-identity.hh.

Member Typedef Documentation

template<Automaton Aut>
using vcsn::detail::partial_identity_context< Aut >::context_t = context<labelset_t, weightset_t>

Definition at line 23 of file partial-identity.hh.

template<Automaton Aut>
using vcsn::detail::partial_identity_context< Aut >::in_labelset_t = labelset_t_of<Aut>

Definition at line 19 of file partial-identity.hh.

template<Automaton Aut>
using vcsn::detail::partial_identity_context< Aut >::labelset_t = tupleset<in_labelset_t, in_labelset_t>

Definition at line 22 of file partial-identity.hh.

template<Automaton Aut>
using vcsn::detail::partial_identity_context< Aut >::weightset_t = weightset_t_of<Aut>

Definition at line 20 of file partial-identity.hh.

Member Function Documentation

template<Automaton Aut>
static context_t vcsn::detail::partial_identity_context< Aut >::value ( const Aut &  aut)
inlinestatic

Definition at line 25 of file partial-identity.hh.

The documentation for this struct was generated from the following file: