![]()  | 
  
    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 |