![]() |
Vcsn
2.1
Be Rational
|
#include <partial-identity.hh>
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) |
Definition at line 17 of file partial-identity.hh.
using vcsn::detail::partial_identity_context< Aut >::context_t = context<labelset_t, weightset_t> |
Definition at line 23 of file partial-identity.hh.
using vcsn::detail::partial_identity_context< Aut >::in_labelset_t = labelset_t_of<Aut> |
Definition at line 19 of file partial-identity.hh.
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.
using vcsn::detail::partial_identity_context< Aut >::weightset_t = weightset_t_of<Aut> |
Definition at line 20 of file partial-identity.hh.
|
inlinestatic |
Definition at line 25 of file partial-identity.hh.