Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::letterizer< Aut, Labelset > Struct Template Reference

#include <letterize.hh>

Public Types

using ret_automaton_t = Aut
 

Static Public Member Functions

static ret_automaton_t letterize (const Aut &aut, bool keep_history)
 

Member Typedef Documentation

◆ ret_automaton_t

template<typename Aut , typename Labelset >
using awali::sttc::internal::letterizer< Aut, Labelset >::ret_automaton_t = Aut

Member Function Documentation

◆ letterize()

template<typename Aut , typename Labelset >
static ret_automaton_t awali::sttc::internal::letterizer< Aut, Labelset >::letterize ( const Aut &  aut,
bool  keep_history 
)
static

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