Awali
Another Weighted Automata library
Public Types | Public Member Functions | Data Fields
awali::sttc::internal::partial_identiter< Aut, I > Struct Template Reference

#include <partial_identity.hh>

Public Types

using in_context_t = context_t_of< Aut >
 
using in_labelset_t = labelset_t_of< in_context_t >
 
using out_automaton_t = mutable_automaton< out_context_t >
 
using out_context_t = context< out_labelset_t, weightset_t >
 
using out_labelset_t = typename multitupleset< I, in_labelset_t >::type
 
using weightset_t = weightset_t_of< in_context_t >
 

Public Member Functions

 partial_identiter (const Aut &in)
 
void operator() ()
 
void set_history ()
 

Data Fields

const Aut & in_
 Input automaton. More...
 
mutable_automaton< out_context_tout_
 Output automaton. More...
 
std::unordered_map< state_t, state_tout_state
 input state -> output state. More...
 

Member Typedef Documentation

◆ in_context_t

template<typename Aut , size_t I>
using awali::sttc::internal::partial_identiter< Aut, I >::in_context_t = context_t_of<Aut>

◆ in_labelset_t

template<typename Aut , size_t I>
using awali::sttc::internal::partial_identiter< Aut, I >::in_labelset_t = labelset_t_of<in_context_t>

◆ out_automaton_t

template<typename Aut , size_t I>
using awali::sttc::internal::partial_identiter< Aut, I >::out_automaton_t = mutable_automaton<out_context_t>

◆ out_context_t

template<typename Aut , size_t I>
using awali::sttc::internal::partial_identiter< Aut, I >::out_context_t = context<out_labelset_t, weightset_t>

◆ out_labelset_t

template<typename Aut , size_t I>
using awali::sttc::internal::partial_identiter< Aut, I >::out_labelset_t = typename multitupleset<I,in_labelset_t>::type

◆ weightset_t

template<typename Aut , size_t I>
using awali::sttc::internal::partial_identiter< Aut, I >::weightset_t = weightset_t_of<in_context_t>

Constructor & Destructor Documentation

◆ partial_identiter()

template<typename Aut , size_t I>
awali::sttc::internal::partial_identiter< Aut, I >::partial_identiter ( const Aut &  in)

Member Function Documentation

◆ operator()()

template<typename Aut , size_t I>
void awali::sttc::internal::partial_identiter< Aut, I >::operator() ( )

◆ set_history()

template<typename Aut , size_t I>
void awali::sttc::internal::partial_identiter< Aut, I >::set_history ( )

Field Documentation

◆ in_

template<typename Aut , size_t I>
const Aut& awali::sttc::internal::partial_identiter< Aut, I >::in_

Input automaton.

◆ out_

template<typename Aut , size_t I>
mutable_automaton<out_context_t> awali::sttc::internal::partial_identiter< Aut, I >::out_

Output automaton.

◆ out_state

template<typename Aut , size_t I>
std::unordered_map<state_t, state_t> awali::sttc::internal::partial_identiter< Aut, I >::out_state

input state -> output state.


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