Awali
Another Weighted Automata library
Static Public Member Functions
awali::sttc::internal::backward_initialisation< Aut, Weightset > Struct Template Reference

#include <congruence_det.hh>

Static Public Member Functions

static void init (const Aut &aut, std::vector< std::vector< state_t > > &states_in_part, std::vector< unsigned > &part, std::queue< unsigned > &splitters, std::vector< bool > &is_in_queue)
 

Member Function Documentation

◆ init()

template<typename Aut , typename Weightset >
static void awali::sttc::internal::backward_initialisation< Aut, Weightset >::init ( const Aut &  aut,
std::vector< std::vector< state_t > > &  states_in_part,
std::vector< unsigned > &  part,
std::queue< unsigned > &  splitters,
std::vector< bool > &  is_in_queue 
)
static

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