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 &part, unsigned &max_partitions) |
Split partition b if needed. |
Definition at line 312 of file minimization_hopcroft.hxx.