Public Member Functions | |
| 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. | |
Functor for letter_rdeltaf.
Definition at line 57 of file minimization_hopcroft.hxx.
1.5.6