Awali
Another Weighted Automata library
|
#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) |
|
static |