Awali
Another Weighted Automata library
Public Types | Public Member Functions | Data Fields
awali::sttc::internal::projectors< Aut, I > 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 selects< labelset_t, I... >::labelset_t
 
using weightset_t = weightset_t_of< context_t >
 

Public Member Functions

 projectors (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 , size_t... I>
using awali::sttc::internal::projectors< Aut, I >::context_t = context_t_of<Aut>

◆ labelset_t

template<typename Aut , size_t... I>
using awali::sttc::internal::projectors< Aut, I >::labelset_t = labelset_t_of<context_t>

◆ out_automaton_t

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

◆ out_context_t

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

◆ out_labelset_t

template<typename Aut , size_t... I>
using awali::sttc::internal::projectors< Aut, I >::out_labelset_t = typename selects<labelset_t,I...>::labelset_t

◆ weightset_t

template<typename Aut , size_t... I>
using awali::sttc::internal::projectors< Aut, I >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

◆ projectors()

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

Member Function Documentation

◆ operator()()

template<typename Aut , size_t... I>
out_automaton_t awali::sttc::internal::projectors< Aut, I >::operator() ( )

◆ set_history()

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

Field Documentation

◆ in_

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

Input automaton.

◆ out_

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

Output automaton.

◆ out_state

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

input state -> output state.


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