Public Member Functions | |
| splitter_functor (const input_t &input, hstate_t max_state, class_of_t &class_of) | |
| bool | compute_states_going_in (const hstates_t &ss, letter_t l) | 
| True if there's states going in states with letter l.  | |
| void | operator() (hstate_t state) | 
| For each state, store its class (partition) and count.  | |
| void | execute (partition_t &partition, to_treat_t &to_treat, unsigned &n_partition) | 
| Split partition if needed.  | |
Public Attributes | |
| const input_t & | input_ | 
| hstates_t | going_in_ | 
| class_of_t & | class_of_ | 
| std::list< unsigned > | maybe_splittable_ | 
| std::vector< unsigned > | count_for_ | 
Functor for letter_rdeltaf.
Definition at line 51 of file minimization_hopcroft.hxx.
 1.5.1