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

#include <projection.hh>

Public Types

using context_t = context_t_of< Aut >
 
using labelset_t = labelset_t_of< 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 select_tail< labelset_t >::labelset_t
 
using weightset_t = weightset_t_of< context_t >
 

Public Member Functions

 imagers (const Aut &in)
 
out_automaton_t 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

◆ context_t

template<typename Aut >
using awali::sttc::internal::imagers< Aut >::context_t = context_t_of<Aut>

◆ labelset_t

template<typename Aut >
using awali::sttc::internal::imagers< Aut >::labelset_t = labelset_t_of<context_t>

◆ out_automaton_t

◆ out_context_t

◆ out_labelset_t

template<typename Aut >
using awali::sttc::internal::imagers< Aut >::out_labelset_t = typename select_tail<labelset_t>::labelset_t

◆ weightset_t

template<typename Aut >
using awali::sttc::internal::imagers< Aut >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

◆ imagers()

template<typename Aut >
awali::sttc::internal::imagers< Aut >::imagers ( const Aut &  in)

Member Function Documentation

◆ operator()()

template<typename Aut >
out_automaton_t awali::sttc::internal::imagers< Aut >::operator() ( )

◆ set_history()

template<typename Aut >
void awali::sttc::internal::imagers< Aut >::set_history ( )

Field Documentation

◆ in_

template<typename Aut >
const Aut& awali::sttc::internal::imagers< Aut >::in_

Input automaton.

◆ out_

template<typename Aut >
mutable_automaton<out_context_t> awali::sttc::internal::imagers< Aut >::out_

Output automaton.

◆ out_state

template<typename Aut >
std::unordered_map<state_t, state_t> awali::sttc::internal::imagers< Aut >::out_state

input state -> output state.


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