Public Types | |
| typedef std::vector< bool > | going_in_t |
Public Member Functions | |
| quotient_splitter (const automaton_t &input, class_of_t &class_of, unsigned max_states) | |
| bool | compute_going_in_states (partition_t &p, letter_t a) |
| True if there's states going in states of p with letter a. | |
| void | operator() (hstate_t s) |
| For each state, store its class (partition) and count. | |
| void | split (partition_set_t &parts, unsigned &max_partitions) |
| Split partition b if needed. | |
| void | add_new_partitions (to_treat_t &to_treat, const partition_set_t &part) |
Definition at line 326 of file minimization_hopcroft.hxx.
1.5.1